Amazon cover image
Image from Amazon.com

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

Contributor(s): Material type: TextTextPublisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013Description: 1 online resource (xxi, 270 pages) : illustrations (some color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781118459898
  • 111845989X
  • 9781118459867
  • 1118459865
  • 9781283858885
  • 1283858886
Subject(s): Genre/Form: Additional physical formats: Print version:: Formal methods for industrial critical systems.DDC classification:
  • 004.01/51 23
LOC classification:
  • QA76.9.F67 F654 2013
Other classification:
  • COM059000
Online resources:
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"-- Provided by publisher.Summary: "Balances leading edge material, established practice, and reviews of historically important contributions"-- Provided by publisher.
List(s) this item appears in: Sofware Engineering & Computer Science
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Includes bibliographical references and index.

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.

"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"-- Provided by publisher.

"Balances leading edge material, established practice, and reviews of historically important contributions"-- Provided by publisher.

Print version record and online resource; title from PDF title page (IEEE Xplore, viewed March 25, 2014).

Electrical & Telecommunication Engineering