许玉堂，殷永峰，孙静，张弛，刘斌

（1.北京理工大学机电学院，北京100081；2.北京航空航天大学可靠性与系统工程学院，北京100191；3.中国兵器科学研究院，北京100089）

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

许玉堂1，殷永峰2，孙静3，张弛2，刘斌2

（1.北京理工大学机电学院，北京100081；2.北京航空航天大学可靠性与系统工程学院，北京100191；3.中国兵器科学研究院，北京100089）

软件可靠性是软件质量评估最重要的指标之一，随着软件工程和组件重用技术的发展，近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性，调研现有体系结构的可靠性评估模型，给出了现有体系结构模型的分类和模型代表，并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性，因此重点研究Petri网可靠性评估模型，通过划分时间变迁和瞬时变迁，并引入时间相关的可靠度，包括延时可靠度与时序可靠度，对Petri网进行了扩展，给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系，创建可达状态转移矩阵，对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中，完成了体系结构建模及可靠性评估，并通过误差分析验证了该方法的有效性及准确性。

计算机软件；软件体系结构；可靠性评估；时间扩展Petri网

0　引言

随着社会的不断进步和计算机科学技术的飞速发展，计算机目前已经广泛地应用于航空、航天、工业控制、交通、金融等各项领域。……