基于seL4的分区操作系统健康监控设计

摘要：

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

关键词：微内核、分区操作系统、健康监控、错误截获、错误处理

所属期刊栏目：39

分类号：TP316(计算技术、计算机技术)

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

页数：共6页

页码：1296-1301