[an error occurred while processing this directive] [an error occurred while processing this directive]
[an error occurred while processing this directive]收稿日期: 2011-11-02
网络出版日期: 2025-05-29
基金资助
航空基金(20100718004)
Implementation and Evaluation of Operating System for Integrated Missile System
Received date: 2011-11-02
Online published: 2025-05-29
新一代导弹任务计算机拟采用综合模块化航空电子体系。该体系能够将传统的多个子系统综合到单一的硬件平台。为此文中提出了一种强分区操作系统模型,该模型能够提供各应用分区在时间和空间上完全的独立和隔离。文中着重就强分区内核FCOS的体系结构、分区调度、分区间通信以及存储管理等进行了详细的论述,并对该操作系统进行了评估和优化。最后结合某型弹载武器系统,使用该操作系统将传统上独立的三个子系统综合到一个系统中。
关键词: 弹载综合任务系统; 强分区; 操作系统; 综合模块化航空电子体系
汤小明 , 李引娟 , 程农 . 综合一体化弹载系统操作系统的实现与评估[J]. 弹箭与制导学报, 2012 , 32(4) : 176 -180 . DOI: 10.15892/j.cnki.djzdxb.2012.04.022
The new missile task computer system employs the architecture of integrated modular avionics. Based on this architecture, the traditional sub-systems will be integrated into a single hardware platform. In this paper, a strong partitioned operating system model was proposed. With this model, the software platform can guarantee that every partition is completely independent and isolated from others. The strong partitioned operating system kernel FCOS was discussed in detail, including system architecture, partition scheduling, inter-partition communication and memory management. Besides, the analysis and evaluation of this kernel FCOS base on different benchmark were conducted. In terms of results, an optimized memory management was mentioned as well. As a real case, an integrated missile task system with three traditional systems integrated into one platform was illustrated.
| [1] | Jose Rufino, Sergio Filipe, Manuel Coutinho, et al. ARINC653interfaces in RTEMS[C] //Proceedings of Data Systems inAerospace, DASIA'07, 2007. |
| [2] | SC-200 RTCA, Inc. Integrated Modular Avionics (IMA) De-velopment Guidance and Certification Considerations DO297 [Z]. RTCA, Inc, 2005. |
| [3] | L Lamport. Avionics Application Standard Software Inter-face [Z]. 2009: 207 – 220. |
| [4] | Windriver Inc. Vxworks 653 user guide [Z]. Windriver Inc, 2005. |
| [5] | OSEK. OSEK/VDX Operating system [Z]. OSEK. 2005. |
| [6] | David kleidernacher, Green Hills Softeare. ARINC 653 andIMA-compliant high robustness file systems [C] //Proceed-ings of IEEE/AIAA 27th Digital Avionics Systems Confer-ence, DASC'08, 2008. |
| [7] | Richard L Alena, John P Ossenfort Iv, Kenneth I Laws, et al. Communication for integrate modular avionics [C] // 2007 IEEE Aerospace Conference. 2007:1-18. |
| [8] | Saznuk P J. ARINC 653 role in integrated modular avionics(IMA) [C]//Proceedings of IEEE/AIAA 27 th Digital A-vionics Systems Conference, DASC'08, 2008. |
| [9] | Peter H Feiler. Challenges in validating safety-critical em-bedded systems [Z]. SAE International. 2009. |
| [10] | SC Vestal, P Binns, A Larson, et al. Safe partition sched-uling on multi-core processors: US, 20100199280A1[P]. 2010. |
/
| 〈 |
|
〉 |