一种基于嵌入式微内核操作系统的空间隔离消息通信设计方法  

Spatially Isolated Communication Design Based on Embedded Micro-kernel Operation System

作　　者：周彦 姜兵[1] ZHOU Yan;JIANG Bing(Chengdu Aircraft Design Institute,Chengdu 610091,Sichuan)

机构地区：[1]成都飞机设计研究所,四川成都610091

出　　处：《攀枝花学院学报》2021年第5期96-100,共5页Journal of Panzhihua University

摘　　要：本文阐述了目前机载软件中的数据耦合设计缺陷,针对该问题提出了一种基于嵌入式微内核操作系统的空间隔离消息通信设计方法,并详细分析了空间隔离的消息通信原理,在此基础上提出了适用于高安全性机载软件系统分区隔离的消息收发机制,并实现了上述方法在飞机管理系统中的应用。经试验验证,该基于嵌入式微内核操作系统的空间隔离消息通信方法设计解决了数据耦合设计缺陷并满足高安全性机载软件系统的设计需求。In order to solve the problem of tight coupling of airborne software,a secure access control method based on embedded microkernel real-time operation system is proposed,and the principle of spatially isolated message communication is analyzed in detail.On this basis,it proposed an information exchange mechanismapplicable in system partition isolation for highly secure airborne software and realized its application in aircraft management system.The experimental verification proved it to be effective in resolving the defects of data coupling design and meets the design requirements of highly secure airborne software systems.

关 键 词：空间隔离 消息订阅 消息发布 消息通信 高安全机载系统 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程] TP181[自动化与计算机技术—控制科学与工程]