基于DO-297和L4标准的微内核技术研究
作者单位：上海航空电子有限责任公司
会议名称：《第五届中国航空科学技术大会》
会议日期：2022年
学科分类：08[工学] 0825[工学-航空宇航科学与技术]
摘 要：在DO-297标准中,对实时操作系统做出鲁棒分区、健康监控等航空领域的要求。而微内核具备内核与应用模块化,可信任计算基和认证范围小,错误传播范围受限,应用通过内核调用来授权访问地址空间等特点;对于安全关键性系统来说,其高可靠性的优势非常明显。因此,使用存储器保护单元(MPU)或存储器管理单元(MMU)来设置地址空间权限,事件驱动的监控任务,内核调用的参数检查,以及再生服务器等机制的微内核能够具备鲁棒分区和健康监控的特性。