Model-driven Development for Embedded Software Application to Communications for Drone Swarm - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2018

Model-driven Development for Embedded Software Application to Communications for Drone Swarm

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

Résumé

This book describes the use of a model-driven development approach in the aeronautical field and, more specifically, for Unmanned Aerial Vehicle (UAV) software design. It concerns the design of embedded software for UAVs that allows for wireless ad hoc communication within a UAV swarm. In this context, an original methodology for rapid prototyping of embedded systems will be presented. This approach holds time-saving advantages for system verification and for formal verification which contribute to the certification of the UAS (Unmanned Aerial System). The various tools necessary for the implementation of this methodology will be described in order to allow interested readers to implement the approach. Finally, an example of embedded system development for UAVs will be presented in which the different phases of the methodology will be explained. These phases consist of the design, validation and evaluation of a new secure routing protocol for communication within UAV swarms.
Fichier non déposé

Dates et versions

hal-01741205 , version 1 (22-03-2018)

Identifiants

  • HAL Id : hal-01741205 , version 1

Citer

Jean-Aimé Maxa, Mohamed-Slim Ben Mahmoud, Nicolas Larrieu. Model-driven Development for Embedded Software Application to Communications for Drone Swarm . ISTE, 2018, 9781785482632. ⟨hal-01741205⟩

Collections

ENAC TELECOM
225 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More