Terms

$\bullet$

AADL: AADL stands for Architecture Analysis and Design Language. It provides modeling facilities to represent a system with their properties and requirements.

$\bullet$

Leon3: A processor architecture developped by the European Space Agency.

$\bullet$

Ocarina: AADL compiler developed by TELECOM ParisTech. It is used by the POK project to automatically generate configuration, deployment and application code.

$\bullet$

PowerPC: Architecture popular in the embedded domain.

$\bullet$

QEMU: A general-purpose emulator that runs on various platforms and emulates different processors (such as INTELx86 or PowerPC).