题目：基于AADL的面向IMA重构设计的可靠性分析方法研究

 

 

综合模块化航空电子(IMA)以其优秀的性能表现和灵活的系统结构而越来越多的被 使用到军用民用航空电子设备中，其重构过程可根据不同阶段的任务需求改变不同层次 的逻辑配置达到资源利用的最优化和任务的适应性。与此同时，当系统某个层次发生故 障时系统可以通过降级或重构改变软硬件的绑定关系达到故障隔离的目的。 IMA 重构 过程涉及到系统的多个方面，如系统组件错误状态、系统配置和重构行为，设计中如何 使系统配置方式和重构策略达到最优以及系统中各组件和连接对系统考虑重构时的影 响成为 IMA 实践中重要的研究内容。 针对 IMA 复杂的重构过程，我们使用结构分析与设计语言(AADL)作为统一信息模 型精确的描述 IMA 重构过程中的组件错误状态、系统配置结构和系统重构行为。其中， AADL 中的模态转换对重构行为进行建模，错误附件和 ARINC653 附件分别描述组件 错误状态和系统体系结构。在 AADL 统一模型的基础上，提取相关信息并使用不同的 计算模型分析系统各可靠性特性，通过这个过程我们能得到系统组件的可靠度、基于体 系结构的配置可靠度、同一功能需求下考虑故障隔离重构的可靠度和系统多模态运行的 可靠度，各计算结果之间相互关联可用来做敏感性分析。