航空文献资源库

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

基于约束规划的航空电子系统任务分配与调度方法: 作者： 曾清华 杨志斌 周勇 来源： 小型微型计算机系统 年份： 2024 文献类型： 期刊 关键词： 约束规划综合模块化航空电子系统任务分配与调度多核处理器; 描述： 随着综合模块化航空电子系统(Integrated Modular Avionics, IMA)对计算性能要求的日趋提高，既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度主要基于手工方式，较少考虑多核环境下共享资源竞争带来的时间延迟，并且当系统更新时需要重新编排，十分耗时耗力.本文提出一种基于约束规划(Constraint Programming, CP)的航空电子系统任务自动化分配与调度方法.首先，给出了多核环境下任务最坏执行时间(WCET)的分析方法；其次，给出了基于CP的任务分配和调度方法；最后，设计与实现了原型工具CP4IMA,并基于ARINC653操作系统平台进行案例分析，验证了本文所提方法的有效性.

面向ARINC653操作系统的综合化航空电子软件代码自动生成方法: 作者： 凌仕翔 杨志斌 周勇 来源： 计算机科学 年份： 2024 文献类型： 期刊 关键词： AADL ARINC653操作系统综合化航空电子系统代码自动生成; 描述： 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

面向ARINC653操作系统的综合化航空电子软件代码自动生成方法: 作者： 凌仕翔 杨志斌 周勇 来源： 计算机科学 年份： 2024 文献类型： 期刊 关键词： AADL ARINC653操作系统综合化航空电子系统代码自动生成; 描述： 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

< 1 >