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).

Copyright 2009 POK Team