航空电子双层任务分区调度设计  

Two-level task partition scheduling design in integrated modular avionics

作　　者：何锋[1] 宋丽茹[1] 熊华钢[1] 

机构地区：[1]北京航空航天大学电子信息工程学院,北京100191

出　　处：《北京航空航天大学学报》2008年第11期1364-1368,共5页Journal of Beijing University of Aeronautics and Astronautics

基　　金：国家自然科学基金资助项目(10477005)

摘　　要：针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.To solve the real-time partition schedule problem in the integrated modular avionics, a two-level hierarchical schedule model was proposed in which the operation system adopts round-robin scheduling strategy and each individual partition adopts dynamic priority scheduling strategy. For the schedulablity analysis problem, the system consume time was calculated based on the task demand bound function by using roundrobin time and partition task performance rate as the key parameters. From the calculated system consume time, the partition schedulable judging condition was obtained. The schedulablity calculation bound was also developed by observing the task each implementation with the releasing jitter. Through studying the relationship between the round length and the task periods, the maximum task load upper limit utilization were developed under the condition that the partition was schedulable. For the partition design problem, the partition scheduling key parameters analytical model was established. Then the partition designable judging condition was got. Finally, a practice example was given.

关 键 词：航空电子 分区调度 双层任务调度模型 可调度分析 分区设计 

分 类 号：V247[航空宇航科学与技术—飞行器设计] TP316[自动化与计算机技术—计算机软件与理论]