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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
ISTE
2018
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FLA01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | 1 online resource |
| ISBN: | 9780081023891 0081023898 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045383032 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181228s2018 |||| o||u| ||||||eng d | ||
| 020 | |a 9780081023891 |9 978-0-08-102389-1 | ||
| 020 | |a 0081023898 |9 0-08-102389-8 | ||
| 035 | |a (ZDB-33-ESD)on1030303161 | ||
| 035 | |a (ZDB-33-EBS)on1030303161 | ||
| 035 | |a (OCoLC)1030303161 | ||
| 035 | |a (DE-599)BVBBV045383032 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 100 | 1 | |a Maxa, Jean-Aimé |e Verfasser |4 aut | |
| 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 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 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 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Computer software / Development |2 fast | |
| 650 | 7 | |a Model-driven software architecture |2 fast | |
| 650 | 4 | |a Model-driven software architecture | |
| 650 | 4 | |a Computer software |x Development | |
| 700 | 1 | |a Ben Mahmoud, Mohamed Slim |e Sonstige |4 oth | |
| 700 | 1 | |a Larrieu, Nicolas |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781785482632 |
| 856 | 4 | 0 | |u https://www.sciencedirect.com/science/book/9781785482632 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030769365 | ||
| 966 | e | |u https://www.sciencedirect.com/science/book/9781785482632 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
| 966 | e | |u https://www.sciencedirect.com/science/book/9781785482632 |l FLA01 |p ZDB-33-ESD |q FLA_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804179235703619584 |
|---|---|
| any_adam_object | |
| author | Maxa, Jean-Aimé |
| author_facet | Maxa, Jean-Aimé |
| author_role | aut |
| author_sort | Maxa, Jean-Aimé |
| author_variant | j a m jam |
| building | Verbundindex |
| bvnumber | BV045383032 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-ESD)on1030303161 (ZDB-33-EBS)on1030303161 (OCoLC)1030303161 (DE-599)BVBBV045383032 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03010nmm a2200457zc 4500</leader><controlfield tag="001">BV045383032</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181228s2018 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780081023891</subfield><subfield code="9">978-0-08-102389-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0081023898</subfield><subfield code="9">0-08-102389-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)on1030303161</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)on1030303161</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1030303161</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045383032</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Maxa, Jean-Aimé</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-driven development for embedded software</subfield><subfield code="b">application to communications for drone swarm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">ISTE</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Development</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Model-driven software architecture</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model-driven software architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ben Mahmoud, Mohamed Slim</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Larrieu, Nicolas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781785482632</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.sciencedirect.com/science/book/9781785482632</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030769365</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9781785482632</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9781785482632</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FLA_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045383032 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:16:39Z |
| institution | BVB |
| isbn | 9780081023891 0081023898 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030769365 |
| oclc_num | 1030303161 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 online resource |
| psigel | ZDB-33-ESD ZDB-33-EBS ZDB-33-ESD FAW_PDA_ESD ZDB-33-ESD FLA_PDA_ESD |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | ISTE |
| record_format | marc |
| spelling | Maxa, Jean-Aimé Verfasser aut Model-driven development for embedded software application to communications for drone swarm London ISTE 2018 1 online resource txt rdacontent c rdamedia cr rdacarrier 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 COMPUTERS / Software Development & Engineering / General bisacsh Computer software / Development fast Model-driven software architecture fast Model-driven software architecture Computer software Development Ben Mahmoud, Mohamed Slim Sonstige oth Larrieu, Nicolas Sonstige oth Erscheint auch als Druck-Ausgabe 9781785482632 https://www.sciencedirect.com/science/book/9781785482632 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Maxa, Jean-Aimé Model-driven development for embedded software application to communications for drone swarm COMPUTERS / Software Development & Engineering / General bisacsh Computer software / Development fast Model-driven software architecture fast Model-driven software architecture Computer software Development |
| title | Model-driven development for embedded software application to communications for drone swarm |
| title_auth | Model-driven development for embedded software application to communications for drone swarm |
| title_exact_search | Model-driven development for embedded software application to communications for drone swarm |
| title_full | Model-driven development for embedded software application to communications for drone swarm |
| title_fullStr | Model-driven development for embedded software application to communications for drone swarm |
| title_full_unstemmed | Model-driven development for embedded software application to communications for drone swarm |
| title_short | Model-driven development for embedded software |
| title_sort | model driven development for embedded software application to communications for drone swarm |
| title_sub | application to communications for drone swarm |
| topic | COMPUTERS / Software Development & Engineering / General bisacsh Computer software / Development fast Model-driven software architecture fast Model-driven software architecture Computer software Development |
| topic_facet | COMPUTERS / Software Development & Engineering / General Computer software / Development Model-driven software architecture Computer software Development |
| url | https://www.sciencedirect.com/science/book/9781785482632 |
| work_keys_str_mv | AT maxajeanaime modeldrivendevelopmentforembeddedsoftwareapplicationtocommunicationsfordroneswarm AT benmahmoudmohamedslim modeldrivendevelopmentforembeddedsoftwareapplicationtocommunicationsfordroneswarm AT larrieunicolas modeldrivendevelopmentforembeddedsoftwareapplicationtocommunicationsfordroneswarm |