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

Πίνακας περιεχομένων:

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