基于故障树分析的嵌入式系统AADL模型可靠性分析方法  

Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis

作　　者：李东民[1,2] 李静[1,2] 林华锋[1,2] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016 [2]软件新技术与产业化协同创新中心,南京211100

出　　处：《计算机科学》2017年第6期182-188,共7页Computer Science

基　　金：中央高校基本科研业务费专项资金(NS2015092)资助

摘　　要：采用架构分析与设计语言(AADL)建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树(Static Fault Tree,SFT)模型的转换,并根据故障树定量分析法对系统可靠性进行分析。首先结合AADL错误模型附件建立可靠性模型;然后设计了从AADL模型到SFT模型的语义映射规则,并实现了将AADL模型中的基本元素转换为静态故障树中相对应的元素;最后结合飞机车轮刹车系统实例,使用文献中提出的方法对其进行可靠性分析,从而验证所提方法的可行性和有效性。We used architecture analysis and designed language（AADL）to build embedded system semi-formalization model,transformed AADL model to static fault tree（SFT）model,and analyzed the reliability of the system according to the fault tree analysis method.Firstly,the reliability model is built with the attachment of the AADL error model.Then,the semantic mapping rules from AADL model to SFT model are designed and used to transform from AADL model to SFT model.Finally,based on the example of aircraft wheel brake system,the reliability analysis is carried out according to the method proposed in this paper to prove the feasibility and effectiveness of the proposed method.

关 键 词：AADL 故障树分析 可靠性分析 模型转换 

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