一种嵌入式软件可靠性建模与评估方法

An Embedded Software Reliability Modeling and Evaluation Method

虽然AADL已经被广泛应用于嵌入式软件体系结构的建模与分析,但其作为一种半形式化建模语言,不能满足严格分析评估软件可靠性的要求。为了解决这个问题,本文首先采用离散时间马尔可夫链DTMC刻画AADL可靠性模型,主要描述系统的状态转移与转移概率。然后基于概率计算树逻辑PCTL提出一种可靠性定量评估方法,通过计算可用度评估可靠性。最后设计可靠性评估器,并通过一个飞行管理系统的实例研究验证所提出的建模与评估方法的有效性。

Although AADL has been widely used in the modeling and analysis of embedded software architecture,it＇s a semi-formal modeling language and cannot meet the requirements of rigorous analysis and evaluation of software reliability. In order to solve this problem,first of all,we describe the AADL reliability model by discrete-time Markov chain,which is mainly used to describe the state transition and transition probability of the system. Then,we propose a reliability quantitative evaluation method based on PCTL to evaluate the reliability by calculating the availability. Finally,we design a reliability evaluation tool. By the tool,a case study of a flight management system is given to verify the effectiveness of the modeling and evaluation method.