Name: Formal Methods. Industrial Use from Model to the Code
Rating: 3 (6 reviews)
Author: Jean-Louis Boulanger

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 of Computer Architectures

Industrial Use of Formal Methods. Formal Verification

CENELEC 50128 and IEC 62279 Standards

Static Analysis of Software. The Abstract Interpretation

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

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

фэнтези

учебная и научная литература

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

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

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

детективы

об истории серьезно

приключения

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

ужасы / мистика

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

cтихи, поэзия

книги по психологии

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

гуманитарные и общественные науки

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

мистика

боевики, остросюжетная литература

публицистическая литература

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

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

Любимое лоскутное одеяло

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

Город погружается в молчание, а его жители словно становятся частью чего-то необъяснимого. Но что это: временная тишина или начало нового порядка? Александр шаг за шагом исследует опустевшие улицы, встречая загадочных людей, запечатлевая их лица и пытаясь понять, что происходит.  

Когда граница между реальностью и неизвестностью становится тонкой, город открывает перед ним свои тайны. Это история о тех, кто наблюдает, и тех, кто исчезает. Но одно остаётся неизменным — никто не знает, чем это закончится.  

триллеры

ужасы

Город странных людей

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

отношения с клиентами

привлечение клиентов

клиентский сервис

Как обрабатывать заявки от клиентов

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

кулинария

Вторые блюда и завтраки

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

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

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

внешняя политика

Самые жестокие люди в мире

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

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

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

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

Бестужев. Служба Государевой Безопасности 1

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

общественное питание

здоровье

здоровое и правильное питание

Питание для сердца и сосудов: Кулинарные рецепты

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

Formal Methods. Industrial Use from Model to the Code

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