AN APPROACH FOR VERIFICATION OF ARINC 653 TIME PARTITIONING CONCEPT

The ARINC 653 specification defines standardized interfaces between a partitioning RealTime Operating System (RTOS) and application programs that implement the safety-critical and avionics systems. ARINC 653 requires spatial and temporal isolation between independent executing avionics applications, a.k.a. partitions. Temporal partitioning ensures that each partition is executed by the processor only within its predefined execution interval.