Name: Formal Methods. Industrial Use from Model to the Code
Rating: 3 (20 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тихи, поэзия

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

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

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

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

мистика

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

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

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

попаданцы

Таверна «Хитрая свинья», или Котлета для генерала

Это сборник стихов по самым разным темам, есть и о просто человеке, и о политической теме, и о Боге.

Поэт

Не удался первый день в офисе? И шеф оказался зловещим тираном и настоящим зверем? Не беда! Главное, появилась новая работа. А то, что шеф – зверюга клыкастая, и вовсе не страшно! Ведь не станет он есть юную девушку-стажера? Но на всякий случай Заря Иртанова будет держаться подальше от Тихомира Вольнова, пусть ее и непреодолимо тянет к самому опасному из всех известных хищников.

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

По твоим следам

Даша поняла, что не сводит с него жадного взгляда. А тем временем мужчина приблизился еще на пару шагов, хотя Даша четко понимала, что делает он это нарочито медленно. Он мог бы двигаться гораздо быстрее.

И… убить их всех за считанные секунды. Но по каким-то причинам медлил.

– Охренел, мужик?! Вали, куда шел! – подал голос третий из шайки, «молчун», как окрестила его Даша.

– Мне кажется, девочка не хочет раздеваться, – усмехнулся незнакомец и, наконец, пристально взглянул на нее.

Даша задержала дыхание. Легкие распирало давлением. Пульс затарабанил в висках. Что-то внутри вспыхнуло огнем, сжалось в неистовую, обжигавшую лавой спираль.

– Закрой глаза, – журчащим бархатистым голосом произнес вдруг он, а Даша, точно под гипнозом, послушалась.

* * *

Он молчал. Смотрел на нее и молчал.

– Выбрала? – сипло, изменившимся голосом пробормотал Дикий.

– Тебя, – кивнула Даша и сама, первой, протянула ладонь, чтобы коснуться кончиками пальцев смуглой кожи.


По праву твоего рождения

Хватило одного взгляда, одного вдоха, еще в первую встречу, чтобы понять – Радмир Вольнов ее истинная пара. Но всеми силами девушка пыталась это отрицать. Только не он! Только не Вольнов!

– Ничего я тебе не должна! – хмуро выкрикнула Грознова.

– Подойди сюда, Божена! – прищурился Радмир.

Огромные руки хищника легли на прутья, кажущиеся хрупкими в сравнении с ним самим.

– Я что, на дуру похожа? – фыркнула Грознова и попятилась еще дальше, пока не прижалась спиной к шершавой стене.

– Не подойдешь по-хорошему, я сам подойду! – угрожал хищник, а зверь внутри Радмира бесновался.

* * *

Они встретились на грани его безумия. Сильный, жестокий хищник и хрупкая полукровка. Он виновен в смерти ее отца. А она… Она просто ненавидит его… и презирает себя, потому что вопреки скорби и голосу разума, принадлежит только ему. Она – его истинная пара.


По зову твоей крови

Когда очень хочется кричать, но не можешь, потому что не осталось сил даже на слёзы, прилетает она… Та, которая все понимает и служит твоим голосом — птичка певчая… Эскизы жизни в поэтическом формате.

Птичка певчая

Добрая и трогательная история о маленькой девочке Свете, её верных друзьях и удивительном озере, которое стало частью её сердца. В волшебном уголке природы, где мир наполнен чудесами и древними легендами, маленькая Света открывает для себя тайны природы и силу настоящей дружбы. 
История уносит нас в мир, где волшебное озеро с мерцающей, как радуга, водицей оживает под ласковым взором доброй феи, а животные и дети говорят на одном языке. Через простые, но глубокие образы книга бережно рассказывает о дружбе, заботе о природе и важности того, чтобы слышать и чувствовать мир вокруг.
 «Спасённое озеро» - это сказка, которая вдохновляет маленьких читателей стать добрее, внимательнее и ответственнее, ведь даже самые юные могут изменить мир к лучшему.

сказки

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

Спасенное озеро

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

Formal Methods. Industrial Use from Model to the Code

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