06509cam a2200853Ii 4500 ocn820719492 OCoLC 20171113085202.0 m o d cr cnu---unuuu 121210t20132013dcua ob 001 0 eng d 2012016775 9781118459898 (electronic bk.) 111845989X (electronic bk.) 9781118459867 (electronic bk.) 1118459865 (electronic bk.) 9781283858885 (electronic bk.) 1283858886 (electronic bk.) 9780470876183 (print) 0470876182 (print) 9781118459898 AU@ 000050378599 CHNEW 000621248 DEBBG BV041907889 DEBSZ 379793032 DEBSZ 423149288 NLGGC 355443716 NZ1 15542317 NZ1 15915300 (OCoLC)820719492 (OCoLC)828095857 (OCoLC)961504622 N$T eng rda pn N$T UIU DG1 COO YDXCP IEEEE DG1 CUS ZMC IDEBK OCLCF FTU HEBIS UAT OCLCO E7B C6I DEBSZ OCLCQ OCLCO OCLCQ OCLCO UIU AZK MAIN QA76.9.F67 F654 2013 COM 013000 bisacsh COM 014000 bisacsh COM 018000 bisacsh COM 067000 bisacsh COM 032000 bisacsh COM 037000 bisacsh COM 052000 bisacsh 004.01/51 23 COM059000 bisacsh Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. [electronic resource] [Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013] ©2013 1 online resource (xxi, 270 pages) : illustrations (some color) text txt rdacontent computer c rdamedia online resource cr rdacarrier 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). Formal methods (Computer science) Ebooks UML. COMPUTERS Computer Engineering. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Formal methods (Computer science) fast (OCoLC)fst00932926 Sicherheitskritisches System gnd (DE-588)4767762-4 Formale Methode gnd (DE-588)4333722-3 Electronic books. Gnesi, Stefania, 1954- editor. edt Margaria-Steffen, Tiziana, 1964- editor. edt Print version: Formal methods for industrial critical systems. [Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013] 9780470876183 (DLC) 2012016775 (OCoLC)795059113 http://onlinelibrary.wiley.com/book/10.1002/9781118459898 Wiley Online Library ddc BK 206289 206289