La norme utilisée pour l'aéronautique est la DO-178B, j'imagine que le logiciel en question est de niveau A, bonne lecture
Pour la compilation, il faut de toutes façons pouvoir assurer la traçabilité jusqu'au niveau objet, et c'est fait à la main si le compilo n'est pas certifié.