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

Maxa, Jean-aime; Ben Mahmoud, Mohamed Slim; Larrieu, Nicolas

Rilegato

ISBN 10: 1785482637 ISBN 13: 9781785482632

Casa editrice: Elsevier Science Ltd, 2018

Riassunto

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.

Su questo libro

Informazioni sull?autore

Jean-Aime 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

Dettagli dell'edizione

• Editore: Elsevier Science Ltd
• Data di pubblicazione: 2018
• Lingua: Inglese
• ISBN 10: 1785482637
• ISBN 13: 9781785482632
• Rilegatura: Copertina rigida
• Numero edizione: 1
• Numero di pagine: 167
• Contatto del produttore: non disponibile
• Persona responsabile: LSWR Group; b.criscuolo@lswr.it; ; Via Spadolini, 7; Milano; Italia