Runtime monitoring of timing constraints in distributed real-time systems
Real-Time Systems - Special issue on responsive computer systems
Run-time monitoring of real-time systems
Advances in real-time systems
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Stutter-invariant temporal properties are expressible without the next-time operator
Information Processing Letters
Dynamical Properties of Timed Automata
Discrete Event Dynamic Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
From Duration Calculus To Linear Hybrid Automata
Proceedings of the 7th International Conference on Computer Aided Verification
Temporal Verification of Simulation and Refinement
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Efficient Run-Time Monitoring of Timing Constraints
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
The Monitoring of Timing Constraints on Time Intervals
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Monitoring of Timing Constraints with Confidence Threshold Requirements
IEEE Transactions on Computers
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
Formal Methods for Industrial Critical Systems
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Runtime verification of microcontroller binary code
Science of Computer Programming
| Hi-index | 0.00 |
Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in creating new bugs, or possibly even `fixing' bugs, only to reappear as the monitor is removed. Properties written in a real-time logic, such as duration calculus, can be particularly sensitive to such changes induced through monitoring. The same problem occurs in other scenarios such as when a system is ported to a faster machine. In this paper, we identify a class of real-time properties, in duration calculus, which are monotonic under the slowing down (speeding up) of the underlying system. We apply this approach to the real-time runtime monitoring tool Larva , where we use duration calculus as a monitoring property specification language, so we automatically identify properties which can be shown to be monotonic with respect to system re-timing.