As the ARINC653 operating system standard is focused on extremely large systems, we see the benefits on smaller microcontrollers as well. In consequence, we have created the Partitioning System.
Partitioning System Overview
The figure shows a simple setup with three different applications (called partitions). Each partition is an own image and is independent of each other partition. The guaranteed runtime is configurable in phase tables during system design.