基于模型检查的嵌入式软件构件化分析与验证

• 作者: 聂捷楠
• 来源期刊: 现代电子技术
• 关键词: 模型检查 嵌入式软件 构件化 SMV
• 年，卷（期）: 2016,（24）
• 所属期刊栏目: 计算机应用技术
• 页码范围: 63-65,70
• 页数: 4页
• 分类号: TN911-34|TP391
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2016.24.015

摘要

对嵌入式软件构件化进行准确分析与验证，能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的模型，为嵌入式软件构件化分析与验证提供理论基础；将嵌入式软件系统模型用SMV语言的形式表达，利用SMV模型检查工具实现对嵌入式软件运行状态的分析与检验。实验结果表明，该模型能够对嵌入式软件构件化的非功能性方面的设计要求进行准确分析与验证，为嵌入式系统安全稳定的运行提供了保障。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	聂捷楠	成都医学院人文信息管理学院	9	40	3.0	6.0