Runtime Verification: The Application Perspective - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2015

Runtime Verification: The Application Perspective

Yliès Falcone
Lenore D. Zuck
  • Fonction : Auteur
  • PersonId : 945271

Résumé

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 special issue of STTT proposes extended versions of four papers that have been selected from the Runtime Verification track at ISoLA 2012 [10].
Fichier principal
Vignette du fichier
main.pdf (95.91 Ko) Télécharger le fichier
sttt-2015.pdf (95.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01127720 , version 1 (07-03-2015)

Identifiants

Citer

Yliès Falcone, Lenore D. Zuck. Runtime Verification: The Application Perspective. International Journal on Software Tools for Technology Transfer, 2015, pp.121-123. ⟨10.1007/978-3-642-34026-0_21⟩. ⟨hal-01127720⟩
111 Consultations
296 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More