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

Task Scheduling of Partition Operating System for Integrated Modular Avionics

作　　者：禚真福[1] 樊晓光[1] 

机构地区：[1]空军工程大学航空航天工程学院,西安710038

出　　处：《科学技术与工程》2013年第21期6279-6283,6289,共6页Science Technology and Engineering

基　　金：总装预研项目(9140A17020307JB3201)资助

摘　　要：针对遵循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.

关 键 词：实时系统 时间分区 综合模块化航空电子 分区系统 

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