Integrated Modular Avionics (IMA) platforms enable developers to integrate multiple discrete applications of different safety-criticality levels ...