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

作     者：聂捷楠 NIE Jienan

作者机构：成都医学院人文信息管理学院四川成都610500 

基　　金：四川省教育厅项目(14ZB0241) 

出 版 物：《现代电子技术》 (Modern Electronics Technique)

年 卷 期：2016年第39卷第24期

页      码：63-65,70页

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

主 题 词：模型检查 嵌入式软件 构件化 SMV 

学科分类：11[军事学] 0810[工学-土木类] 1105[1105] 081203[081203] 08[工学] 0835[0835] 081002[081002] 110503[110503] 0812[工学-测绘类] 

D　O　I：10.16652/j.issn.1004-373x.2016.24.015

馆 藏 号：203210512...