Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems

@article{Medhat2014SacrificingAL,
  title={Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems},
  author={Ramy Medhat and Deepak Kumar and Borzoo Bonakdarpour and Sebastian Fischmeister},
  journal={2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)},
  year={2014},
  pages={115-126}
}
The goal of runtime verification is to inspect the correctness of a system by incorporating a monitor during its execution. Predictability of time distribution of monitor invocations and memory usage are two indicators of the quality of a monitoring solution, specially in cyber-physical systems, where the physical environment is a part of the system dynamics. In our previous work, we proposed a control-theoretic approach for coordinating time predictability and memory utilization in runtime… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.