Conception orientée modèle de logiciels embarqués : Application à la communication dans le cadre d’une flotte de drones

Abstract : 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.
Type de document :
Ouvrage (y compris édition critique et traduction)
ISTE, 2018, 978-1-78405-445-8
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-01799494
Contributeur : Laurence Porte <>
Soumis le : jeudi 24 mai 2018 - 18:06:30
Dernière modification le : mardi 29 mai 2018 - 17:35:38

Identifiants

  • HAL Id : hal-01799494, version 1

Collections

Citation

Jean-Aimé Maxa, Mohamed-Slim Ben Mahmoud, Nicolas Larrieu. Conception orientée modèle de logiciels embarqués : Application à la communication dans le cadre d’une flotte de drones. ISTE, 2018, 978-1-78405-445-8. 〈hal-01799494〉

Partager

Métriques

Consultations de la notice

33