loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
24th IEEE International Real-Time Systems Symposium (RTSS'03)
Monitoring of Timing Constraints with Confidence Threshold Requirements
Cancun, Mexico
December 03-December 05
ISBN: 0-7695-2044-8
Chan-Gun Lee, The University of Texas at Austin
Aloysius K. Mok, The University of Texas at Austin
Prabhudev Konana, The University of Texas at Austin
We propose an algorithm for monitoring timing constraints to satisfy confidence threshold requirements when there is uncertainty in the exact timing of event occurrences. In our model, a timed event trace is examined for possible satisfaction/violation with respect to a given set of timing constraints. Every event occurence has a timestamp given by a time interval. Assuming that the time of occurence is uniformly distributed over the time interval, our algorithm determines whether the probability that a timing constraint has been satisfied exceeds a specified threshold value. Timing constraints are composed of deadline and delay constraints for which satisfaction probabilities are defined. A confidence threshold is a minimum satisfaction probability of the timing constraint. A timing constraint is violated if the confidence threshold is not reached by the timed event trace. We present a PTime monitoring algorithm for detecting timing violation by finding the earliest expiration time (EET) of the deadline timer for each of the cases P = 100%, 50% ≤ P < 100%, and 0% < P < 50%, where P is the confidence threshold of the timing constraint. We give a derivation of the implicit constraints needed for computation the EET, and we show how to use an all-pairs shortest path algorithm to compute the implicit constraints.
Citation:
Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana, "Monitoring of Timing Constraints with Confidence Threshold Requirements," rtss, pp.178, 24th IEEE International Real-Time Systems Symposium (RTSS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.