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