Two-level task partition scheduling design in integrated modular avionics
-
摘要: 针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.Abstract: 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 round-robin 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.
-
Key words:
- avionics /
- partition scheduling /
- two-level task schedule /
- schedulablity analysis /
- partition design
期刊类型引用(6)
1. 任利娟,闫伟健,陈恪,李堃,于殿明,张广鹏. 机器人几何参数误差识别与补偿方法及实验. 制造技术与机床. 2024(07): 5-11 . 百度学术
2. 姜晓勇,金凡迪,朱炜辰,高鹏,杨克己. 微创手术机器人RCM研究进展. 制造业自动化. 2024(11): 23-29 . 百度学术
3. Hu Shi,Jiajie Li,Lianjie Guo,Xuesong Mei. Control Performance Evaluation of Serial Urology Manipulator by Virtual Prototyping. Chinese Journal of Mechanical Engineering. 2021(01): 41-55 . 必应学术
4. 杨斌. 仿人机器人关节驱动柔性特征自动检测系统. 现代电子技术. 2020(08): 176-178+182 . 百度学术
5. 林前进,杨波,余跃,王成明,蔡彬. 基于变论域模糊控制算法的仿真与FPGA优化实现. 上海航天(中英文). 2020(06): 98-106 . 百度学术
6. 程林云,张雷,宋晓娜. 基于RBF神经网络的机械臂自适应控制方法. 计算机测量与控制. 2019(07): 79-84 . 百度学术
其他类型引用(9)
-

计量
- 文章访问数: 3449
- HTML全文浏览量: 204
- PDF下载量: 1109
- 被引次数: 15