語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Model-driven development for embedde...
~
Maxa, Jean-Aimé,
Model-driven development for embedded software = application to communications for drone swarm /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Model-driven development for embedded software/ Jeane Aimé Maxa, Mohamed Slim Ben Mahmoud, Nicolas Larrieu..
其他題名:
application to communications for drone swarm /
作者:
Maxa, Jean-Aimé,
其他作者:
Larrieu, Nicolas,
出版者:
London, UK ;ISTE Press Ltd, : 2018.,
面頁冊數:
1 online resource (xiii, 167 p.) :ill. :
標題:
COMPUTERS - Software Development & Engineering -
電子資源:
https://www.sciencedirect.com/science/book/9781785482632
ISBN:
9780081023891 (electronic bk.)
Model-driven development for embedded software = application to communications for drone swarm /
Maxa, Jean-Aimé,
Model-driven development for embedded software
application to communications for drone swarm /[electronic resource] :Jeane Aimé Maxa, Mohamed Slim Ben Mahmoud, Nicolas Larrieu.. - London, UK ;ISTE Press Ltd,2018. - 1 online resource (xiii, 167 p.) :ill.
Includes bibliographical references and index.
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.
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.
ISBN: 9780081023891 (electronic bk.)Subjects--Topical Terms:
827557
COMPUTERS
--Software Development & EngineeringIndex Terms--Genre/Form:
554714
Electronic books.
LC Class. No.: QA76.76.D47 / M393 2018
Dewey Class. No.: 005.1
Model-driven development for embedded software = application to communications for drone swarm /
LDR
:03673cam a2200301 a 4500
001
1043047
006
m o d
007
cr cnu---unuuu
008
211216s2018 enka gob 001 0 eng d
020
$a
9780081023891 (electronic bk.)
020
$a
0081023898 (electronic bk.)
020
$a
9781785482632 (hardback)
020
$a
1785482637 (hardback)
035
$a
(OCoLC)1030303161
035
$a
on1030303161
040
$a
N$T
$b
eng
$c
N$T
$d
N$T
$d
COO
$d
OPELS
$d
OCLCF
$d
D6H
$d
QCL
$d
MERER
$d
OCLCQ
$d
EZ9
$d
OCLCQ
$d
U3W
$d
LVT
$d
YDXIT
$d
EBLCP
$d
UKMGB
$d
YDX
$d
S2H
$d
OCLCO
041
0
$a
eng
050
4
$a
QA76.76.D47
$b
M393 2018
082
0 4
$a
005.1
$2
23
100
1
$a
Maxa, Jean-Aimé,
$e
author.
$3
1343889
245
1 0
$a
Model-driven development for embedded software
$h
[electronic resource] :
$b
application to communications for drone swarm /
$c
Jeane Aimé Maxa, Mohamed Slim Ben Mahmoud, Nicolas Larrieu..
260
$a
London, UK ;
$a
United States :
$b
ISTE Press Ltd,
$c
2018.
300
$a
1 online resource (xiii, 167 p.) :
$b
ill.
504
$a
Includes bibliographical references and index.
505
0
$a
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.
505
8
$a
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.
505
8
$a
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.
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.
588
$a
Description based on online resource; title from digital title page (viewed on April 21, 2020).
650
7
$a
COMPUTERS
$x
Software Development & Engineering
$x
General.
$2
bisacsh
$3
827557
650
0
$a
Computer software
$x
Development.
$3
561598
650
0
$a
Model-driven software architecture.
$3
681472
655
0
$a
Electronic books.
$2
local
$3
554714
700
1
$a
Larrieu, Nicolas,
$e
author.
$3
1343891
700
1
$a
Ben Mahmoud, Mohamed Slim,
$e
author.
$3
1343890
856
4 0
$u
https://www.sciencedirect.com/science/book/9781785482632
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入