Rapid Prototyping 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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Somerset
Wiley
2014
|
| Ausgabe: | 1st ed |
| Schlagworte: | |
| Zusammenfassung: | 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 of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router |
| Beschreibung: | Description based on publisher supplied metadata and other sources |
| Beschreibung: | 1 online resource (154 pages) |
| ISBN: | 9781119050575 9781848217645 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043613064 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160616s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781119050575 |9 978-1-119-05057-5 | ||
| 020 | |a 9781848217645 |c Print |9 978-1-84821-764-5 | ||
| 035 | |a (ZDB-30-PQE)EBC1816329 | ||
| 035 | |a (ZDB-89-EBL)EBL1816329 | ||
| 035 | |a (ZDB-38-EBR)ebr10954089 | ||
| 035 | |a (OCoLC)893737458 | ||
| 035 | |a (DE-599)BVBBV043613064 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 620.0042 | |
| 100 | 1 | |a Larrieu, Nicolas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Rapid Prototyping Software for Avionics Systems |b Model-oriented Approaches for Complex Systems Certification |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Somerset |b Wiley |c 2014 | |
| 264 | 4 | |c © 2014 | |
| 300 | |a 1 online resource (154 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on publisher supplied metadata and other sources | ||
| 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 of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router | ||
| 650 | 4 | |a Rapid prototyping | |
| 700 | 1 | |a Varet, Antoine |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Larrieu, Nicolas |t Rapid Prototyping Software for Avionics Systems : Model-oriented Approaches for Complex Systems Certification |
| 912 | |a ZDB-30-PQE |a ZDB-30-PBE | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029027123 | ||
Datensatz im Suchindex
| _version_ | 1804176356869668864 |
|---|---|
| any_adam_object | |
| author | Larrieu, Nicolas |
| author_facet | Larrieu, Nicolas |
| author_role | aut |
| author_sort | Larrieu, Nicolas |
| author_variant | n l nl |
| building | Verbundindex |
| bvnumber | BV043613064 |
| collection | ZDB-30-PQE ZDB-30-PBE |
| ctrlnum | (ZDB-30-PQE)EBC1816329 (ZDB-89-EBL)EBL1816329 (ZDB-38-EBR)ebr10954089 (OCoLC)893737458 (DE-599)BVBBV043613064 |
| dewey-full | 620.0042 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.0042 |
| dewey-search | 620.0042 |
| dewey-sort | 3620.0042 |
| dewey-tens | 620 - Engineering and allied operations |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02567nmm a2200397zc 4500</leader><controlfield tag="001">BV043613064</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160616s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781119050575</subfield><subfield code="9">978-1-119-05057-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848217645</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-84821-764-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PQE)EBC1816329</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL1816329</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr10954089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)893737458</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043613064</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="082" ind1="0" ind2=" "><subfield code="a">620.0042</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Larrieu, Nicolas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rapid Prototyping Software for Avionics Systems</subfield><subfield code="b">Model-oriented Approaches for Complex Systems Certification</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Somerset</subfield><subfield code="b">Wiley</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (154 pages)</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="500" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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 of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rapid prototyping</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Varet, Antoine</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="a">Larrieu, Nicolas</subfield><subfield code="t">Rapid Prototyping Software for Avionics Systems : Model-oriented Approaches for Complex Systems Certification</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield><subfield code="a">ZDB-30-PBE</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029027123</subfield></datafield></record></collection> |
| id | DE-604.BV043613064 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:30:53Z |
| institution | BVB |
| isbn | 9781119050575 9781848217645 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029027123 |
| oclc_num | 893737458 |
| open_access_boolean | |
| physical | 1 online resource (154 pages) |
| psigel | ZDB-30-PQE ZDB-30-PBE |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Wiley |
| record_format | marc |
| spelling | Larrieu, Nicolas Verfasser aut Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification 1st ed Somerset Wiley 2014 © 2014 1 online resource (154 pages) txt rdacontent c rdamedia cr rdacarrier Description based on publisher supplied metadata and other sources 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 of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router Rapid prototyping Varet, Antoine Sonstige oth Erscheint auch als Druck-Ausgabe Larrieu, Nicolas Rapid Prototyping Software for Avionics Systems : Model-oriented Approaches for Complex Systems Certification |
| spellingShingle | Larrieu, Nicolas Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification Rapid prototyping |
| title | Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification |
| title_auth | Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification |
| title_exact_search | Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification |
| title_full | Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification |
| title_fullStr | Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification |
| title_full_unstemmed | Rapid Prototyping Software for Avionics Systems Model-oriented Approaches for Complex Systems Certification |
| title_short | Rapid Prototyping Software for Avionics Systems |
| title_sort | rapid prototyping software for avionics systems model oriented approaches for complex systems certification |
| title_sub | Model-oriented Approaches for Complex Systems Certification |
| topic | Rapid prototyping |
| topic_facet | Rapid prototyping |
| work_keys_str_mv | AT larrieunicolas rapidprototypingsoftwareforavionicssystemsmodelorientedapproachesforcomplexsystemscertification AT varetantoine rapidprototypingsoftwareforavionicssystemsmodelorientedapproachesforcomplexsystemscertification |