Rapid Prototyping Software for Avionics Systems

Model-oriented Approaches for Complex Systems Certification

Nonfiction, Computers, Programming, Software Development
Cover of the book Rapid Prototyping Software for Avionics Systems by Nicolas Larrieu, Antoine Varet, Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Nicolas Larrieu, Antoine Varet ISBN: 9781119050636
Publisher: Wiley Publication: October 13, 2014
Imprint: Wiley-ISTE Language: English
Author: Nicolas Larrieu, Antoine Varet
ISBN: 9781119050636
Publisher: Wiley
Publication: October 13, 2014
Imprint: Wiley-ISTE
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Wiley

Cover of the book Social Entrepreneurship by Nicolas Larrieu, Antoine Varet
Cover of the book Front-end Development with ASP.NET Core, Angular, and Bootstrap by Nicolas Larrieu, Antoine Varet
Cover of the book Biofuel Crop Sustainability by Nicolas Larrieu, Antoine Varet
Cover of the book Further Radiopharmaceuticals for Positron Emission Tomography and New Strategies for Their Production by Nicolas Larrieu, Antoine Varet
Cover of the book Building the Internet of Things by Nicolas Larrieu, Antoine Varet
Cover of the book Sprachführer Englisch für Dummies Das Pocketbuch by Nicolas Larrieu, Antoine Varet
Cover of the book Finance After Armageddon by Nicolas Larrieu, Antoine Varet
Cover of the book J.K. Lasser's Your Income Tax 2012 by Nicolas Larrieu, Antoine Varet
Cover of the book A Woman's Dilemma by Nicolas Larrieu, Antoine Varet
Cover of the book Handbook of Workplace Assessment by Nicolas Larrieu, Antoine Varet
Cover of the book Internet Fraud Casebook by Nicolas Larrieu, Antoine Varet
Cover of the book From Frequency to Time-Average-Frequency by Nicolas Larrieu, Antoine Varet
Cover of the book Place-making and Policies for Competitive Cities by Nicolas Larrieu, Antoine Varet
Cover of the book How to Become Filthy, Stinking Rich Through Network Marketing by Nicolas Larrieu, Antoine Varet
Cover of the book Internal Control Audit and Compliance by Nicolas Larrieu, Antoine Varet
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy