Formal methods for industrial critical systems :
Formal methods for industrial critical systems : a survey of applications /
edited by Stefania Gnesi, Tiziana Margaria.
- 1 online resource (xxi, 270 pages) : illustrations (some color)
Includes bibliographical references and index.
Foreword / Foreword / Introduction and State of the Art. Formal Methods: Applying Computer Science / Modeling Paradigms. A Synchronous Language at Work: The Story of Lustre / Requirements of an Integrated Formal Method for Intelligent Swarms / Transportation Systems. Some Trends in Formal Methods Applications to Railway Signaling / Symbolic Model Checking for Avionics / Telecommunications -- Applying Formal Methods to Telecommunication Services with Active Networks / Practical Applications of Probabilistic Model Checking to Communication Protocols / Internet and Online Services. Design for Verifiability: The OCS Case Study / An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® / Runtime: Testing and Model Learning. The Testing and Test Control Notation TTCN-3 and its Use / Practical Aspects of Active Automata Learning / Mike Hinchey -- Allesandro Fantechi and Pedro Merino -- Diego Latella -- Nicolas Halbwachs -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- Allesandro Fantechi, Wan Fokkink, and Angelo Mozenti -- Radu I. Siminiceanu and Gianfranco Ciardo -- María del Mar Gallardo, Jesús Martínez, and Pedro Merino -- Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria. Part I. Part II. Part III. Part IV. Part V. Part VI.
"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"--
9781118459898 111845989X 9781118459867 1118459865 9781283858885 1283858886
9781118459898
Formal methods (Computer science)
Ebooks--UML.
COMPUTERS--Computer Engineering.
COMPUTERS--Computer Literacy.
COMPUTERS--Computer Science.
COMPUTERS--Data Processing.
COMPUTERS--Hardware--General.
COMPUTERS--Information Technology.
COMPUTERS--Machine Theory.
COMPUTERS--Reference.
Formal methods (Computer science)
Sicherheitskritisches System
Formale Methode
Electronic books.
QA76.9.F67 / F654 2013
004.01/51
Includes bibliographical references and index.
Foreword / Foreword / Introduction and State of the Art. Formal Methods: Applying Computer Science / Modeling Paradigms. A Synchronous Language at Work: The Story of Lustre / Requirements of an Integrated Formal Method for Intelligent Swarms / Transportation Systems. Some Trends in Formal Methods Applications to Railway Signaling / Symbolic Model Checking for Avionics / Telecommunications -- Applying Formal Methods to Telecommunication Services with Active Networks / Practical Applications of Probabilistic Model Checking to Communication Protocols / Internet and Online Services. Design for Verifiability: The OCS Case Study / An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® / Runtime: Testing and Model Learning. The Testing and Test Control Notation TTCN-3 and its Use / Practical Aspects of Active Automata Learning / Mike Hinchey -- Allesandro Fantechi and Pedro Merino -- Diego Latella -- Nicolas Halbwachs -- Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- Allesandro Fantechi, Wan Fokkink, and Angelo Mozenti -- Radu I. Siminiceanu and Gianfranco Ciardo -- María del Mar Gallardo, Jesús Martínez, and Pedro Merino -- Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston -- Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria. Part I. Part II. Part III. Part IV. Part V. Part VI.
"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"--
9781118459898 111845989X 9781118459867 1118459865 9781283858885 1283858886
9781118459898
Formal methods (Computer science)
Ebooks--UML.
COMPUTERS--Computer Engineering.
COMPUTERS--Computer Literacy.
COMPUTERS--Computer Science.
COMPUTERS--Data Processing.
COMPUTERS--Hardware--General.
COMPUTERS--Information Technology.
COMPUTERS--Machine Theory.
COMPUTERS--Reference.
Formal methods (Computer science)
Sicherheitskritisches System
Formale Methode
Electronic books.
QA76.9.F67 / F654 2013
004.01/51