1 Hit in 7.9 sec

Runtime enforcement of regular timed properties by suppressing and delaying events

Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
2016 Science of Computer Programming  
words, constraints that should be satisfied by such functions, enforcement monitors that describe the operational behaviour of enforcement functions, and enforcement algorithms that describe the implementation  ...  In this paper, we consider enforcement monitoring for systems where the physical time elapsing between actions matters.  ...  Acknowledgment The authors would like to thank the anonymous reviewers for their remarks and suggestions on an early version of this article.  ... 
doi:10.1016/j.scico.2016.02.008 fatcat:lmhfrzzjrzevxod7tuonwlhqg4