构件化嵌入式软件设计模型验证工具的研究

• 作者: 张弛 王锋
• 来源期刊: 通讯世界
• 学科: 工学
• 关键词: 嵌入式软件 构件化 模型验证工具
• 年，卷（期）: 2014,（21）
• 所属期刊栏目: 通信设计与应用
• 页码范围: 36-36
• 页数: 1页
• 分类号: TP311.5
• 字数: 1513字
• 语种: 中文

摘要

基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性，本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现，能够对系统设计模型与场景式规约之间多种行为的一致性进行检验，并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王锋		58	123	5.0	8.0
2	张弛		8	4	2.0	2.0