A Tutorial on Runtime Verification

Yliès Falcone 1 Klaus Havelund Giles Reger
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00853727
Contributeur : Yliès Falcone <>
Soumis le : vendredi 23 août 2013 - 20:08:09
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

266