It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation. The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).

зарубежная компьютерная литература

программирование

Safety of Computer Architectures

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

Static Analysis of Software. The Abstract Interpretation

Industrial Use of Formal Methods. Formal Verification

Formal Methods. Industrial Use from Model to the Code

CENELEC 50128 and IEC 62279 Standards

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

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

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

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

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

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

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

мистика

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

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

книги по экономике

газеты

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

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

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

сказки

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

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

политология

историческая литература

Эрик Зорк всю жизнь посвятил работе психологом, его практика насчитывает не одну сотню решенных проблем. Имея такой большой опыт сможет ли он помочь самому себе?

триллеры

Последний рабочий день

Публикация посвящена подготовке к 1700-летнему юбилею Первого Вселенского собора православной церкви и последующего Обретения Святого Креста.

Им не отменить наш праздник

- Она же почти твоя крестница, Денис! 
Ужас, в котором я пребываю, невозможно описать словами. 
- Почти не считается, Надя, - пожимает плечами муж. 
- Ты уже старая, сама говорила. А мне всего двадцать. И родить я еще смогу хоть десятерых. 
Та самая «почти крестница», дочь друга семьи, которая росла на наших глазах, кладёт одну руку на плечо моего мужа, а вторую - на свой плоский живот. 
- И наш с Дэнни первенец появится на свет через пять месяцев, - продолжает как ни в чём не бывало.
Только теперь я замечаю, что Вероника немного поправилась. Они что, привезли этого ребенка из той длительной командировки, в которую уезжал Денис полгода назад? 
И неужели отец Вероники в курсе? 

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

Я хочу её давно

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

Будет ли она способна принять своё прошлое, осознать свои эмоции и научиться жить в настоящем? Может ли реальная любовь стать для неё спасением, если она так долго пряталась от мира? 

любовь и отношения

Тени долгих иллюзий. Часть II

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

героическая фантастика

социальная фантастика

Перемазанные

Сказка для детей, но, думаю, что понравится и взрослым, ведь добра и теплоты хочется всем.
В этой сказке я призываю тех, кто решит завести котенка, обратить внимание на тех, кто "не объявлен", т.е. не из объявления. Тех скорее всего возьмут и так, а "необъявленные" так и останутся на улице, и им будет угрожать голодная и холодная зима. Маленькому котенку повезло: он получил семью и имя Гаврик.

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

домашние животные

Гаврик

Дневник семилетнего мальчика, который переживает развод родителей. Ребенок одинок в этой ситуации. И вот он сначала заводит дневник, в котором в записях обращается к отцу, а затем и к кукле, которую увидел в магазине.

Кукла (дневник судьбы)

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

Safety of Computer Architectures

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