分区操作系统在IMA系统中的任务调度研究

Task Scheduling of Partition Operating System for Integrated Modular Avionics

针对遵循ARINC 653接口规范的航空电子分区系统实时性能不强这一问题,借鉴DO—178B分级定义软件安全性的思路和RTLinux的双核架构设计思想,提出了一种新的分区调度机制,即根据分区程序的关键度、紧迫度和完成度,动态设置、调整分区优先级,允许分区实时抢占调度。策略扩展了时间分区的概念,增强了系统的调度灵活性,提高了系统实时性能,不足之处是会弱化系统的可预测性。

ARINC specification 653-based partitioning systems running on avionics is not real-time enough.To solve it,a new partition scheduling mechanism is presented based on the notion of software safety level defined in DO—178B and the dual-kernel thought of RTLinux.According to the mechanism,a partition can be pre-empted by another with a higher priority,and the priority of each partition is dynamically set and altered with the partition’s criticality,pressure and completion.So it’s more flexible and real-time,but it may also weaken the predictability of partitioning system.