In this demonstration, we automatically implement an ARINC653 system by an Model-Based development process. In particular we:
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.
This example is included with each release of POK, in the directory arinc653-queueing.
Check out our support page.