Mohamed Slim Ben Mahmoud

Nicolas Larrieu

Jean-Aime Maxa

Model-driven Development for Embedded Software: Application to Communications for Drone Swarm describes the principles of model-oriented design used in the aeronautical field, specifically for the UAV (Unmanned Aerial Vehicle). The book focuses on designing an embedded system for drones to carry out ad hoc communication within a drone fleet. In this context, an original methodology for rapid prototyping of embedded systems is presented. This approach saves time for the verification and formal validation phases, contributing to certification of the Unmanned Aerial System (UAS). The book also addresses the more traditional verification phases that must be performed to verify accuracy of the system. This evaluation is carried out in simulation and by real experimentation. The various tools necessary for the implementation of this methodology are described to allow the reader to be able to implement independently. Finally, to illustrate the contribution of this original methodology, an example of embedded system development is presented in which the different phases of the methodology are explained to conceive, validate and test a new secure routing protocol developed for communications within a fleet of drones. Describes the principles of model-oriented design used in the aeronautical field Presents an original methodology of rapid prototyping of embedded systems Presents a mode of development for embedded systems in the different phases

Application to Communications for Drone Swarm

Model-driven Development for Embedded Software

Alain Pirovano

Christophe Guerber

José Radzik

This book deals with air-ground aeronautical communications. The main goal is to give the reader a survey of the currently deployed, emerging and future communications systems dedicated to digital data communications between the aircraft and the ground, namely the data link. Those communication systems show specific properties relatively to those commonly used for terrestrial communications. In this book, the system architectures are more specifically considered from the access to the application layers as radio and physical functionalities have already been addressed in detail in others books. The first part is an introduction to aeronautical communications, their specific concepts, properties, requirements and terminology. The second part presents the currently used systems for air ground communications in continental and oceanic area. The third part enlightens the reader on the emerging and future communication systems and some leading research projects focused on this scope. Finally, before the conclusion, the fourth part gives several main challenges and research directions currently under investigation.

Mohamed Slim Ben Mahmoud

Books

Your next favorite book is out there