DocumentCode :
2930885
Title :
A Generic Framework for Monitoring Timing Constraints over Uncertain Events
Author :
Woo, Honguk ; Mok, Aloysius K. ; Lee, Chan-Gun
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX
fYear :
2006
fDate :
Dec. 2006
Firstpage :
435
Lastpage :
444
Abstract :
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
Keywords :
Gaussian distribution; data handling; probability; system monitoring; Gaussian distribution parameter; histogram; probabilistic violation time; probability distribution; timestamp value; timing constraint monitoring; uncertain event; Databases; Delay; Event detection; Hardware; Histograms; Monitoring; Probability distribution; Real time systems; Timing; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems Symposium, 2006. RTSS '06. 27th IEEE International
Conference_Location :
Rio de Janeiro
ISSN :
1052-8725
Print_ISBN :
0-7695-2761-2
Type :
conf
DOI :
10.1109/RTSS.2006.6
Filename :
4032370
Link To Document :
بازگشت