Lectures on Runtime Verification: Introductory and Advanced Topics

Description

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems. Front Matter ....Pages I-VII Introduction to Runtime Verification (Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger)....Pages 1-33 Discovering Concurrency Errors (João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar)....Pages 34-60 Monitoring Events that Carry Data (Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zălinescu)....Pages 61-102 Runtime Failure Prevention and Reaction (Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha)....Pages 103-134 Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković et al.)....Pages 135-175 Runtime Verification for Decentralised and Distributed Systems (Adrian Francalanza, Jorge A. Pérez, César Sánchez)....Pages 176-210 Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges (Christian Colombo, Gordon J. Pace)....Pages 211-232 Back Matter ....Pages 233-233