本文阐述了目前机载软件中的数据耦合设计缺陷,针对该问题提出了一种基于嵌入式微内核操作系统的空间隔离消息通信设计方法,并详细分析了空间隔离的消息通信原理,在此基础上提出了适用于高安全性机载软件系统分区隔离的消息收发机制,并实现了上述方法在飞机管理系统中的应用。经试验验证,该基于嵌入式微内核操作系统的空间隔离消息通信方法设计解决了数据耦合设计缺陷并满足高安全性机载软件系统的设计需求。
科研之友
微信
新浪微博
Facebook
分享链接
