Skip to Main content Skip to Navigation
Conference papers

Runtime Verification of Safety-Progress Properties

Abstract : The underlying property, its definition and representation play a ma jor 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 spaces of properties for which runtime verification 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 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. Secondly, for the delineated spaces of properties, we obtain specialized verification and enforcement monitors.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00420487
Contributor : Yliès Falcone <>
Submitted on : Tuesday, September 29, 2009 - 10:59:05 AM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 11:35:59 AM

Files

main1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00420487, version 1

Collections

Citation

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. Runtime Verification, Jun 2009, France. pp.40--59. ⟨hal-00420487⟩

Share

Metrics

Record views

619

Files downloads

1118