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...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Hoboken, NJ :
John Wiley & Sons,
2014.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | 3.2.2.2.1. Description of the structure of the routing table. |
| Physical Description: | 1 online resource (154 pages) |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781119050575 111905057X |