Développement du logiciel critique embarqué sur les différents calculateurs des aéronefs.
Langages C ou ADA en environnement temps réel embarqué, norme DO178B.
