Conception orientée modèle de logiciels embarqués - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2018

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

(1) , (2) , (1)
1
2
Jean-Aimé Maxa
Mohamed-Slim Ben Mahmoud
  • Fonction : Auteur
  • PersonId : 959613
Nicolas Larrieu

Résumé

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.
Fichier non déposé

Dates et versions

hal-01799494 , version 1 (24-05-2018)

Identifiants

  • HAL Id : hal-01799494 , version 1

Citer

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⟩
117 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More