Designing ARINC653 Partition Constrained Scheduling for Secure Real Time Embedded Avionics
Cheddar: a flexible real time scheduling framework