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

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

单位：南京航空航天大学计算机科学与技术学院 江苏南京210016