2013
DOI: 10.1007/978-3-642-35632-2_23
|View full text |Cite
|
Sign up to set email alerts
|

Runtime Enforcement of Timed Properties

Abstract: Abstract. Runtime enforcement is a powerful technique to ensure that a running system respects some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form of a sequence of events) is modified into an output sequence that complies to a property. Runtime enforcement has been extensively studied over the last decade in the context of untimed properties. This paper introduces runtime enforcement of timed properties. We revisit the foundations of runtime enforcement when t… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
62
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
4
2

Relationship

3
3

Authors

Journals

citations
Cited by 23 publications
(63 citation statements)
references
References 18 publications
1
62
0
Order By: Relevance
“…First, as in the untimed case, the order of events might be modified. Thus, previous definitions of transparency (Pinisetty et al, 2012), stating that the output of an enforcement function will eventually be a delayed prefix of the input, can not be used in this situation. Moreover, when delaying some events to have the property satisfied in the future, one must consider the fact that some uncontrollable events could occur at any moment (and cannot be delayed).…”
Section: Enforcement Monitoring Of Timed Propertiesmentioning
confidence: 99%
See 4 more Smart Citations
“…First, as in the untimed case, the order of events might be modified. Thus, previous definitions of transparency (Pinisetty et al, 2012), stating that the output of an enforcement function will eventually be a delayed prefix of the input, can not be used in this situation. Moreover, when delaying some events to have the property satisfied in the future, one must consider the fact that some uncontrollable events could occur at any moment (and cannot be delayed).…”
Section: Enforcement Monitoring Of Timed Propertiesmentioning
confidence: 99%
“…The output obtained with our approach at date t = 4 is (4, Write). (4, Write) whereas the output obtained in (Pinisetty et al, 2012) would be (2, Write).…”
Section: Examplementioning
confidence: 99%
See 3 more Smart Citations