A tlm-based platform to specify and verify component-based real-time systems
This work provides a solution for designers of real-time systems who need more flexible and dynamic modeling tools, though it appears incremental as it builds on existing methods like SystemC.
The paper tackles the problem of modeling and verifying component-based real-time systems by introducing TLM 2.0, which addresses limitations in existing formal languages like TRIO by supporting object-oriented design and hardware/software co-design.
This paper is 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. In this paper we are going to introduce systemC and the more abstracted method called TLM 2.0 that solved all mentioned problems.