一种安全关键的嵌入式实时操作系统内核设计

摘要：

在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统.采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性.在PowerPC平台上实现嵌入式实时操作系统内核原型并对其进行功能与性能测试,结果表明该操作系统内核功能完备,满足软硬件分区、栈溢出保护与监测、驱动故障保护等需求,且综合性能优于同类操作系统内核.

关键词：分区操作系统、安全关键任务、嵌入式实时操作系统、ARINC-653标准、空间隔离、时间隔离

所属期刊栏目：45

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

资助基金：航空科学基金“混合关键任务调度算法及无锁同步机制研究”20150753010;国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”MJ-2015-D-66;陕西省重点研发计划重大重点项目“时间/事件混合触发的实时操作系统技术与应用研究”2016MSZD-G-8-1

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

页数：共8页

页码：78-85