Paper Info
Title
Runtime Verification of Safety-Progress Properties
Abstract
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 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.
Year
DOI
Venue
2009
10.1007/978-3-642-04694-0_4
RV
Keywords
Field
DocType
runtime analysis,enforcement monitor,enforceable property,monitorable property,convenient framework,runtime verification,runtime verification approach,safety-progress properties,specialized verification,property monitoring,alternative definition
Computer science,Real-time computing,Runtime verification,Theoretical computer science,Enforcement,Distributed computing,Safety property
Conference
Volume
ISSN
Citations 
5779
0302-9743
46
PageRank 
References 
Authors
1.41
22
3
Name
Order
Citations
PageRank
Yliès Falcone150839.21
Jean-Claude Fernandez21848.53
Laurent Mounier3118779.54