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

A Safety-Critical Embedded Real Time Operating System Kernel Design

在研究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.