Model Driven Development for Embedded Software (notice n° 71259)
[ vue normale ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02412cam a2200301zu 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | FRCYB88864407 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250107231215.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250108s2018 fr | o|||||0|0|||eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781785482632 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | FRCYB88864407 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | FR-PaCSA |
| Language of cataloging | en |
| Transcribing agency | |
| Description conventions | rda |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Maxa, Jean-Aime |
| 245 01 - TITLE STATEMENT | |
| Title | Model Driven Development for Embedded Software |
| Remainder of title | Application to Communications for Drone Swarm |
| Statement of responsibility, etc. | ['Maxa, Jean-Aime', 'Mahmoud, Mohamed Slim Ben', 'Larrieu, Nicolas'] |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Name of producer, publisher, distributor, manufacturer | Elsevier Science |
| Date of production, publication, distribution, manufacture, or copyright notice | 2018 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | p. |
| 336 ## - CONTENT TYPE | |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type code | c |
| Source | rdamdedia |
| 338 ## - CARRIER TYPE | |
| Carrier type code | c |
| Source | rdacarrier |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. Describes the principles of model-oriented design used in the aeronautical field Presents an original methodology of rapid prototyping of embedded systems Presents a mode of development for embedded systems in the different phases |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Maxa, Jean-Aime |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Mahmoud, Mohamed Slim Ben |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Larrieu, Nicolas |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Access method | Cyberlibris |
| Uniform Resource Identifier | <a href="https://international.scholarvox.com/netsen/book/88864407">https://international.scholarvox.com/netsen/book/88864407</a> |
| Electronic format type | text/html |
| Host name | |
Pas d'exemplaire disponible.
Réseaux sociaux