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

CN 43—1258／TP 计算机工程与科学 第 37卷第 8期 2015年 8月 ISSN 1007—13OX ComputerEngineering Science Vo1．37，No．8，Aug．2015 文章编号 ：1007—130X(2015)08—1517—08 一 种结合 AADL和 IMC的系统可靠性建模方法 程亦涵，黄志球，阚双龙 (南京航空航天大学计算机科学与技术学院，江苏 南京 210016) 摘 要 ：随着嵌入式软件在安全关键领域广泛应用，系统可靠性随着其规模 、复杂度和性能需求的不 断提升而愈显重要 。结构分析设计语言AADL是应用于嵌入式领域的体 系结构建模、分析和验证的重要 手段 。由于AADL是一种半形式化模型，需要精确描述其语义才能进行定量分析。提 出一种基于AADL 的系统可靠性建模方法。首先，结合AADL模型和 AADL错误模型附件 ，得到AADL可靠性模型；然后， 提出一种模型转换方法，将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫