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

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

The Design and Implementation of inter-Partition Communication in Avionics Systems

The avionics electronic system of new generation is a high integrated ,moduled system.There must be a high safe real-time operating system in order to achieve the safety of systems,so partition is issued in high safe real-time o/s.Partition is one or several applications (sub-systems)running on a core mudule,which are separated in time and space and are not affected each other.When applications in a partition are wrong,they should not affect the running of other partitions in time and space.To achieve this,the means of applications' communications is changed from inter-process communication to inter-partition communication.This paper focuses on the design and implementation of inter-partition communication.