Designing ARINC653 Partition Constrained Scheduling for Secure Real Time Embedded Avionics
ARINC 653 role in Integrated Modular Avionics (IMA)