| 基于AADL的机载设备系统可靠性建模 |
| |
| 引用本文： | 刘建军,钟珊,叶宏.基于AADL的机载设备系统可靠性建模[J].航空计算技术,2009,39(2):90-94. |
| |
| 作者姓名： | 刘建军 钟珊 叶宏 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西西安,710068 |
| |
| 摘 要： | AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性，已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法，为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模，给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例，验证了所提建模方法的有效性。
|
| 关 键 词： | 结构分析与设计语言 错误模型 可靠性建模 错误传播 状态映射 |
Reliability Modeling for Airborne Equipment System Using AADL |
| |
| LIU Jian-jun,ZHONG Shan,YE Hong.Reliability Modeling for Airborne Equipment System Using AADL[J].Aeronautical Computer Technique,2009,39(2):90-94. |
| |
| Authors: | LIU Jian-jun ZHONG Shan YE Hong |
| |
| Institution: | (Aeronautical Computing Technique Research Institute, Xi＇an 710068, China) |
| |
| Abstract: | The AADL(Architecture Analysis and Design Language) can describe important performance-critical aspects for airborne equipments such as timing requirements,mission states.The language has been applied to performance-critical real-time system such as avionics,automotive electronics,or robotics systems.A reliability modeling method of airborne equipments based on AADL is proposed in this paper and it provides theoretical basis for designing and validating the system model of airborne equipments.Firstly,the AA... |
| |
| Keywords: | AADL error mode reliability mode error propagation state mapping |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
