基于安全分区操作系统的容错计算机软件架构
来源：计算机测量与控制杂志2019年第12期北京时间：
作者：马小博,王芳,程俊强
单位：西安航空计算技术研究所
摘要：机载计算机的综合化程度越来越高，综合了飞行器的多种任务功能，需要满足不同系统不同余度配置的安全要求。这种高可靠的容错计算机对软件的要求越来越高，为了确保不同系统应用程序在时间上空间上的彼此隔离互不影响，在高安全性的实时操作系统中提出了分区（Partition）的概念。介绍了一种高可靠机载容错计算机的系统结构，以及在INTEGIRTY分区操作系统下容错计算机的软件架构、系统调度、余度管理等
关键词：容错,分区操作系统, 系统调度,余度管理
