| 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估 |
| |
| 引用本文： | 许玉堂,殷永峰,孙静,张弛,刘斌. 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估[J]. 兵工学报, 2015, 36(2): 363-373. DOI: 10.3969/j.issn.1000-1093.2015.02.025 |
| |
| 作者姓名： | 许玉堂 殷永峰 孙静 张弛 刘斌 |
| |
| 作者单位： | （1.北京理工大学 机电学院北京 100081； 2.北京航空航天大学 可靠性与系统工程学院北京 100191； |
| |
| 基金项目： | 航空科学基金项目，中央高校基本科研业务费专项资金项目 |
| |
| 摘 要： | 软件可靠性是软件质量评估最重要的指标之一，随着软件工程和组件重用技术的发展，近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性，调研现有体系结构的可靠性评估模型，给出了现有体系结构模型的分类和模型代表，并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性，因此重点研究Petri网可靠性评估模型，通过划分时间变迁和瞬时变迁，并引入时间相关的可靠度，包括延时可靠度与时序可靠度，对Petri网进行了扩展，给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系，创建可达状态转移矩阵，对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中，完成了体系结构建模及可靠性评估，并通过误差分析验证了该方法的有效性及准确性。
|
| 关 键 词： | 计算机软件 软件体系结构 可靠性评估 时间扩展Petri网 |
| 收稿时间： | 2014-04-15 |
Real-time Embedded Software Architecture Modeling and Reliability Estimation Based on Time-extended Petri Net |
| |
| XU Yu-tang,YIN Yong-feng,SUN Jing,ZHANG Chi,LIU Bin. Real-time Embedded Software Architecture Modeling and Reliability Estimation Based on Time-extended Petri Net[J]. Acta Armamentarii, 2015, 36(2): 363-373. DOI: 10.3969/j.issn.1000-1093.2015.02.025 |
| |
| Authors: | XU Yu-tang YIN Yong-feng SUN Jing ZHANG Chi LIU Bin |
| |
| Affiliation: | （1.School of Mechatronical Engineering, Beijing Institute of Technology, Beijing 100081, China；2.School of Reliability and System Engineering, Beihang University, Beijing 100191, China；3.Ordnance Science and Research Academy of China, Beijing 100089, China） |
| |
| Abstract: | |
| |
| Keywords: | computer software software architecture reliability estimation time-extended Petri net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《兵工学报》浏览原始摘要信息 |
|
点击此处可从《兵工学报》下载全文 |
