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

摘要：

随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要.结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段.由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析.提出一种基于AADL的系统可靠性建模方法.首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性.

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

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2015-09-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1517-1524