|
|
|
|
| LEADER |
00000cam a2200000Ii 4500 |
| 001 |
11614398 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
180403s2018 enk o 000 0 eng d |
| 005 |
20240510213422.3 |
| 020 |
|
|
|a 9780081023891
|q (electronic bk.)
|
| 020 |
|
|
|a 0081023898
|q (electronic bk.)
|
| 020 |
|
|
|z 9781785482632
|
| 035 |
|
|
|a (OCoLC)1030303161
|
| 035 |
|
9 |
|a (OCLCCM-CC)1030303161
|
| 040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d N$T
|d COO
|d OPELS
|d OCLCF
|
| 049 |
|
|
|a MAIN
|
| 050 |
|
4 |
|a QA76.76.D47
|
| 072 |
|
7 |
|a COM
|x 051230
|2 bisacsh
|
| 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
|
| 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
|
