Model Driven Development for Embedded Software —— Application to Communications for Drone Swarm

----- 嵌入式软件的模型驱动开发：无人机通信应用

ISBN: 9781785482632 出版年：2018 页码：185 Maxa, Jean-Aime Mahmoud, Mohamed Slim Ben Larrieu, Nicolas ISTE Press - Elsevier_RM

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.