Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints

@article{Medhat2015RuntimeMO,
  title={Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints},
  author={Ramy Medhat and Borzoo Bonakdarpour and Deepak Kumar and Sebastian Fischmeister},
  journal={ACM Trans. Embedded Comput. Syst.},
  year={2015},
  volume={14},
  pages={79:1-79:29}
}
The goal of runtime monitoring is to inspect the well-being of a system by employing a monitor process that reads the state of the system during execution and evaluates a set of properties expressed in some specification language. The main challenge in runtime monitoring is dealing with the costs imposed in terms of resource utilization. In the context of cyber-physical systems, it is crucial for a software monitoring solution to be time predictable to improve scheduling, as well as support… CONTINUE READING

Similar Papers

Figures, Tables, Results, and Topics from this paper.

Key Quantitative Results

  • The experimental results of the case studies demonstrate up to 40% improvement in time predictability of the monitoring solution when compared to a basic event-triggered approach. Moreover, memory utilization reaches an average of 90% when using our dynamic buffer resizing mechanism.
  • up to 40% improvement in time predictability of the monitoring solution when compared to a basic event-triggered approach. Moreover, memory utilization reaches an average of 90% when using our dynamic buffer resizing mechanism.

Citations

Publications citing this paper.

References

Publications referenced by this paper.

An Introduction to Fuzzy Control

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL