摘要：为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行 为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法 时空隔离保护机制的提出 。

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

摘要：现有嵌入式系统具有应用场景多变、实时性要求严格、上层应用复杂、鲁棒性较强等特点,在嵌入式操作系统层面对系统防危性要求较高。时间隔离机制是提高系统防危性的重要组成部分,为此,提出一种将层次化动态实时调度框架作为时间隔离的实现策略。引入任务同质性的概念进行任务分划,将产生的任务集作为层次框架的基础,证明多层次框架下实时任务的可调度性条件,设计调度算法结构并实现调度算法的动态切换。仿真结果和理论分析表明,该调度框架在保证上下文切换时间复杂度稳定的前提下,可提高系统防危性并动态应对系统负载的变化。

摘要：嵌入式实时操作系统的研究与开发是嵌入式领域的一个研究热点。分区(Partition)技术的时间、空间隔离与调度机制,保证了嵌入式实时系统资源在时间和空间方面的确定性和应用程序之间的安全性。介绍了嵌入式实时操作系统中的分区技术,并联系航空实际,重点研究了分区技术的设计与实现。