Rapid Prototyping Software for Avionics Systems

Model-oriented Approaches for Complex Systems Certification

de

,

Éditeur :

Wiley-ISTE


Paru le : 2014-10-13



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
163,47

Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description

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.
Pages
160 pages
Collection
n.c
Parution
2014-10-13
Marque
Wiley-ISTE
EAN papier
9781848217645
EAN PDF
9781119050575

Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
160
Taille du fichier
12524 Ko
Prix
163,47 €
EAN EPUB
9781119050636

Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
160
Taille du fichier
3205 Ko
Prix
163,47 €

Suggestions personnalisées