Email RIS file
Bookmark
Report an Issue

Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria

Published
[Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013]
Copyright Date
©2013
Physical Description
1 online resource (xxi, 270 pages) : illustrations (some color)
Additional Creators
Gnesi, Stefania, 1954- and Margaria-Steffen, Tiziana, 1964-
Access Online

Availability

I Want It
I Want It

Finding items...

Contents
Foreword / Mike Hinchey -- Foreword / Allesandro Fantechi and Pedro Merino -- Part I. Introduction and State of the Art. Formal Methods: Applying {Logics in, Theoretical} Computer Science / Diego Latella -- Part II. Modeling Paradigms. A Synchronous Language at Work: The Story of Lustre / Nicolas Halbwachs -- Requirements of an Integrated Formal Method for Intelligent Swarms / Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- Part III. Transportation Systems. Some Trends in Formal Methods Applications to Railway Signaling / Allesandro Fantechi, Wan Fokkink, and Angelo Mozenti -- Symbolic Model Checking for Avionics / Radu I. Siminiceanu and Gianfranco Ciardo -- Part IV. Telecommunications -- Applying Formal Methods to Telecommunication Services with Active Networks / María del Mar Gallardo, Jesús Martínez, and Pedro Merino -- Practical Applications of Probabilistic Model Checking to Communication Protocols / Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston -- Part V. Internet and Online Services. Design for Verifiability: The OCS Case Study / Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® / Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- Part VI. Runtime: Testing and Model Learning. The Testing and Test Control Notation TTCN-3 and its Use / Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- Practical Aspects of Active Automata Learning / Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria.
Summary
"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"--
"Balances leading edge material, established practice, and reviews of historically important contributions"--
Subject(s)
Genre(s)
ISBN
9781118459898 (electronic bk.)
111845989X (electronic bk.)
9781118459867 (electronic bk.)
1118459865 (electronic bk.)
9781283858885 (electronic bk.)
1283858886 (electronic bk.)
9780470876183 (print)
0470876182 (print)
Bibliography Note
Includes bibliographical references and index.
View MARC record | catkey: 37410187