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

An Embedded Software Reliability Modeling and Evaluation Method

作　　者：刘维维[1] 庄毅[1] 李蜜[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京210016

出　　处：《计算机与现代化》2017年第8期78-83,共6页Computer and Modernization

基　　金：国家自然科学基金资助面上项目(61572253)

摘　　要：虽然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.

关 键 词：可靠性 体系结构分析与设计语言 离散时间马尔可夫链 概率计算树逻辑 模型检测 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]