IMA操作系统的分区调度研究

摘要

综合模块化航空电子(Integrated Modular Avionics,IMA)系统中分区功能对于飞机综合化程度及安全性的提高具有重大意义.为保证飞机执行任务期间时间分配的合理性与资源的有效利用,以单调速率调度(Rate-monotonic Scheduling,RMS)算法为基础对分区内任务进行调度研究.采用基于有限状态机理论的事件驱动系统建模工具stateflow 对IMA系统中时间分区及分区内任务调度进行模型建立与仿真,验证了分区任务调度执行期间任务严格的时间特性以及系统安全性.