Research on Schedulability of Partition Scheduling for IMA
Integrated modular avionics (IMA) is widely adopted by avionics industry to achieve substantial cost reduction in the development, operation and maintenance of airplanes. To meet recommended realtime and fault-tolerance requirements of IMA software architecture, the operating system (OS) should support spatial and temporal partitioning in order to integrate different applications. However, the schedulability test of partition scheduling is undetermined. We regard non-partition scheduling time as a pseudo-task with highest priority and give the schedulability test of partition scheduling based on rate monotonic (RM) algorithm. With the test, the scheduling requirement can be conducted. Through an example, the computing of scheduling parameters is proposed and three cyclic scheduling strategies at the OS level are constructed. The schedulability test can be used to validate the scheduling parameters of temporal partitioning in IMA.
avionics software temporal partitioning schedulability rate monotonic algorithm integrated modular avionics
Ming Wan Song Tian
Institute of Engineering Air Force Engineering University Xian, China
国际会议
杭州
英文
702-705
2011-10-28（万方平台首次上网日期，不代表论文的发表时间）