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

doi:10.19678/j.issn.1000-3428.0050533

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

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

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

西北工业大学 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 Xiangzhen^a, ZHU Yian^a, LI Lian^b, SHI Xianchen^a

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

摘要/Abstract

摘要： 在研究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

中图分类号:

TP316.2

欧阳湘臻, 朱怡安, 李联, 史先琛. 一种安全关键的嵌入式实时操作系统内核设计[J]. 计算机工程, 2019, 45(7): 78-85.

OUYANG Xiangzhen, ZHU Yian, LI Lian, SHI Xianchen. A Safety-Critical Embedded Real Time Operating System Kernel Design[J]. Computer Engineering, 2019, 45(7): 78-85.

http://www.ecice06.com/CN/Y2019/V45/I7/78

参考文献

[1] LUTZ R R.Analyzing software requirements errors in safety-critical,embedded systems[C]//Proceedings of IEEE International Symposium on Requirements Engineering.Washington D.C.,USA:IEEE Press,2002:126-133.
[2] SAI global.Avionics application software standard interface:ARINC-653[S].AEEC,1996:1-29.
[3] RUSHBY J.Partitioning in avionics architectures:require-ments,mechanisms,and assurance:NASA/CR-1999-209347[R].Menlo Park,USA:SRI International,1999:34.
[4] HERDER J,HERBERT B.MINIX 3:a highly reliable,self-repairing operating system[J].ACM SIGOPS Operating Systems Review,2006,40(3):80-89.
[5] HUNT G,LARUS J.Singularity:rethinking the software stack[J].ACM SIGOPS Operating Systems Review,2007,41(2):37-49.
[6] KLEIN G,ELPHINSTONE K,HEISER G,et al.SeL4:formal verification of an OS kernel[C]//Proceedings of ACM Symposium on Operating Systems Principles.New York,USA:ACM Press,2009:207-220.
[7] GU Ronghui,SHAO Zhong,CHEN Hao.CertiKOS:an extensible architecture for building certified concurrent OS kernels[C]//Proceedings of the 12th USENIX Symposium on Operation Systems Design and Imple-mentation.Savannah,USA:[s.n.],2016:653-669.
[8] WAHBE R,LUCCO S.Efficient software-based fault isolation[C]//Proceedings of Symposium on Operating Systems Principles.New York,USA:ACM Press,1994:87-94.
[9] SEHR D,MUTH R.Adapting software fault isolation to contemporary CPU architectures[C]//Proceedings of the 19th USENIX Conference on Security.Berkeley,USA:USENIX Association,2010:1-12.
[10] AIKEN M,FÄHNDRICH M.Decontructing process isolation[C]//Proceedings of 2006 Workshop on Memory System Performance and Correctness.New York,USA:ACM Press,2006:1-10.
[11] SOLER M,CRESPO A,MASMANO M,et al.Cache management techniques for time isolation in partitioned systems[C]//Proceedings of DASIA'12.Washington D.C.,USA:IEEE Press,2012:14-16.
[12] 于东,秦承刚,吴文江,等.一种实时操作系统的性能评估方法:CN201010580325.3[P].2010-12-09.
[13] 林鹤,李均,朱怡安.基于μC/OS-Ⅱ的高可靠嵌入式操作系统的设计与实现[D].西安:西北工业大学,2016.
[14] 朱怡安,魏润之,苏世游.一种基于μC/OS-Ⅱ符合OSEK标准的实时系统内核设计[J].计算机科学,2016,43(4):173-176.
[15] 郭景,陈贤富.一种符合OSEK标准的操作系统微内核设计[J].微电子学与计算机,2017(11):16-22.

选择文件类型/文献管理软件名称

选择包含的内容

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

A Safety-Critical Embedded Real Time Operating System Kernel Design

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

本文评价

[1]	朱怡安,黄林林,李联,罗殊彦. 多核平台下分区操作系统的安全关键任务调度方法[J]. 计算机工程, 2017, 43(12): 38-44.
[2]	黄国兵,李瑞玲,李华丽,王琼. μC/OS-II任务优先级调度算法分析与改进[J]. 计算机工程, 2015, 41(8): 52-54,60.
[3]	徐明迪，杨连嘉. 嵌入式实时操作系统可信计算技术研究[J]. 计算机工程, 2014, 40(1): 130-133.
[4]	胡家义，张激，刘玲. 层次化动态实时调度框架的设计与实现[J]. 计算机工程, 2013, 39(11): 285-288,294.
[5]	姚武建, 施笑安, 周兴社. 嵌入式自适应实时资源管理[J]. 计算机工程, 2012, 38(9): 248-251.
[6]	黄强, 徐伟华, 吴一波. 基于混合架构的嵌入式实时操作系统设计[J]. 计算机工程, 2011, 37(12): 10-12.
[7]	刘经宇, 朱煜, 尹文生. 基于CPN的嵌入式RTOS任务调度建模[J]. 计算机工程, 2010, 36(21): 1-3.
[8]	郑朝辉;陈新中;张晓先. 综合模块化航空电子系统的可靠性设计[J]. 计算机工程, 2009, 35(23): 272-273,.
[9]	俞慎;李宁波. 航空电子嵌入式实时操作系统的安全策略[J]. 计算机工程, 2008, 34(20): 167-169.
[10]	李银国;李萍;蒋建春. 基于OSEK COM规范的消息传输机制优化[J]. 计算机工程, 2008, 34(17): 257-259.
[11]	章亮飞;李银国. 嵌入式实时操作系统AutoOSEK的设计[J]. 计算机工程, 2007, 33(16): 53-55.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

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

A Safety-Critical Embedded Real Time Operating System Kernel Design

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

本文评价