一种AADL故障模型到动态故障树的转换方法.PDFVIP

第27卷 第11期 计 算机 技 术 与发 展 Vol.27 No.11 2017年11月 COMPUTERTECHNOLOGY AND DEVELOPMENT Nov. 2017 一种AADL故障模型到动态故障树的转换方法 张晓策,燕雪峰,周 勇 (南京航空航天大学计算机科学与技术学院,江苏 南京211106) 摘 要:在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性。 在设计阶段确定系统 的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本。 应用AADL建立嵌入式系统模型时, 存在着AADL对时序故障描述不足的问题。 为解决该问题,将AADL 的故障附件进行扩展,使其能够完善地描述时序故 障,并提出了扩展的AADL故障模型到动态故障树的转换规则及方法。 从扩展的AADL故障模型到动态故障树的转换过 程共分为三步:将AADL模型