A TLM-Based Platform to Specify and Verify Component-Based Real-Time Systems

Download Now
Provided by: Academy & Industry Research Collaboration Center
Topic: Software
Format: PDF
In this paper, the authors proposed about modeling and verification languages with their pros and cons. Modeling is dynamic part of system development process before realization. The cost and risky situations obligate designer to model system before production and modeling gives designer more flexible and dynamic image of realized system. Formal languages and modeling methods are the ways to model and verify systems but they have their own difficulties in specifying systems. Some of them are very precise but hard to specify complex systems like TRIO, and others do not support object oriented design and hardware/software co-design in real-time systems.
Download Now

Find By Topic