Loading...
Please wait, while we are loading the content...
Similar Documents
Runtime verification of safety-progress properties (2009).
| Content Provider | CiteSeerX |
|---|---|
| Author | Falcone, Yliès Fernandez, Jean-Claude Mounier, Laurent |
| Abstract | The underlying property, its definition and representation play a major role when monitoring a system. Having a suitable and con-venient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the spaces of pro-perties for which runtime verification approaches can be applied to. This paper presents a unified view of runtime verification and enforce-ment of properties in the safety-progress classification. Firstly, we char-acterize the set of properties which can be verified (monitorable proper-ties) 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. |
| File Format | |
| Publisher Date | 2009-01-01 |
| Access Restriction | Open |
| Subject Keyword | Runtime Verification Safety-progress Property Unified View Alternative Definition Enforceable Property Delineated Space Underlying Property Property Monitoring Con-venient Framework Runtime Verification Approach Monitorable Proper-ties Specialized Verification Major Role Enforcement Monitor Safety-progress Classification Runtime Analysis |
| Content Type | Text |
| Resource Type | Article |
