摘要

为提升综合模块化航空电子(IMA)系统在民用航空领域的安全性和可靠性,IMA重构方案应运而生并得到了广泛的应用。为实现可重构IMA系统的可靠性评估,基于ASAAC标准中的系统管理概念,在Simulink/Stateflow环境下,搭建了IMA中惯导软件重构功能模型,直观展示了惯导软件重构过程的工作状态变化,从顶层验证了重构方案的设计实现。基于此,应用马尔可夫过程建立了Stateflow模型关联的可靠度数学模型,分析计算出可靠度结果,并结合工程实例,验证了重构手段对于可靠度的提升效果。