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

Saved in:
Bibliographic Details
Author / Creator:Maxa, Jean-Aimé.
Imprint:London : ISTE, 2018.
Description:1 online resource
Language:English
Subject:Model-driven software architecture.
Computer software -- Development.
COMPUTERS / Software Development & Engineering / General.
Computer software -- Development.
Model-driven software architecture.
Electronic books.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11614398
Hidden Bibliographic Details
Other authors / contributors:Ben Mahmoud, Mohamed Slim.
Larrieu, Nicolas.
ISBN:9780081023891
0081023898
9781785482632
Notes:Online resource; title from PDF title page (EBSCO, viewed April 4, 2018)
Summary: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.
LEADER 03450cam a2200457Ii 4500
001 11614398
005 20180526095119.2
006 m o d
007 cr cnu---unuuu
008 180403s2018 enk o 000 0 eng d
003 ICU
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d N$T  |d COO  |d OPELS  |d OCLCF 
020 |a 9780081023891  |q (electronic bk.) 
020 |a 0081023898  |q (electronic bk.) 
020 |z 9781785482632 
035 |a (OCoLC)1030303161 
050 4 |a QA76.76.D47 
072 7 |a COM  |x 051230  |2 bisacsh 
049 |a MAIN 
100 1 |a Maxa, Jean-Aimé.  |0 http://id.loc.gov/authorities/names/no2018141550 
245 1 0 |a Model-driven development for embedded software :  |b application to communications for drone swarm. 
264 1 |a London :  |b ISTE,  |c 2018. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
588 0 |a Online resource; title from PDF title page (EBSCO, viewed April 4, 2018) 
520 |a 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. 
650 0 |a Model-driven software architecture.  |0 http://id.loc.gov/authorities/subjects/sh2008001499 
650 0 |a Computer software  |x Development.  |0 http://id.loc.gov/authorities/subjects/sh85029535 
650 7 |a COMPUTERS / Software Development & Engineering / General.  |2 bisacsh 
650 7 |a Computer software  |x Development.  |2 fast  |0 http://id.worldcat.org/fast/fst00872537 
650 7 |a Model-driven software architecture.  |2 fast  |0 http://id.worldcat.org/fast/fst01745121 
655 4 |a Electronic books. 
700 1 |a Ben Mahmoud, Mohamed Slim.  |0 http://id.loc.gov/authorities/names/nb2013023768 
700 1 |a Larrieu, Nicolas.  |0 http://id.loc.gov/authorities/names/no2014092526 
856 4 0 |u https://www.sciencedirect.com/science/book/9781785482632  |y Elsevier 
903 |a HeVa 
929 |a oclccm 
999 f f |i 82d6f5d8-c5d1-5a84-b7a3-3f417f5d8c2c  |s fb06e9e2-4816-5511-b972-693f7031d654 
928 |t Library of Congress classification  |a QA76.76.D47  |l Online  |c UC-FullText  |u https://www.sciencedirect.com/science/book/9781785482632  |z Elsevier  |g ebooks  |i 10962298