What can you verify and Enforce at Runtime? - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2011

What can you verify and Enforce at Runtime?

Résumé

The underlying property, its definition and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents a unified view of runtime verification and enforcement of properties in the Safety-Progress classification. Firstly, we extend the Safety-Progress classification of properties in a runtime context. Secondly, we characterize the set of properties which can be verified (monitorable properties) and enforced (enforceable properties) at runtime. We propose in particular an alternative definition of ''property monitoring'' to the one classically used in this context. Finally, for the delineated sets of properties, we define specialized verification and enforcement monitors.
Fichier principal
Vignette du fichier
sttt11.pdf (570.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00497350 , version 1 (04-07-2010)
hal-00497350 , version 2 (29-09-2011)

Identifiants

  • HAL Id : hal-00497350 , version 2

Citer

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. What can you verify and Enforce at Runtime?. International Journal on Software Tools for Technology Transfer, 2011, pp.Online First. ⟨hal-00497350v2⟩
339 Consultations
310 Téléchargements

Partager

Gmail Facebook X LinkedIn More