航空文献资源库

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

民用飞机综合化航电系统驻留应用验证技术研究: 作者： 陈福郭庆段海军董延军 来源： 信息通信 年份： 2017 文献类型： 期刊 关键词： 验证 IMA 驻留应用; 描述： 民用飞机综合化航电系统采用了满足ARINC653标准的分区操作系统,来自多家不同供应商的应用软件需要集成到同一个IMA平台上运行,实现资源高度共享、数据高度融合和软件高度密集,对机载驻留应用的验证能力提出了很高的要求。针对此问题,文章研究并提出了民用飞机综合化航电系统驻留应用验证的策略、模型与方法,具有较强的工程应用价值。

基于Simulink的航空发动机导叶执行机构实时模型建立: 作者： 施志坚 来源： 科技视界 年份： 2018 文献类型： 期刊 关键词： 系统安全性评估 IMA 组合失效; 描述： 模块综合化航电系统(IMA)是民用飞机的重要机载系统之一,其安全性可靠性与飞机安全密切相关。本文提出一种IMA组合失效安全性分析方法,采用直接影响分析和多轮次间接影响分析的思路,提高了IMA安全性综合评估的正确性和完整性。

VxWorks653在综合模块化航空电子系统中的应用研究: 作者： 梅云华 来源： 信息技术与信息化 年份： 2022 文献类型： 期刊 关键词： IMA 航空电子 VxWorks653; 描述： 综合模块化的航空电子系统架构，具有硬件模块通用化程度高、系统应用灵活性好、功能可靠性高等特点，已逐渐取代分立式、联合式的航电系统架构，成为当前航电系统设计的主要架构。VxWorks653 操作系统符合ARINC653 规范要求，采用功能分区的方式，实现了航空电子系统中多个功能在同一硬件平台上的高度集成和可靠运行，满足航空电子系统的高集成度、高可靠性的要求，适用于综合模块化的航电系统设计。基于VxWorks653的工作原理，通过实验测试的方式，对 VxWorks653 的硬件资源需求和功能分区设计特点进行分析，总结了在综合模块化航空电子系统中应用VxWorks653的设计准则，最后，给出了一个综合模块化航空电子系统中的VxWorks653的应用实例，为工程应用设计提供参考。

综合模块化航空电子多约束分区调度方法: 作者： 杨骏峰李峭 来源： 电子测量技术 年份： 2017 文献类型： 期刊 关键词： 分区约束条件调度图论 IMA SMT工具航空电子; 描述： 在综合模块化航空电子系统(integrated modular avionics,IMA)中,采用严格的空间和时间分区管理(partitioning)保证同一个模块上运行的不同应用可以共享处理资源。根据系统硬件资源和应用的要求,定义分区的多类型约束条件,使得分区到在各个模块上的分配和时分访问调度成为复杂的组合优化问题。通过将分区分配的预处理与满足性模理论(satisfiability modulo theories,SMT)求解调度表的方法相互结合,可以减少断言式和分区调度时刻变量的数量,提高求解效率;其中,预处理过程采用最大独立团算法,随后将剩余的分区约束条件转换成SMT工具可识别的逻辑表达式,形式化求解得到各个分区的调度时刻。通过规模不同的算例,验证了该方法可行性,并说明预处理过程对于快速判断满足性要求和缩短求解时间的好处。

< 1 >