Integrated Modular Avionics (IMA) are the state-of-the-art approach for integrating mixed-criticality applications on shared hardware in aircraft. While IMA allow avionic systems to be compact, lightweight, power efficient, and cost-efficient, the number of integrated functions, future upgrades and ...