Schedulability analysis for independent partitions in integrated modular avionics systems

Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. In this paper, we analyze the schedulability of independent partitions and provide proper schedules for multi-core IMA systems. We first calculate the maximum scaling factor, by which the execution times of all partitions can be multiplied without violating the timing requirements of the systems. Then, we use the scaling factor obtained to determine whether all partitions are schedulable and produce a valid allocation for each partition. Finally, simulation experiments are conducted to show the efficiency and reliability of our approach in terms of time consumption and acceptance ratio.