Conception orientée modèle de logiciels embarqués : application à la communication dans le cadre d'u

Cet ouvrage décrit l'utilisation des principes de « conception orientée modèle » dans le domaine aéronautique, et plus spécifiquement pour les drones civils (UAV : Unmanned Aerial Vehicle). Il concerne la création d'un système embarqué qui permet aux drones de réaliser une communication ad hoc au sein d'une flotte de drones.

Conception orientée modèle de logiciels embarqués développe une méthodologie originale pour le prototypage rapide dont les différents outils nécessaires à sa mise en oeuvre sont présentés à travers un exemple de développement de système embarqué afin de permettre aux lecteurs intéressés de mettre en oeuvre cette approche.

Les avantages de cette méthode sont défendus notamment en matière de gain de temps pour les phases de vérification et de validation formelle pour contribuer à la certification du système UAS (Unmanned Aerial System), l'enjeu étant de concevoir, valider et tester un nouveau protocole de routage sécurisé développé pour le contexte des communications au sein d'UAV.