基于AADL的机载设备系统可靠性建模

• 作者: 刘建军 叶宏 钟珊
• 来源期刊: 航空计算技术
• 关键词: 结构分析与设计语言 错误模型 可靠性建模 错误传播 状态映射
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 计算机应用
• 页码范围: 90-94
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2009.02.024

摘要

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统.提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据.采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法.最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶宏		16	93	5.0	9.0
2	刘建军		8	111	4.0	8.0
3	钟珊		4	22	2.0	4.0