Cet ouvrage propose une méthodologie qui permet de prototyper

rapidement un système avionique, en considérant dès le départ

les aspects de certification de la solution produite.

Cette méthode tire parti des approches de conception orientée

modèle ainsi que de l'utilisation des méthodes formelles pour la

validation de ces systèmes. De plus, l'utilisation d'outils de

génération automatique de code logiciel à partir de modèles

permet de réduire les phases de développement mais également

de tests nécessaires à la finalité des solutions.

Ce titre offre un panorama des approches orientées modèle telles

qu'elles sont utilisées dans le domaine aéronautique. Il introduit

ensuite une méthodologie originale et adaptée au domaine des

systèmes embarqués dans l'aéronautique. Enfin, il illustre

l'utilisation de cette méthode au travers d'un cas d'étude pour la

conception, la mise en oeuvre et le test d'un routeur aéronautique

de nouvelle génération.