Dans l’industrie aéronautique, le Model Based Design (MBD), la génération automatique de code et le test basé sur modèles sont utilisés pour le développement de logiciel embarqué depuis quelques années. On peut faire le parallèle avec l’évolution de ces techniques au sein du monde automobile, où elles sont maintenant bien établies et ont démontré leur utilité dans un