Embedded Office Products

Partitioning System

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:

  • Separation of Applications  -  With the separation of applications, we target in detail the separation of safety criticality levels.
  • Guarantee of Runtime Behavior  -  During the guarantee of runtime, we target in parallel the deterministic system timing behavior.
  • Minimize Idle Times  -  The unused guaranteed time of an application is usable by the next application or core application

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.

Partitioning System Overview
Partitioning System Overview

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.

Software Separation

Application Separation

In contrast to the Flexible Safety RTOS where we monitor the temporal domain, the Partitioning System will control the temporal domain.

Applications

Each application is developed independently of other applications.

  • Bare metal application
  • Application with included RTOS
  • Integration of any RTOS is possible
  • System core extension allowed

Runtime Control

Specify the guaranteed timing of applications during system design.

  • Unlimited number of timings
  • Switch timings during runtime
  • Monitor runtime of applications

Queued Communication

For exchanging data, the system provides inter-partition communication.

  • Queues between applications
  • The system core extension can use this communication, too
  • Each endpoint gets a unique identifier

System Extension

The open architecture allows you to expand the core system with so-called Service Calls (SC).

  • Unlimited number of user SCs
  • SCs are interruptible by default
  • Non-interruptible SCs possible

Safety Certification

Partitioning System

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.

Mixed Criticality

The system is used for the separation of multiple design assurance levels (DAL).

  • Multiple DALs on a single device
  • Reuse your maintenance partitions
  • Co-development of critical and non-critical partitions

Prepared Certification

You get prepared artifacts for certification according to DO-178C.

  • Artifacts for DO-178C up to DAL-A
  • Embedded Office guidance and assistance during assessment

Supported Hardware

Broad Support

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:

  • ARM9 Microprocessors
  • Cortex-A8, A9 Microprocessors
  • Cortex-A53 Microprocessors
NXP Partner
Texas Instruments
Microchip
Xilinx
Renesas

Contact Us

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.