Каталог
>
Знания и навыки
>
Компьютерная литература
>
Программы
>
9781119050575
Каталог
:: Java книги
:: Авто
:: Астрология
:: Аудио книги
:: Биографии и Мемуары
:: В мире животных
:: Гуманитарные и общественные науки
:: Детские книги
:: Для взрослых
:: Для детей
:: Дом, дача
:: Журналы
:: Зарубежная литература
:: Знания и навыки
:Бизнес-книги
:Компьютерная литература
:Базы данных
:Зарубежная компьютерная литература
:Интернет
:Информационная безопасность
:Книги о компьютерах
:Компьютерное железо
:Ос и сети
:Программирование
:Программы
:Научно-популярная литература
:Словари, справочники
:Учебная и научная литература
:: Издательские решения
:: Искусство
:: История
:: Компьютеры
:: Кулинария
:: Культура
:: Легкое чтение
:: Медицина и человек
:: Менеджмент
:: Наука и образование
:: Оружие
:: Программирование
:: Психология
:: Психология, мотивация
:: Публицистика и периодические издания
:: Разное
:: Религия
:: Родителям
:: Серьезное чтение
:: Спорт
:: Спорт, здоровье, красота
:: Справочники
:: Техника и конструкции
:: Учебная и научная литература
:: Фен-Шуй
:: Философия
:: Хобби, досуг
:: Художественная лит-ра
:: Эзотерика
:: Экономика и финансы
:: Энциклопедии
:: Юриспруденция и право
:: Языки
Новинки
Ford Maverick since 2022, service e-manual
Rapid Prototyping Software for Avionics Systems
Автор:
Nicolas Larrieu
Издательство:
John Wiley & Sons Limited
Cтраниц:
1
Формат:
PDF
Размер:
0
ISBN:
9781119050575
Качество:
excellent
Язык:
Описание:
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.
Скачать
Скачать легальную копию
Просмотров: 73
Пресс - релиз
string(4) "true" int(290)
К настоящему времени нет отзывов!
Рекомендуем
Самоучитель хакера
Информация
Свяжитесь с нами
Как скачать и чем читать
Quiero dinero © 2007
