操作系统与模块支持层隔离机制的研究

新一代航空电子系统是一种高度综合化、模块化的系统,使用层次性的软件体系结构可以减低软件开发费用、提高系统安全性。本文参考欧洲航空电子标准 ASAAC,对操作系统与模块支持层的隔离机制进行了深入研究,分析了嵌入式操作系统 VxWorks 结构。尝试了将其内核和模块支持层进行隔离。

对嵌入式操作系统健康监控功能的扩展——模块支持层故障处理的实现

本文介绍了一种嵌入式操作系统模块支持层故障处理方法,扩展了ARINC653标准关于支持分区功能的嵌入式实时操作系统的健康监控机制,在操作系统模块支持层建立了具备故障处理、日志记录和自定义故障处理动作等功能的健康监控机制,实现了健康监控对操作系统各个层次的全面覆盖。