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. Model-oriented Approaches for Complex Systems Certification

Aeronautical Air-Ground Data Link Communications

Risk Propagation Assessment for Network Security. Application to Airport Communication Network Design

современная русская литература

современные любовные романы

современная зарубежная литература

книги о приключениях

учебники и пособия для вузов

стихи и поэзия

русская классика

мистика

любовное фэнтези

биографии и мемуары

современные детективы

короткие любовные романы

сказки

попаданцы

литература 19 века

научная фантастика

саморазвитие / личностный рост

триллеры

публицистика

зарубежная классика

Мой мир жесток и не прощает ошибок. Десять лет я существовала, боясь собственной тени. Ждала, что за мной в любой момент придут. И вот этот миг настал.
Меня зовут Тьяна Абремо. Я дочь предателей, проклятая собственной матерью. По приказу великого императора я должна стать женой дикаря с непокорного острова в самом сердце океана, кишащего морскими чудовищами - кракенами. Он Каарх. Потомок некогда великого и древнего рода. Единственный, кто сможет противостоять монстрам Темного.
Наш союз изначально обречен на провал. Но что будет, если в игру правителей вмешается любовь?

Тьяна. Избранница Каарха

В книге рассказывается история о встрече двух давних знакомых, которые проводят время в летнем кафе. Их разговор полон намёков и недосказанности, а атмосфера пропитана напряжением. Внезапно происходит нечто неожиданное, что кардинально меняет ход событий. Параллельно повествуется о девушке, которая находится в глубоком душевном кризисе и размышляет о возможности самоубийства. Случайная встреча со слепым парнем заставляет её переосмыслить свои планы. В книге поднимаются темы внутренней борьбы, поиска смысла жизни и неожиданных поворотов судьбы.

остросюжетные любовные романы

криминальные боевики

Месть

Не все живые существа живы, не все неживые существа мертвы. Если зимней ночью долго идти через чёрный лес на чудесных дедовских снегоступах, с приколотым к шапке-ушанке оберегом в виде веточки красной рябины, и держать в ладони под варежкой одухотворённый брелок, можно пройти через шесть теней, чтобы в конце пути войти в фениксов огонь и не сгореть в нём.

К данной аудиокниге прилагается PDF-файл с иллюстрациями, рекомендуемый для скачивания. Файл важен для лучшего погружения в историю

мифы / легенды / эпос

героическое фэнтези

Фениксы перерождаются в снегах

Следуя за безымянным героем, которого, впрочем, отовсюду зовут по имени, в его путешествии из Парижа во французские Альпы в поисках работы, окунемся в быт молодых русских мигрантов начала две тысячи десятых годов. Долгие проводы, короткие встречи, новые знакомства, воспоминания, круговерть разговоров о там "как свалить", как закрепиться и стоит ли оставаться, поиски своего места. 
Словом, — зеркало не всегда простой жизни в далекой и чужой стране. Но обманчиво-прямолинейное, реалистическое произведение — хроника трех дней и трех ночей, — мало-помалу предстает не тем, чем могло показаться поначалу. Где же и чем закончится путь, что обретет герой в конце?
  

книги о путешествиях

В альпийском сиянии

Прочитав эту книгу, вы лучше поймёте, зачем нужны истории, как их создавать, и чем важны те или иные элементы. Вы узнаете, что может стать темой для истории; как преодолевать творческие кризисы; на каком языке лучше разговаривать со своим слушателем и многое другое.

Мы концентрируемся на практической стороне вопроса. После прочтения уже первой главы вы получите набор знаний для создания истории. Каждая следующая глава даёт новый инструментарий, и каждая следующая история становится интереснее! 

Во второе издание также включен сборник очерков "Сторителлинг для экспертов", представляющий из себя авторские рассуждения и рекомендации на тему использования историй консультантами и прочими представителями помогающих профессий в своих блогах, и статья, посвященная вопросу "творческого кризиса", актуальная как для блогеров, так и для писателей.

прикладная литература

самоучители

саморазвитие и советы

Сторителлинг 2.0

Сказка рассказывает удивительную историю о трёх сёстрах, каждая из которых мечтала о своём счастье, и младшей из них, чья скромная мечта изменила судьбу целого королевства. Младшая дочь бедного старика выходит замуж за молодого короля, обещая подарить ему сына с солнцем во лбу и дочь с луной в груди. Но злодейская зависть колдуньи разрушает её счастье: детей подменяют, а королева оказывается в изгнании.
Однако добро и истина неизменно торжествуют. Воспитанные добрыми людьми, дети вырастают красивыми, мудрыми и смелыми. Их необычная судьба приводит к разоблачению зла, воссоединению семьи и восстановлению справедливости.
Эта сказка, наполненная яркими образами, глубокой моралью и чарующей атмосферой, напомнит читателям о том, что настоящая любовь и вера в добро могут преодолеть любые преграды.

детская проза

Король и три сестры

Эта история была написана для новогоднего конкурса с условием ограничения в объеме до 30тыс. знаков.

Как часто, вместо того чтобы обсудить свои сомнения, влюбленные совершают ошибки, отталкивая друг друга! Ведь может все оказаться не так плохо, как кажется, если решиться поговорить и выяснить правду. 
Смогут ли герои этой истории преодолеть недоверие и сделать шаг на встречу друг другу?
Предстоит ли им встретить этот Новый год вместе или он разлучит их навсегда?

Хочу тебе верить

Полная версия

Rapid Prototyping Software for Avionics Systems. Model-oriented Approaches for Complex Systems Certification

Другие книги автора