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

A Safety-Critical Embedded Real Time Operating System Kernel Design

作　　者：欧阳湘臻 朱怡安[1] 李联[2] 史先琛 OUYANG Xiangzhen;ZHU Yian;LI Lian;SHI Xianchen(School of Computer Science,Northwestern Polytechnical University,Xi’an 710072,China;School of Software and Microelectronics,Northwestern Polytechnical University,Xi’an 710072,China)

机构地区：[1]西北工业大学计算机学院,西安710072 [2]西北工业大学软件与微电子学院,西安710072

出　　处：《计算机工程》2019年第7期78-85,共8页Computer Engineering

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

摘　　要：在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统。采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性。在PowerPC平台上实现嵌入式实时操作系统内核原型并对其进行功能与性能测试,结果表明该操作系统内核功能完备,满足软硬件分区、栈溢出保护与监测、驱动故障保护等需求,且综合性能优于同类操作系统内核。Based on the study of the temporal and spatial isolation principle of the ARINC-653 standard,this paper designs and implements a safety-critical embedded real time operating system.Micro-kernel design improves system reliability and configurability through Manifest-based task and partition management,partition protection with software and hardware,and software static verification.The embedded real-time operating system kernel prototype is implemented on the PowerPC platform,and the function and performance of the kernel prototype are tested.The results show that the operating system kernel is fully functional and meets the requirements of software and hardware partition,stack overflow protection and monitoring,and drive fault protection,etc.,and the comprehensive performance is better than similar operating system kernel.

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

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