Predictive Runtime Verification of Timed Properties - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Systems and Software Année : 2017

Predictive Runtime Verification of Timed Properties

Résumé

Runtime verification (RV) techniques are used to continuously check whether the (un-trustworthy) output of a black-box system satisfies or violates a desired property. When we consider runtime verification of timed properties, physical time elapsing between actions influences the satisfiability of the property. This paper introduces predictive runtime verification of timed properties where the system is not entirely a black-box but something about its behaviour is known a priori. A priori knowledge about the behaviour of the system allows the verification monitor to foresee the satisfaction (or violation) of the monitored property. In addition to providing a conclusive verdict earlier , the verification monitor also provides additional information such as the minimum (maximum) time when the property can be violated (satisfied) in the future. The feasibility of the proposed approach is demonstrated by a prototype implementation, which is able to synthesize predictive runtime verification monitors from timed automata.
Fichier principal
Vignette du fichier
jss.pdf (785.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01666995 , version 1 (19-12-2017)

Identifiants

Citer

Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, et al.. Predictive Runtime Verification of Timed Properties. Journal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩. ⟨hal-01666995⟩
876 Consultations
477 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More