Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification

@inproceedings{Navabpour2011EfficientTF,
  title={Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification},
  author={Samaneh Navabpour and Chun Wah Wallace Wu and Borzoo Bonakdarpour and Sebastian Fischmeister},
  booktitle={RV},
  year={2011}
}
Time-triggered runtime verification aims at tackling two defects associated with runtime overhead normally incurred in event-triggered approaches: unboundedness and unpredictability. In the time-triggered approach, a monitor runs in parallel with the program and periodically samples the program state to evaluate a set of properties. In our previous work, we… CONTINUE READING