计算机应用 ›› 2017, Vol. 37 ›› Issue (6): 1808-1813.DOI: 10.11772/j.issn.1001-9081.2017.06.1808

• 计算机软件技术 • 上一篇    下一篇

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

王运盛, 雷航   

  1. 电子科技大学 信息与软件工程学院, 成都 611731
  • 收稿日期:2016-10-17 修回日期:2016-12-30 出版日期:2017-06-10 发布日期:2017-06-14
  • 通讯作者: 王运盛
  • 作者简介:王运盛(1979-),男,新疆和硕人,高级工程师,博士研究生,CCF会员,主要研究方向:综合模块化航空电子、软件架构及可靠性设计;雷航(1960-),男,四川自贡人,教授,博士,主要研究方向:嵌入式系统、软件可靠性。
  • 基金资助:
    国家科学技术部国际科技合作专项(2015DFA70150)。

Partition configuration and initialization in integrated modular avionics

WANG Yunsheng, LEI Hang   

  1. School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu Sichuan 611731, China
  • Received:2016-10-17 Revised:2016-12-30 Online:2017-06-10 Published:2017-06-14
  • Supported by:
    This work is partially supported by the International S&T Cooperation Program of Ministry of Science and Technology of the People's Republic of China (2015DFA70150).

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

关键词: 综合模块化航空电子, 分区, 驻留应用, 统一建模语言, 资源分配

Abstract: Regarding to the resource 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 on the case study of VxWorks 653 partition operating system. The proposed model including classes diagram and initial sequence diagram for partition, was established to facilitate the analysis of the mechanism of partition configuration and starting/initialization. The contents and function of partition configuration in the processes of resources allocation, operating system compilation and partition initialization, were discussed in detail, as well as the differences between "cold start" and "warm start" mode. A platform was set up for testing the startup times of the two kinds of startup modes, and the test results showed that the time of cold start was 148 ms, and warm start time was 8.5 ms. Furthermore, the applicable scenarios for cold start and warm start mode were discussed. The policies of partition configuration and application software initialization were proposed based on the starting time. The mode of partition start and time of partition initialization should be fully considered when establishing the partition main time frame and identifying the health management policy. The designed policies can be applicable to other partition system design in high security applications.

Key words: Integrated Modular Avionics (IMA), partition, hosted application, Unified Modeling Language(UML), resources allocation

中图分类号: