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

• 作者: 程亦涵 阚双龙 黄志球
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: AADL 可靠性模型 IMC模型转换 形式化方法
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 1517-1524
• 页数: 8页
• 分类号: TP311.5
• 字数: 5795字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.08.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	程亦涵	南京航空航天大学计算机科学与技术学院	1	4	1.0	1.0
3	阚双龙	南京航空航天大学计算机科学与技术学院	15	132	5.0	11.0