Skip to Main content Skip to Navigation
Book sections

A Tutorial on Runtime Verification

Abstract : This tutorial presents an overview of the field referred as to runtime verification. Runtime Verification is the study of algorithms, data structures, and tools focused on analyzing executions of system. The performed analysis aims at improving the confidence in systems behavior, either by improving program understanding, or by checking conformance to specifications or algorithms. This chapter focuses specifically on checking execution traces against requirements formalized in terms of monitors. It is first shown on examples how such monitors can be written using aspect-oriented programming, exemplified by ASPECTJ. Subsequently four monitoring systems are illustrated on the same examples. The systems cover such formalisms as regular expressions, temporal logics, state machines, and rule-based programming, as well as the distinction between external and internal DSLs.
Document type :
Book sections
Complete list of metadata
Contributor : Yliès Falcone Connect in order to contact the contributor
Submitted on : Friday, August 23, 2013 - 8:08:09 PM
Last modification on : Wednesday, July 6, 2022 - 4:14:59 AM




Yliès Falcone, Klaus Havelund, Giles Reger. A Tutorial on Runtime Verification. Manfred Broy, Doron Peled, Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.141-175, 2013, NATO Science for Peace and Security Series - D: Information and Communication Security, 978-1-61499-206-6 (print); 978-1-61499-207-3 (online). ⟨10.3233/978-1-61499-207-3-141⟩. ⟨hal-00853727⟩



Record views