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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Authors: | , , |
| 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.