全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
- 民用飞机综合化航电系统驻留应用验证技术研究
- 作者： 陈福 郭庆 段海军 董延军 来源： 信息通信 年份： 2017 文献类型 ： 期刊 关键词： 验证 IMA 驻留应用
- 描述： 民用飞机综合化航电系统采用了满足ARINC653标准的分区操作系统,来自多家不同供应商的应用软件需要集成到同一个IMA平台上运行,实现资源高度共享、数据高度融合和软件高度密集,对机载驻留应用的验证能力提出了很高的要求。针对此问题,文章研究并提出了民用飞机综合化航电系统驻留应用验证的策略、模型与方法,具有较强的工程应用价值。
- 综合模块化航空电子分区配置启动机制
- 作者： 王运盛 雷航 来源： 计算机应用 年份： 2017 文献类型 ： 期刊 关键词： 资源分配 统一建模语言 综合模块化航空电子 分区 驻留应用
- 描述： 为了解决综合模块化航空电子(IMA)系统资源分配问题并明确分区启动时间,以VxWorks 653分区操作系统为研究实例,针对分区配置和启动过程采用统一建模语言(UML)建立了包括类图和时序图在内的模型。该模型深入地分析了分区配置和启动机制,说明了分区配置在资源分配以及操作系统编译和分区初始化过程中的作用,阐述了分区"冷启动"和"热启动"模式的差别,并建立了实验平台测试两种启动模式的启动时间,测试结果显示分区冷启动和热启动的时间分别为148 ms和8.5 ms,进而提出了这两种分区启动模式的应用场景以及分区配置和应用程序软件启动初始化设计的策略。例如在建立分区主时间框架和健康监控策略过程中应确定分区启动的方式并充分考虑分区启动时间,这些设计策略也适用于其他高安全性应用环境中分区系统的设计。