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