分区间通信在航空电子系统中的设计与实现

摘要

新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠, 必须有高安全性的实时操作系统支持.在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的"子系统"概念已由硬件实体演变为软的"子系统".分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行.为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法.