10.3321/j.issn:1002-8331.2005.09.038
复杂嵌入式系统原型设计工具Statemate
嵌入式系统的设计面临着系统复杂性的挑战.Statemate MAGNUM是面向功能需求的系统级自动设计软件包,定位于复杂的反应型嵌入式实时混合系统的原型设计与正规化验证.通过时Statemate主要特性、方法论、核心技术及国内外应用情况的介绍与讨论,展示了该工具的良好应用前景.
Statemate、嵌入式系统、原型设计、验证
41
TP311(计算技术、计算机技术)
国家部委预研基金
2005-04-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
116-119