计算机工程

作者：欧阳湘臻, 朱怡安, 李联, 史先琛

单位：西北工业大学 a. 计算机学院;b. 软件与微电子学院, 西安 710072

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

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

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

来源：2019年第7期

《计算机工程》期刊编辑部

查看计算机工程杂志2019年第7期