This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.


программы

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

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

Static Analysis of Software. The Abstract Interpretation

Industrial Use of Formal Methods. Formal Verification

Formal Methods. Industrial Use from Model to the Code

Safety of Computer Architectures

CENELEC 50128 and IEC 62279 Standards

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

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

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

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

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

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

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

мистика

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

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

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

газеты

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

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

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

сказки

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

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

политология

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Гаврик

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

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

Окунитесь в захватывающий мир величайших открытий и изобретений 19 века — эпохи, когда наука и техника стремительно меняли мир вокруг нас. Эта книга — живое свидетельство того, как гениальные умы того времени прокладывали путь к современности, совершая прорывы в физике, медицине, географии и инженерии.
От электрического света до первых железных дорог — каждое открытие, описанное на страницах этой книги, стало важнейшим шагом на пути к будущему.  Яркие описания событий, красочные  и увлекательные факты помогут читателю не только лучше понять значение открытий, но и ощутить всю силу и красоту научного прогресса.
Это не только исторический справочник, но и источник вдохновения для всех, кто стремится постигать новое.

всемирная история

Вдохновение эпохи: великие открытия 19 века

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

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

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