Runtime Verification: the Application Perspective

Ylìès Falcone 1, * Lenore Zuck 2
* Auteur correspondant
1 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In the past decade, Runtime Verification (RV) has gained much focus, from both the research community and practitioners. RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems' executions and guaranteeing their correctness using monitoring techniques. Major challenges in RV include characterizing and formally expressing requirements that can be monitored, offering intuitive and concise specification formalisms, and monitoring specifications efficiently for functional and non-functional behavior. In spite of the major strides made in recent years, much effort is still needed to make RV an attractive and viable methodology for industrial use and to apply it to wider application domains, such as security, bio-health, power micro-grids. This section introduces the papers that have been selected from the Runtime Verification track at ISoLA 2012 [10] for this special issue of Software Tools for Technology Transfer.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. 〈10.1007/s10009-014-0360-z〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01248423
Contributeur : Yliès Falcone <>
Soumis le : samedi 26 décembre 2015 - 12:01:39
Dernière modification le : mercredi 11 avril 2018 - 01:55:32

Fichier

STTT-intro-RV.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ylìès Falcone, Lenore Zuck. Runtime Verification: the Application Perspective. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. 〈10.1007/s10009-014-0360-z〉. 〈hal-01248423〉

Partager

Métriques

Consultations de la notice

277

Téléchargements de fichiers

193