Сегодня формальные методы широко признаны важным этапом в процессе проектирования промышленных систем критической безопасности. В своем наиболее общем определении термин "формальные методы" охватывает все обозначения, имеющие точную математическую семантику, вместе с соответствующими методами анализа, которые позволяют описывать и анализировать поведение системы формальным образом. Выросшая из более чем десятилетней совместной работы в рамках Европейского исследовательского консорциума информатики и математики, книга "Формальные методы для промышленных критических систем: обзор применений" представляет ряд основных формальных методов, в настоящее время используемых для проектирования промышленных критических систем, с акцентом на модельную проверку. Книга преследует тройную цель: уменьшить усилия, необходимые для изучения формальных методов, что было главным препятствием для их промышленного распространения; помочь разработчикам выбрать наиболее подходящие формальные методы для их систем; и предложить набор современных методик и инструментов для анализа критических систем.
This book immediately catches readers' attention by its colourful but elegant covers. It is one of those books that read like quite entertaining yet well-researched journal articles. While the editor's style is straightforward and user-friendly, Margaria captures enough depth of content for readers to say, "Hey, that's new!" It's certain to find its place among the reference bibliography for any researchers, scholars, or practitioners in computer science and software engineering. The author, Tiziana Margaria, is certainly a world-renowned authority on verification and validation techniques such as model checking and formal methods. Her long tenure in software engineering research and industry, as well access to top ranking collaborators in Europe, speaks volumes about her expertise slant.
Книга ``Фoрмaльныe мeтoды'' Маргаpии Tицaны Мapгapии, изданнaя нa aнглийском языке под зaгoлoвкoм: "Formal Methods for Industrial Critical System" предлагает обзор приложений основных фoрмaльных мeтoдoв в индyстриaльнoм сeктope. Тopик ГК для замедления движeния смyсЛ.
Электронная Книга «Formal Methods for Industrial Critical Systems. A Survey of Applications» написана автором Margaria Tiziana в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118459867
Описание книги от Margaria Tiziana
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
