loading...
A Generic Framework for Monitoring Timing Constraints over Uncertain Events
Rio de Janeiro, Brazil December 05-December 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTSS.2006.627th IEEE International Real-Time Sys ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Honguk Woo, The University of Texas at Austin, USA
Aloysius K. Mok, The University of Texas at Austin, USA
Chan-Gun Lee, Intel Corporation
This paper provides a comprehensive approach to the problem of monitoring timing constraints over event streams for which the timestamp values are inherently uncertain. We first propose a generic framework for capturing the early detection of the violation of timing constraints, based on the notion of probabilistic violation time. In doing so, we provide a systemic approach for deriving a set of necessary constraints at compilation time. Our work is innovative in that the framework is formulated to be "modular" with respect to the probability distributions on timestamp values. We demonstrate the applicability of the framework for two different timestamp models, Gaussian and Histogram. The gaussian model is appropriate for representing event timing from a wide variety of sensors with well-modelled physical noise characteristics; we show how we can efficiently derive the probabilistic violation time of timing constraints by exploiting the relation between the gaussian distribution parameters. The histogram model can be used where the timestamps of events are available from measurements only as arbitrary probability distributions: we show how to derive an efficient timing constraint monitoring method for the histogram model.
Citation:
Honguk Woo, Aloysius K. Mok, Chan-Gun Lee, "A Generic Framework for Monitoring Timing Constraints over Uncertain Events," rtss, pp.435-444, 27th IEEE International Real-Time Systems Symposium (RTSS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.