L’ouvrage décrit les principes de conception orientée modèle, utilisé dans le domaine aéronautique, en particulier pour le drone (véhicule aérien sans pilote). Le livre se concentre sur la conception d'un système embarqué pour les drones afin d’effectuer une communication ad-hoc au sein d'une flotte de drones. Dans ce contexte, une méthodologie originale pour le prototypage rapide des systèmes embarqués est présentée. Cette approche permet de gagner du temps pour les phases de vérification et de validation formelle, contribuant ainsi à la certification du système aérien sans pilote (SAMU).

Le livre traite également des phases de vérification plus traditionnelles. Elles doivent être effectuées pour vérifier l'exactitude du système. Cette évaluation est réalisée en simulations et par expérimentations réelles. Les différents outils nécessaires à la mise en œuvre de cette méthodologie sont décrits pour permettre au lecteur de mettre en œuvre indépendamment. Enfin, pour illustrer la contribution de cette méthodologie originale, un exemple de développement de systèmes embarqués est présenté dans lequel les différentes phases de la méthodologie sont expliquées pour concevoir, valider et tester un nouveau protocole de routage sécurisé développé pour communications au sein d'une flotte de drones.

 En trois points clés, l’ouvrage…

• Décrit les principes de conception orientée modèle, utilisé dans le domaine aéronautique
• Présente une méthodologie originale de prototypage rapide de systèmes embarqués
• Présente un mode de développement pour les systèmes embarqués dans les différentes phases

 L’ouvrage sera bientôt disponible à la bibliothèque de l’ESIROI.