作者：刘建军 钟珊 叶宏结构分析与设计语言错误模型可靠性建模错误传播状态映射
摘要：AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性，已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法，为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模，给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例，验证了所提建模方法的有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
