Model-driven Development for Embedded Software

Application to Communications for Drone Swarm

Model-driven Development for Embedded Software

Jean-Aimé Maxa, Consultant
Mohamed Slim Ben Mahmoud, ALTRAN Technologies
Nicolas Larrieu, Ecole Nationale de l'Aviation Civile, France

ISBN : 9781785482632

Publication Date : February 2018

Hardcover 184 pp

130.00 USD



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.


1. State of the Art of Model-driven Development (MDD) as Applied to Aeronautical Systems.
2. Original Rapid Prototyping Method for Embedded Systems for UAVs.
3. Application to Communications in a Drone Fleet.

About the authors

Jean-Aimé Maxa is a Doctor of Computer Science and Embedded Systems. His research focuses on communication security architecture for mobile ad hoc networks and model-driven developments for critical embedded software.

Mohamed Slim Ben Mahmoud is a cybersecurity architect at ALTRAN Technologies. He has co-authored more than 20 scientific publications for international journals, books and conferences, and is an expert regarding the CNS Systematic cybersecurity cluster.

Nicolas Larrieu is a Doctor in Computer Science and a Full Professor at the TELECOM research team for ENAC. He is an expert in secure communication architectures, civil aviation networks, Intrusion Detection Systems for environments with strong constraints and embedded systems.