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

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

https://hal-enac.archives-ouvertes.fr/hal-01741205
Contributeur : Laurence Porte <>
Soumis le : jeudi 22 mars 2018 - 18:05:50
Dernière modification le : jeudi 5 avril 2018 - 10:17:12

Identifiants

  • HAL Id : hal-01741205, version 1

Collections

Citation

Jean-Aimé Maxa, Mohamed-Slim Ben Mahmoud, Nicolas Larrieu. Model-driven Development for Embedded Software Application to Communications for Drone Swarm . ISTE, 2018, 9781785482632. 〈http://www.iste.co.uk/book.php?id=1306〉. 〈hal-01741205〉

Partager

Métriques

Consultations de la notice

115