摘要：
随着计算机、物联网的飞速发展,航空航天、汽车、工控等安全关键领域对于嵌入式实时操作系统的可靠性与性能的需求也越来越高。为此,本文在研究ARINC-653标准的时空隔离思想的基础上,设计并实现了一种安全关键嵌入式实时操作系统。该操作系统采用微内核设计,应用基于manifest描述的任务与分区设计,软、硬件结合的分区保护技术,软件静态验证技术,具有高容错性、高性能、易于裁剪与扩展的可配置性等特性。本文给出了操作系统内核原型的功能测试与性能测试。功能测试结果表明该操作系统内核功能完备,拥有分区切换、分区保护、任务调度、通信等功能,同时可靠性、安全性也符合设计,满足软/硬件分区机制、栈溢出保护与监测、驱动故障保护等需求。性能测试表明,该操作系统原型的性能也优于同类操作系统。
会员登录
