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

作     者：欧阳湘臻 朱怡安 李联 史先琛 OUYANG Xiangzhen;ZHU Yian;LI Lian;SHI Xianchen

作者机构：西北工业大学计算机学院西安710072 西北工业大学软件与微电子学院西安710072 

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

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2019年第45卷第7期

页      码：78-85页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19678/j.issn.1000-3428.0050533

馆 藏 号：203695740...