Model-based partition scheduling of integrated modular avionics systems using genetic algorithm
{{output}}
This paper proposes a model-based method for partition optimization in Integrated Modular Avionics (IMA) systems that comply with the ARINC 653 standard. It is a complex combinatorial optimization problem to schedule a variety of real-time partitions to achiev... ...
