Formal methods for industrial critical systems : a survey of applications /

• Άλλοι συγγραφείς: Gnesi, Stefania, 1954- (Επιμελητής έκδοσης), Margaria-Steffen, Tiziana, 1964- (Επιμελητής έκδοσης)
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]
• Θέματα: 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.; Sicherheitskritisches System; Formale Methode; Electronic books.

 "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. 

 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.