基于约束规划的航空电子系统任务分配与调度方法

作者：曾清华; 杨志斌; 周勇

来源：小型微型计算机系统, 2023, 1-11.

• 综合模块化航空电子系统
• 多核处理器
• 任务分配与调度
• 约束规划

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

• 单位
  南京航空航天大学