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