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

• 作者: 周勇 张晓策 燕雪峰
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: AADL模型 动态故障树 转换方法 错误附件
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 安全与防范
• 页码范围: 110-114
• 页数: 5页
• 分类号: TP311
• 字数: 3660字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2017.11.024

摘要

在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性.在设计阶段确定系统的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本.应用AADL建立嵌入式系统模型时,存在着AADL对时序故障描述不足的问题.为解决该问题,将AADL的故障附件进行扩展,使其能够完善地描述时序故障,并提出了扩展的AADL故障模型到动态故障树的转换规则及方法.从扩展的AADL故障模型到动态故障树的转换过程共分为三步:将AADL模型中的组件转换为单个动态故障树;以组件为基本元素建立数据或事件的故障转移图;根据故障转移图和组件的动态故障树建立动态故障树.通过导弹发射系统实例证明了该转化规则及方法的可行性和实用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周勇	南京航空航天大学计算机科学与技术学院	47	321	8.0	16.0
2	燕雪峰	南京航空航天大学计算机科学与技术学院	34	192	7.0	12.0
3	张晓策	南京航空航天大学计算机科学与技术学院	2	5	2.0	2.0