王运盛, 雷 航

(电子科技大学 信息与软件工程学院，成都 611731)

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

王运盛*, 雷 航

(电子科技大学 信息与软件工程学院，成都 611731)

(*通信作者电子邮箱 actet@163.com)

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

综合模块化航空电子；分区；驻留应用；统一建模语言；资源分配

0 引言

在综合模块化航空电子(Integrated Modular Avionics, IMA)系统中，各种航电系统功能通过运行在公共计算资源(Common Computing Resources, CCR)上的驻留应用(Hosted Applications, HA)来实现[1]。IMA体系架构改变了以往以传感器为中心的设计方式，减少了设备和模块种类，提高了系统的可靠性和稳定性，同时便于升级维护，降低了航电系统全生命周期的成本，已经在现代航空电子系统中得到了广泛的应用[2]。……