分区软件失效模式和效果研究

摘要：

为了解决在综合模块化航空电子系统(IMA)系统架构和分区软件设计面临的分区软件失效模式和应对措施问题,深入分析分区软件与IMA平台之间交互过程,明确了分区软件特有的失效模式.分区软件除了一般软件共有的失效模式以外,其所特有的交互过程引入了新的失效模式,包括预期的交互功能未能执行、执行过程错误、执行过程超时和特定错误等.根据ARINC 653软件架构中定义的健康监控功能,提出了通过增加健康管理功能等应对措施来处理分区软件的失效,并通过实例分析说明了该措施可以有效降低分区软件失效带来的安全风险,从而提高分区软件和功能应用的可靠性.这些失效模式分析结果和应对措施也适用于其他高安全性要求环境下分区系统设计.

关键词：综合模块化航空电子系统、分区软件、失效模式及效果分析、故障树分析、AADL

所属期刊栏目：34

分类号：TP311.1(计算技术、计算机技术)

在线出版日期：2017-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2399-2403