TY  - BOOK
AU  - Gnesi,Stefania
AU  - Margaria-Steffen,Tiziana
TI  - Formal methods for industrial critical systems: a survey of applications 
SN  - 9781118459898
AV  - QA76.9.F67 F654 2013
U1  - 004.01/51 23
PY  - 2013///]
CY  - [Washington, DC], Hoboken, New Jersey
PB  - IEEE Computer Society, Wiley
KW  - Formal methods (Computer science)
KW  - Ebooks
KW  - UML
KW  - COMPUTERS
KW  - Computer Engineering
KW  - bisacsh
KW  - Computer Literacy
KW  - Computer Science
KW  - Data Processing
KW  - Hardware
KW  - General
KW  - Information Technology
KW  - Machine Theory
KW  - Reference
KW  - fast
KW  - Sicherheitskritisches System
KW  - gnd
KW  - Formale Methode
KW  - Electronic books
N1  - 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
N2  - "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"--
UR  - http://onlinelibrary.wiley.com/book/10.1002/9781118459898
ER  -