一个基于tlm的描述和验证基于组件的实时的系统的平台
A tlm-based platform to specify and verify component-based real-time systems
摘要：
本文讨论了建模语言和验证语言的优缺点。建模是系统开发过程中实现前的动态部分。成本和风险的情况下，迫使设计师建模系统之前，生产和建模给设计师更灵活和动态的形象实现的系统。形式语言和建模方法是对系统进行建模和验证的方法，但它们在描述系统时有其自身的困难。它们中的一些非常精确，但很难描述复杂的系统，如TRIO，和其他不支持面向对象的设计和硬件/软件协同设计的实时的【形】系统。在本文中，我们将介绍systemC和更抽象的方法TLM 2.0，解决了所有提到的问题。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
