Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification (Iste) - Image 1

Price loading...

Wiley Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification (Iste)

Name: Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification (Iste)
Brand: Wiley

Functional Programming

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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.

Product Specifications

Brand: Wiley
Format: hardcover
ASIN: 1848217641
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 21 November 2014
Listed Since: 04 September 2014

Barcode

No barcode data available

Wiley Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification (Iste)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Aircraft Design: A Systems Engineering Approach (Aerospace Series)

Wiley System Requirements Engineering - SysML Supported Method

Flight Simulation Software: Design, Development and Testing (Aerospace Series)

Wiley Aeronautical Air-Ground Data Link Communications Book

Metamodelling for Software Engineering

The Engineering Design of Systems: Models and Methods

Systems Engineering in Research and Industrial Practice: Foundations, Developments and Challenges

Wiley Aircraft Systems Classifications - Aerospace Handbook

Systems Engineering for Aerospace: A Practical Approach

Model-Based Testing for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)

Design and Development of Aircraft Systems (Aerospace Series)

Aircraft Systems Integration of Air-Launched Weapons (Aerospace Series)

Aircraft Design: A Systems Engineering Approach (Aerospace Series)

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Verification, Validation, and Testing of Engineered Systems (Wiley Series in Systems Engineering and Management)

Real-Time Systems Design and Analysis: Tools for the Practitioner

Wiley Formal Methods Applied to Industrial Complex Systems

A Practical Approach to Robustness Analysis with Aeronautical Applications

System Verification: Proving the Design Solution Satisfies the Requirements

Flight Dynamics: Modeling, Characterization and Performance

Quality of the design of test cases for automotive software: Design platform and testing process

Model-Driven and Software Product Line Engineering: 733 (Iste)

Software Error Detection through Testing and Analysis

Wiley Aircraft Performance - Engineering and Aerospace Book