Rapid Prototyping Software for Avionics Systems Nicolas Larrieu

Rapid Prototyping Software for Avionics Systems скачать fb2

Фрагмент книги

0 скачали
0 прочитали
0 впечатлений






Nicolas Larrieu - Rapid Prototyping Software for Avionics Systems краткое содержание

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 Software for Avionics Systems - автор Nicolas Larrieu или скачать бесплатно и без регистрации в формате fb2. Роман написан в году, в жанре . Читаемые, полные версии книг, без сокращений, на сайте - библиотека бесплатных книг Knigism.online. Вы можете скачать издание полностью и открыть в любой читалке, на свой телефон или айфон, а также читать произведение без интернета.




Доступен ознакомительный фрагмент

Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться

Другие книги авторавсе книги
Risk Propagation Assessment for Network Security
Risk Propagation Assessment for Net...
Aeronautical Air-Ground Data Link Communications
Aeronautical Air-Ground Data Link C...
Другие книги жанраПрограммы
1С: Бухгалтерия 8 с нуля. 100 уроков для начинающих
1С: Бухгалтерия 8 с нуля. 100 уроко...
1С: Бухгалтерия 8.2 с нуля. 100 уроков для начинающих
1С: Бухгалтерия 8.2 с нуля. 100 уро...
1С: Управление небольшой фирмой 8.2 с нуля. 100 уроков для начинающих
1С: Управление небольшой фирмой 8.2...
1С: Управление торговлей 8.2. Руководство пользователя
1С: Управление торговлей 8.2. Руков...