Cargando…
Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification /
The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a metho...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken, NJ :
John Wiley & Sons,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn893737458 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141025s2014 nju ob 001 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d N$T |d YDXCP |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCF |d N15 |d WTV |d OCLCQ |d ZCU |d MERUC |d ICG |d OCLCQ |d DKC |d AU@ |d OCLCQ |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 020 | |a 9781119050575 |q (electronic bk.) | ||
| 020 | |a 111905057X |q (electronic bk.) | ||
| 020 | |z 9781848217645 | ||
| 029 | 1 | |a DEBBG |b BV043613064 | |
| 029 | 1 | |a DEBSZ |b 420087516 | |
| 029 | 1 | |a DEBSZ |b 431798605 | |
| 029 | 1 | |a DEBSZ |b 44945617X | |
| 035 | |a (OCoLC)893737458 | ||
| 050 | 4 | |a TS155.6 | |
| 072 | 7 | |a COM0 |x 51000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1/2 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Larrieu, Nicolas, |e author. | |
| 245 | 1 | 0 | |a Rapid prototyping of software for avionics systems : |b model-oriented approaches for complex systems certification / |c Nicolas Larrieu, Antoine Varet. |
| 264 | 1 | |a Hoboken, NJ : |b John Wiley & Sons, |c 2014. | |
| 300 | |a 1 online resource (154 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Front Matter -- Developing Model-Based Design Methods in Software Engineering / Nicolas Larrieu, Antoine Varet -- Methodology for Rapid Prototyping Avionic Software / Nicolas Larrieu, Antoine Varet -- Implementing the Prototyping Methodology to Develop a Next Generation Avionic Router / Nicolas Larrieu, Antoine Varet -- Conclusion. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Cover; Title Page; Copyright; Contents; Introduction; I.1. The use of model-based approaches; I.2. Structure of this book; Chapter1: Developing Model-Based Design Methods in Software Engineering; 1.1. The history of model-based design; 1.2. The Unified Modeling Language, a support for model-based methods; 1.2.1. The philosophy and history of the Unified Modeling Language; 1.2.2. The Unified Modeling Language normalized diagrams; 1.2.3. The advantages of model-based design; 1.3. Formal model-based validation techniques; 1.3.1. Model Checking; 1.3.2. Formal theorem proving. | |
| 505 | 8 | |a 1.3.3. Code assertion1.3.4. Applying for certification for complex systems; Chapter2: Methodology for Rapid Prototyping Avionic Software; 2.1. The specificities of the avionic domain; 2.1.1. System virtualization: integrated modular avionics; 2.1.1.1. ARINC 653 APEX interface: application executive; 2.1.1.2. AFDX bus: Avionics Full-Duplex switched ethernet; 2.1.2. MILS: divide and conquer, to rule over a secure world; 2.1.3. Processing security and safety aspects simultaneously; 2.2. The certification of an avionic system; 2.2.1. The qualification of tools for certification. | |
| 505 | 8 | |a 2.2.2. Model-based development approaches in aeronautics2.2.2.1. DO-178C: Software Considerations in Airborne Systems and Equipment Certification; 2.2.2.2. DO-331: Model-based development and verification; 2.2.3. A sophisticated methodology for the development of complex onboard systems; 2.3. Methodology of rapid development in seven stages; 2.3.1. Presentation of the different stages; 2.3.2. Advantages of the methodology; 2.3.3. Example of the benefits of using our model-based methodology; 2.3.4. Instantiation of the methodology with different tools. | |
| 505 | 8 | |a 2.3.4.1. Summary of compatible tool chains2.3.4.2. Organization of the architecture of the software solution; 2.3.4.3. Design: modeling with Simulink and Stateflow; 2.3.4.4. Transforming into the language C with Gene-Auto; 2.3.4.5. Execution with a strengthened onboard operating system; 2.3.4.5.1. Glueing and compiling code; 2.3.4.5.2. Integration with Sysgo PikeOS; 2.4. Chapter summary; Chapter3: Implementing the Prototyping Methodology to Develop a Next Generation Avionic Router; 3.1. Introduction to next generation aeronautical communication domains. | |
| 505 | 8 | |a 3.1.1. Avionic and aeronautical network domains3.1.2. Communication standards and protocols for next generation aeronautics; 3.1.3. The benefits of a next generation avionic router: secure next generation router; 3.1.3.1. Interconnecting avionic domains with a next generation router; 3.1.3.2. Mutualization of ground-board aeronautical links by a next generation router; 3.2. Implementing the SNG router; 3.2.1. Architecture of the SNG router software; 3.2.2. Routing functionalities (IPv4); 3.2.2.1. The principles of routing for the SNG; 3.2.2.2. Implementing routing functionalities. | |
| 500 | |a 3.2.2.2.1. Description of the structure of the routing table. | ||
| 520 | |a The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Rapid prototyping. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Solid freeform fabrication. | |
| 650 | 6 | |a Prototypage rapide. | |
| 650 | 6 | |a Génie logiciel. | |
| 650 | 7 | |a rapid prototyping. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Programming |x General. |2 bisacsh | |
| 650 | 7 | |a Solid freeform fabrication |2 fast | |
| 650 | 7 | |a Rapid prototyping |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 700 | 1 | |a Varet, Antoine, |e author. | |
| 758 | |i has work: |a Rapid prototyping of software for avionics systems (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFpRXvj3pbkMvMtcW37Vhb |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Larrieu, Nicolas. |t Rapid Prototyping Software for Avionics Systems : Model-oriented Approaches for Complex Systems Certification. |d Hoboken : Wiley, ©2014 |z 9781848217645 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1816329 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1816329 | ||
| 938 | |a EBSCOhost |b EBSC |n 869883 | ||
| 938 | |a YBP Library Services |b YANK |n 12124264 | ||
| 938 | |a YBP Library Services |b YANK |n 12121250 | ||
| 938 | |a YBP Library Services |b YANK |n 12678082 | ||
| 994 | |a 92 |b IZTAP | ||