摘要：介绍seL4微内核操作系统的结构及功能,提出一些问题,例如目前基于seL4的分区操作系统设计和实现并不十分完善,对于健康监控的研究处于基本空白。针对这些问题,结合现有的操作系统微内核理论及分区方案的需求,参考ARINC653标准的相关思路,设计健康监控模块。根据操作系统错误的特点,讨论主要针对的错误种类,研究各类错误的截获办法,对错误截获处理报告记录模块进行设计。对各类错误进行测试,简述该健康监控方法的整体实现流程。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社