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

Design of health monitoring for partition operating system based on seL4

作　　者：王天辰 赵承鼎 魏鑫 高艳华[1] WANG Tian-chen;ZHAO Cheng-ding;WEI Xin;GAO Yan-hua(Department of Software Research and Development, Beijing Institute of Control and Electronic Technology, Beijing 100038, China;School of Computer, Beijing University of Aeronautics and Astronautics, Beijing 100191, China)

机构地区：[1]北京控制与电子技术研究所计算机软件技术研发中心,北京100038 [2]北京航空航天大学计算机学院,北京100191

出　　处：《计算机工程与设计》2018年第5期1296-1301,共6页Computer Engineering and Design

摘　　要：介绍seL4微内核操作系统的结构及功能,提出一些问题,例如目前基于seL4的分区操作系统设计和实现并不十分完善,对于健康监控的研究处于基本空白。针对这些问题,结合现有的操作系统微内核理论及分区方案的需求,参考ARINC653标准的相关思路,设计健康监控模块。根据操作系统错误的特点,讨论主要针对的错误种类,研究各类错误的截获办法,对错误截获处理报告记录模块进行设计。对各类错误进行测试,简述该健康监控方法的整体实现流程。The structure and function of seL4 microkernel operating system were introduced.Several problems were proposed at the same time,such that the design and implementation of partition operating system based on seL4 is not perfect,and research on health monitoring is still in blank field at the moment.Based on the theories of microkernel operating system and requirements of partitioning scheme,a method of health monitoring module was designed referring to the related ideas of ARINC653 standard.According to the characteristics of errors in operating system,the main types of errors were discussed.The methods of intercepting all kinds of errors were studied,and the design of error intercepting processing reporting recording module was also proposed.Testing all kinds of errors,the overall implementation process of the health monitoring method was briefly described.

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]