综合模块化航空电子分区配置启动机制
来源：计算机应用杂志2017年第6期北京时间：
作者：王运盛, 雷航
单位：电子科技大学 信息与软件工程学院, 成都 611731
摘要：为了解决综合模块化航空电子（IMA）系统资源分配问题并明确分区启动时间，以VxWorks 653分区操作系统为研究实例，针对分区配置和启动过程采用统一建模语言（UML）建立了包括类图和时序图在内的模型。该模型深入地分析了分区配置和启动机制，说明了分区配置在资源分配以及操作系统编译和分区初始化过程中的作用，阐述了分区"冷启动"和"热启动"模式的差别，并建立了实验平台测试两种启动模式的启动时间，测试结果显示分区冷启动和热启动的时间分别为148 ms和8.5 ms，进而提出了这两种分区启动模式的应用场景以及分区配置和应用程序软件启动初始化设计的策略。例如在建立分区主时间框架和健康监控策略过程中应确定分区启动的方式并充分考虑分区启动时间，这些设计策略也适用于其他高安全性应用环境中分区系统的设计。
关键词：综合模块化航空电子,分区,驻留应用,统一建模语言,资源分配
基金资助：国家科学技术部国际科技合作专项（2015DFA70150）。
