Scheduling Independent Partitions in Integrated Modular Avionics Systems

PLoS One. 2016 Dec 12;11(12):e0168064. doi: 10.1371/journal.pone.0168064. eCollection 2016.

Abstract

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. All partitions in an IMA system should be integrated together according to a proper schedule such that their deadlines will be met even under the worst case situations. In order to help provide a proper scheduling table for all partitions in IMA systems, we study the schedulability of independent partitions on a multiprocessor platform in this paper. We firstly present an exact formulation to calculate the maximum scaling factor and determine whether all partitions are schedulable on a limited number of processors. Then with a Game Theory analogy, we design an approximation algorithm to solve the scheduling problem of partitions, by allowing each partition to optimize its own schedule according to the allocations of the others. Finally, simulation experiments are conducted to show the efficiency and reliability of the approach proposed in terms of time consumption and acceptance ratio.

MeSH terms

  • Appointments and Schedules
  • Aviation*
  • Computer Heuristics
  • Computer Simulation
  • Computer Systems*
  • Systems Integration

Grants and funding

The authors received no specific funding for this work.