论文部分内容阅读
为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工具的功能间交互流程。给出工具的功能模块的划分、部署及实现。通过对机载设备进行可靠性评估,验证了该工具设计思路和方法是有效的,这为航电系统设计方案的检验与评估提供支持,也为系统满足适航标准的开发过程和安全性目标提供证据。