Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.

техническая литература

Formal Methods. Industrial Use from Model to the Code

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

Safety of Computer Architectures

CENELEC 50128 and IEC 62279 Standards

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

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

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

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

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

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

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

мистика

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

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

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

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

сказки

попаданцы

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

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

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

триллеры

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

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

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

практическая эзотерика

спиритизм / пророчества / предсказания

эзотерика / оккультизм

Водолей. Гороскоп на каждый день. 2025 год

Однажды мальчик по имени Дима остался дома один. И тут произошло нечто неожиданное.

боевая фантастика

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

детективная фантастика

Zerendo и орден белого дракона

Древнее существо ждёт воскрешения. Маленькая девочка и её верный друг черно-бурый лис ведут поиски этого древнего зла. Чтобы навсегда избавить от него родную землю.

ужасы

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

Марун

Продолжение истории Леры и Даниила. Они были лучшими друзьями, их отношениями близким нет предела.

общая психология

пьесы и драматургия

Асутару но Кису

Данное произведение является фантазией Автора и не более того. Читая его, представьте, что вы читаете взрослую сказку.
Всё равно большинство не поймут, но тот, кто ищет ответы о людях, вселенной, Боге и смысле жизни, а также о внутреннем мире человека. Рекомендуется к прочтению! Тут есть ответы на многие вопросы, но у прочитавших данное творение, может появиться много вопросов!

современные религиозные течения

духовная литература

Кровь Адама

Книга посвящена зрелым женщинам, с которыми случилась незапланированная беременность, а также всем тем, кто, несмотря на свой возраст, всё ещё мечтает стать мамой.
Расскажу о том, как по-разному можно прожить этот незабываемый период.
Все персонажи являются вымышленными, и любое совпадение с реально живущими или жившими людьми случайно.

здоровье

Такая разная поздняя беременность

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

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

Все под контролем

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

Formal Methods. Industrial Use from Model to the Code

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