Gnesi, Stefania 1954- editor. edt Margaria-Steffen, Tiziana 1964- editor. edt text bibliography Electronic books. dcu 2013 2013 monographic eng

electronic resource

1 online resource (xxi, 270 pages) : illustrations (some color) "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"-- 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. edited by Stefania Gnesi, Tiziana Margaria. Includes bibliographical references and index. 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 QA76.9.F67 F654 2013 004.01/51 COM059000 [Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013] (DLC) 2012016775 (OCoLC)795059113 9781118459898 111845989X 9781118459867 1118459865 9781283858885 1283858886 http://onlinelibrary.wiley.com/book/10.1002/9781118459898 http://onlinelibrary.wiley.com/book/10.1002/9781118459898 N$T 121210 20171113085202.0 ocn820719492 eng