Loading…

Model-driven development for embedded software : application to communications for drone swarm /

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Maxa, Jean-Aim�e (Author), Ben Mahmoud, Mohamed Slim (Author), Larrieu, Nicolas (Author)
Format: Electronic eBook
Language:Inglés
Published: London, UK ; United States : ISTE Press Ltd, 2018.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Chapter 1. State of the Art of Model-driven Development (MDD) as Applied to Aeronautical Systems; 1.1. Principle of MDD; 1.2. Use in avionics; 1.3. The case of drones (UAS
  • Unmanned Aerial Systems); Chapter 2. Original Rapid Prototyping Method for Embedded Systems for UAVs; 2.1. Using models to auto-generate a system; 2.2. Formal verification of models; 2.3. Advantages of MDD (Model-driven Development) methodologies.
  • 2.4. MDD contributions to UAS certification2.5. Choice of tools for applying MDD methodology; 2.6. AVISPA: a formal verification tool for security protocols; 2.7. The need for verification; 2.8. Additional tools: simulation and experimentation; Chapter 3. Application to Communications in a Drone Fleet; 3.1. Introduction; 3.2. Cooperating unmanned aeronautical systems; 3.3. Ad hoc communications architecture for a drone fleet; 3.4. Routing protocols in an ad hoc drone network; 3.5. Security in an ad hoc drone network.
  • 3.6. Designing a new secure routing protocol for UAANETs (SUAP: Secure UAANET Routing Protocol)3.7. Using the AVISPA tool to verify the security properties of the SUAP protocol; 3.8. Implementation of the SUAP protocol; 3.9. Validation of the SUAP protocol by performance evaluation.