Embedded Real-Time OS for Avionics

        航空电子设备首先考虑的是安全性，因此应用于航空领域的嵌入式操作系统一个最重要的方面也是安全性。其实现的主要方式是模块间的“时空隔离”。

1、空间隔离：

        分区概念的提出：每个模块对应一个分区。每一个分区都有独立的上下文和运行环境，每个分区可以包含多个进程，这些进程共同实现一个模块的功能。分区之间用端口进行通信。

        存储器模块(mmu)管理：隔离应用程序和应用程序、应用程序和操作系统间的内存空间。

2、时间隔离

     基于时间窗口的循环调度算法。每个分区在指定的时间窗口执行，在该时间窗口其它分区无法抢占。