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

摘要：

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

关键词：结构分析与设计语言、错误模型、可靠性建模、错误传播、状态映射

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：航空科学基金项目2006ZC31001

在线出版日期：2009-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：90-94