一种结合AADL和IMC的系统可靠性建模方法  

A system dependability modeling method using AADL and IMC

作　　者：程亦涵[1] 黄志球[1] 阚双龙[1] 

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

出　　处：《计算机工程与科学》2015年第8期1517-1524,共8页Computer Engineering & Science

摘　　要：随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析。提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性。As embedded software is widely used in safety-critical areas, its scale, complexity and performance demand increase, so system reliability becomes increasingly important. Architecture analysis and design language （AADL） is an important way for architecture modeling, analysis, and verification in the field of embedded systems and it has gradually become the industry standard. Because AADL is not a full formal model, accurate description of its semantics is required to do quantitative analysis. In this paper we propose an AADL-based software system reliability modeling and evaluation framework. We generate an AADL dependability model based on the AADL model and the AADL error model. The bas- ic elements and the special elements （e. g. error propagation） of the AADL dependability model are transformed into the interactive Markov chains （IMC） model by applying model transformation rules and the resulting IMC quantitative analysis is conducted. The modeling approach is applied to a subsystem of the French Air Traffic Control System, and its feasibility and effectiveness are proved.

关 键 词：AADL 可靠性模型 IMC模型转换 形式化方法 

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