模块化开放式航空电子系统架构标准研究

国外对开放式系统架构(OSA)概念的探索至今已有40多年。美国国防部模块化开放式系统方法(MOSA)正是建立在OSA概念之上,综合了采办和工程方法,来实现低成本、优化和快速能力升级的武器系统灵活开发。本文将集中讨论MOSA构建方法及其开放式架构的最佳实践,包括开放式任务系统、未来机载能力环境和传感器开放式系统架构。最后,本文讨论了MOSA在开放式架构上开展的工作及其挑战,以期对我国在航空电子OSA标准研究和实践上有所裨益。

从体系综合技术与试验项目分析美空军分布式作战历程与进展

在全域战、马赛克战等新型作战概念的牵引下,美军已明确以异构平台协同为特征的跨域分布式空战将是面向大国竞争的主要作战形式。体系综合技术与试验项目是美空军验证此作战形式的重要骨干项目。本文通过对该项目研发、验证、转化的梳理,分析了其多项技术成果对分布式作战能力提升的重要价值和影响,并研判了分布式作战体系的发展方向。

基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析

建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系统内核进程的描述,对内核进程进行了逐步求精工作.