Conception orientée modèle de logiciels embarqués

Cet ouvrage decrit l’utilisation des principes de « conception orientee modele » dans le domaine aeronautique, et plus specifiquement pour les drones civils (UAV : Unmanned Aerial Vehicle). Il concerne la creation d’un systeme embarque qui permet aux drones de realiser une communication ad hoc au sein d’une flotte de drones. Conception orientee modele de logiciels embarques developpe une methodologie originale pour le prototypage rapide dont les differents outils necessaires a sa mise en oeuvre sont presentes a travers un exemple de developpement de systeme embarque afin de permettre aux lecteurs interesses de mettre en oeuvre cette approche. Les avantages de cette methode sont defendus notamment en matiere de gain de temps pour les phases de verification et de validation formelle pour contribuer a la certification du systeme UAS (Unmanned Aerial System), l’enjeu etant de concevoir, valider et tester un nouveau protocole de routage securise developpe pour le contexte des communications au sein d'UAV.