Selecting Server Parameters for Predictable Runtime Monitoring


Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preserving the temporal guarantees of the underlying system. Existing results can compute bounds on the detection latency of runtime monitors that are realized as a deferrable server… (More)
DOI: 10.1109/RTAS.2010.18

6 Figures and Tables


  • Presentations referencing similar topics