2 分区技术及其工作机制
分区技术（Partitioning）是通过处理器的时间隔离和空间隔离，将多个功能应用程序限制在属于该应用自身的处理器时间和空间资源中，避免相互之间的干扰，从而方便航电系统的集成、验证/确认和适航认证工作[13]。
简单地说，时间隔离就是按照预期的时间规划为不同功能应用程序分配计算资源和网络资源且不受非预期的干扰，预期的时间规划包括获得处理资源使用权的周期和持续时间等，时间隔离一方面确保该分区获得处理器资源的时间特性，另一方面也确保一个分区的活动不会干扰其他分区或受其他分区干扰；空间隔离就是通过一定的软硬件技术手段，使得在一个分区中运行的软件不能操作另一个分区处理器地址空间（包括程序、数据以及I/O），通常是通过配置处理器的内存管理单元(MMU)实现的，即按照分区的资源分配的信息配置MMU，在运行过程中，处理器的MMU翻译和检查分区软件的所访问的地址是否符合该分区的访问权限策略，从而发现和阻止分区的越界地址操作。
