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

Constraint Programming Based Task Assignment and Scheduling Approach for Integrated Avionics Systems

作　　者：曾清华 杨志斌[1,2] 周勇 ZENG Qinghua;YANG Zhibin;ZHOU Yong(School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Key Laboratory of Safety-critical Software,Ministry of Industry and Information Technology,Nanjing 211106,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106 [2]高安全系统的软件开发与验证技术工信部重点实验室,南京211106

出　　处：《小型微型计算机系统》2024年第11期2576-2585,共10页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(62072233)资助;国防基础科研项目(JCKY2020205C006)资助;航空科学基金项目(201919052002)资助;南京航空航天大学科研与实践创新计划项目(xcxjh20221602)资助.

摘　　要：随着综合模块化航空电子系统(Integrated Modular Avionics,IMA)对计算性能要求的日趋提高,既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度主要基于手工方式,较少考虑多核环境下共享资源竞争带来的时间延迟,并且当系统更新时需要重新编排,十分耗时耗力.本文提出一种基于约束规划(Constraint Programming,CP)的航空电子系统任务自动化分配与调度方法.首先,给出了多核环境下任务最坏执行时间(WCET)的分析方法;其次,给出了基于CP的任务分配和调度方法;最后,设计与实现了原型工具CP4IMA,并基于ARINC653操作系统平台进行案例分析,验证了本文所提方法的有效性.As Integrated Modular Avionics(IMA)systems increasingly demand computing power,multi-core processors that offer increased computing power while reducing the size,weight,and power consumption of electronic devices will find widespread use in safety-critical areas.At present,the task assignment and scheduling of avionics systems are mainly based on manual methods,and the time delay caused by the competition for shared resources in the multi-core environment is less considered.Moreover,when the system is updated,it needs to be rearranged,which is very time-consuming and labor-intensive.This paper presents a method for automating task assignment and scheduling based on Constraint programming(CP).Firstly,the task WCET analysis method in multi-core environment is given.Secondly,the task assignment and scheduling algorithm based on CP is given.Finally,the prototype tool CP4IMA is designed and implemented,and the case analysis is carried out based on the ARINC653 operating system to illustrate the effectiveness of the proposed method.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]