摘要
嵌入式系统的设计面临着系统复杂性的挑战。StatemateMAGNUM是面向功能需求的系统级自动设计软件包,定位于复杂的反应型嵌入式实时混合系统的原型设计与正规化验证。通过对Statemate主要特性、方法论、核心技术及国内外应用情况的介绍与讨论,展示了该工具的良好应用前景。
The design of embedded systems is facing the challenge from system complexity.Statemate MAGNUM is a system-class auto-design software which is function-oriented.It realizes the prototype design and formal verification of those complex reactive hybrid embedded systems characterized with logic and continuous control algorithms.The properties,methodologies,kernels and applications of Statemate are primarily introduced and discussed,and the promising prospect of its application is also illustrated.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第9期116-119,共4页
Computer Engineering and Applications
基金
国家部委重点预研专项
