
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 real-time 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.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
