计算机工程 ›› 2019, Vol. 45 ›› Issue (7): 78-85.doi: 10.19678/j.issn.1000-3428.0050533

• 体系结构与软件技术 • 上一篇    下一篇

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

欧阳湘臻a, 朱怡安a, 李联b, 史先琛a   

  1. 西北工业大学 a. 计算机学院;b. 软件与微电子学院, 西安 710072
  • 收稿日期:2018-02-27 修回日期:2018-04-20 出版日期:2019-07-15 发布日期:2019-07-15
  • 作者简介:欧阳湘臻(1994-),男,硕士研究生,主研方向为嵌入式操作系统;朱怡安,教授、博士生导师;李联,助理研究员;史先琛,博士研究生。
  • 基金项目:
    航空科学基金“混合关键任务调度算法及无锁同步机制研究”(20150753010);国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(MJ-2015-D-66);陕西省重点研发计划重大重点项目“时间/事件混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1)。

A Safety-Critical Embedded Real Time Operating System Kernel Design

OUYANG Xiangzhena, ZHU Yiana, LI Lianb, SHI Xianchena   

  1. a. School of Computer Science;b. School of Software and Microelectronics, Northwestern Polytechnical University, Xi'an 710072, China
  • Received:2018-02-27 Revised:2018-04-20 Online:2019-07-15 Published:2019-07-15

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

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

Abstract: 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.

Key words: partition operating system, safety-critical task, embedded real time operating system, ARINC-653 standard, spatial isolation, temporal isolation

中图分类号: