We are working for many years in the aviation industry. Starting from primary and secondary flight controls up to intelligent actuators and cabin management systems. As different as the projects have been, we recognize common requests:
Working on a research project of Integrated Modular Avionics (IMA), we have contact with the operating system standard: ARINC653. This standard describes such a separation of applications. 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.
The figure shows a simple setup with three different applications (called partitions). Each partition is a single binary image and is independent of each other partition. The guaranteed runtime is configurable in phase tables during system design.
Each application is developed independently of other applications.
Specify the guaranteed timing of applications during system design.
For exchanging data, the system provides inter-partition communication.
The open architecture allows you to expand the core system with so-called Service Calls (SC).
As this system is used in aerospace systems, there are very limited benefits from pre-certification. Therefore, we decide to take the guided project certification approach.
The system is used for the separation of multiple design assurance levels (DAL).
You get prepared artifacts for certification according to DO-178C.
The Partitioning System is ported to many architectures. The certification in a project depends on the CPU core of the processor and the cross-compiler environment. For some CPU core & compiler combinations, the document set is available. In addition to the listed chip vendor device families, all devices with the following Arm CPU Cores are supported:
Let's talk about your upcoming challenges. We are happy to discuss with you the potential use of the Partitioning System and possible software architectures.