基于AADL的航电系统可靠性分析工具  

Tool for reliability analysis of avionics system based on AADL

作　　者：刘建军[1] 孟海宁[2] 

机构地区：[1]中国航空计算技术研究所,陕西西安710068 [2]西安理工大学计算机科学与工程学院,陕西西安710048

出　　处：《现代电子技术》2014年第8期65-68,71,共5页Modern Electronics Technique

基　　金：国家自然科基金项目(61100173);西安理工大学博士启动金项目(116-210912)

摘　　要：为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估,验证了该工具设计思路和方法是有效的,这为航电系统设计方案的检验与评估提供支持,也为系统满足适航标准的开发过程和安全性目标提供证据。To support the process automation of reliability analysis and assessment for avionics system,an AADL reliability analysis tool（ARAT）was designed and implemented. The functional requirement for ARAT are illustrated with the use case dia-gram and the interactive process between two functions is described by the activity diagram. The deployment and implementation of the function modules in the tool are presented. The reliability of the airborne equipment is evaluated to demonstrate the effec-tiveness of design idea and method of ARAT,which provides a support for evaluating system design schema,and evidence for the development process and safety objectives to meet the airworthiness standards of avionics system.

关 键 词：航电系统 结构分析与设计语言 可靠性分析 可靠性评估 

分 类 号：TN911-34[电子电信—通信与信息系统] TP311[电子电信—信息与通信工程]