• •    

综合模块化航空电子分区配置启动机制研究

王运盛1,雷航2   

  1. 1. 中电科航空电子有限公司
    2. 电子科技大学 计算机科学与工程学院, 成都 611731
  • 收稿日期:2016-10-17 修回日期:2016-11-25 发布日期:2016-11-25
  • 通讯作者: 王运盛

The Study on Partition Configuration and Initialization in Integrated Modular Avionics

LEI Hang2   

  • Received:2016-10-17 Revised:2016-11-25 Online:2016-11-25

摘要: 摘 要: 为了解决综合模块化航空电子系统(Integrated Modular Avionics, IMA)资源分配问题并明确分区启动时间,以VxWorks 653分区操作系统为研究实例,建立了的分区配置和启动过程的统一建模语言(Unified Modeling Language, UML)模型。该模型用来深入分析了分区配置和启动机制,说明了分区配置在资源分配以及操作系统编译和分区初始化过程中的作用和流程,阐述了分区“冷启动”和“热启动”模式的差别,并建立了实验平台测试两种模式的启动时间,测试结果显示分区冷启动和热启动的时间分别为400ms和259ms。进而提出了这两种分区启动模式的应用场景以及分区配置和应用程序软件启动初始化设计的策略,例如在分区主时间框架建立和健康监控策略应确定分区启动的方式并充分考虑分区启动时间,这些设计策略也适用于其他高安全性应用环境中分区系统的设计。

关键词: 关键词: 综合模块化航空电子, 分区, 驻留应用, UML, 资源分配, 两级调度

Abstract: Abstract: Regarding to the resources allocation and partition starting time in the Integrated Modular Avionics (IMA), a Unified Modeling Language (UML) model of partition configuration and initialization was proposed based the case study of VxWorks 653. The model, including classes diagram and initial sequence diagram for partition, is was established to facilitate the analysis of the mechanism of partition configuration and starting/initialization. The partition configuration contents and functionality are were discussed in detail, as well as the differences between “cold start” and “warm start”. A test station was set up, and the tests showed that the time of cold start is 400ms, and warm start time is 259ms. Furthermore, The applicable scenarios of cold start and warm start are were presented, and the policyies of partition configuration and initialization of hosted application within the partition is were proposed based on the starting time, including the manner of partition starting up and time of partition initialization should be fully consider when allocating resources and identifying the health management policy. The resultant policies are applicable to other safety critical partition system design.

Key words: Keywords: IMA, Partition, Hosted Application, UML, Resources Allocation, 2-level Scheduling