复杂嵌入式系统原型设计工具Statemate

• 作者: 杨忠 沈春林 陈晔
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Statemate 嵌入式系统 原型设计 验证
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 开发设计
• 页码范围: 116-119
• 页数: 4页
• 分类号: TP311
• 字数: 4031字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.09.038

摘要

嵌入式系统的设计面临着系统复杂性的挑战.Statemate MAGNUM是面向功能需求的系统级自动设计软件包,定位于复杂的反应型嵌入式实时混合系统的原型设计与正规化验证.通过时Statemate主要特性、方法论、核心技术及国内外应用情况的介绍与讨论,展示了该工具的良好应用前景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈春林	南京航空航天大学自动化学院	167	2275	26.0	37.0
2	杨忠	南京航空航天大学自动化学院	125	1388	18.0	32.0
3	陈晔	南京航空航天大学自动化学院	23	66	5.0	7.0