ARINC653 threads with channel example

You need to install a Flash Player to watch this video!


In this demonstration, we automatically implement an ARINC653 system by an Model-Based development process. In particular we:

  1. Model the system using the TOPCASED modeling framework. We define the architecture using the Architecture Analysis and Design Language
  2. Validate the architecture using Ocarina/Real
  3. Automatically generate the code from the AADL models using Ocarina
  4. Compiles the generated code against POK
  5. Simulate the system using an emulator like QEMU.

Implemented architecture

AADL model of the architecture The architecture is depiceted in this AADL model. We have one kernel with two runtime and one main memory (RAM) divided in different memory segments. Each partition is bound to a memory segment and a partition runtime.

In this example, we introduce a connection between these two partitions. We can also check that no security leak is introduced with this connection according to the security levels of the partitions.

Then, we can perform some verification on this model. Are the memory requirements correct or not ? Is the system schedulable ? All these verification are issued at model-level with Ocarina/REAL.

The Ocarina code generation tool automatically creates the implementation code that configures the kernel and the partitions. This code is compiled against the POK runtime and create a bootable binary.

Reproduce this example

This example is included with each release of POK, in the directory arinc653-queueing.

Help, need support ?

Check out our support page.

demoarincmiddlewarequeueing.txt · Last modified: 2011/01/31 20:47 by julien