The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (2008 vol.57)
pp: 418-432
ABSTRACT
In real systems, an error range (±Δ) is often given to a time stamp (t) for an observed event. Such practice implicitly states that the event happens anytime in the interval [t-Δ1, t+Δ2]. Hence, constraints based on intervals are more realistic. However, when a constraint is extended from a point to an interval, its satisfaction is not a simple Boolean value; instead, a probability is associated with the constraint. We study the satisfaction probability of interval-based timing constraints when event occurrence is non-uniformly distributed in a given time interval. An algorithm is developed to derive implicit constraints from a set of given interval-based constraints. Our study shows that there are bounds for certain constraint configurations. These analytical results are further applied in two application domains in which constraints are based on single and multiple event models, respectively.
INDEX TERMS
interval based timing constraints, satisfaction probability, event occurrence, exponential distribution, normal distribution
CITATION
Yue Yu, Shangping Ren, Ophir Frieder, "Interval-Based Timing Constraints Their Satisfactions and Applications", IEEE Transactions on Computers, vol.57, no. 3, pp. 418-432, March 2008, doi:10.1109/TC.2007.70807
REFERENCES
[1] L. Abeni and G. Buttazzo, “QoS Guarantee Using Probabilistic Deadlines,” Proc. 11th Euromicro Conf. Real-Time Systems, pp. 242-249, 1999.
[2] S. Chodrow, F. Jahanian, and M. Donner, “Run-Time Monitoring of Real-Time Systems,” Proc. 12th IEEE Real-Time Systems Symp., pp. 74-83, 1991.
[3] L. David and I. Puaut, “Static Determination of Probabilistic Execution Times,” Proc. 16th Euromicro Conf. Real-Time Systems, pp. 223-230, 2004.
[4] J.L. Díaz, D.F. García, K. Kim, C.-G. Lee, L.L. Bello, J.M. López, S.L. Min, and O. Mirabella, “Stochastic Analysis of Periodic Real-Time Systems,” Proc. 23rd IEEE Real-Time Systems Symp., pp. 289-300, 2002.
[5] J.G. Fletcher, “A More General Algorithm for Computing Closed Semiring Costs between Vertices of a Directed Graph,” Comm. ACM, vol. 23, no. 6, pp. 350-351, 1980.
[6] X.S. Hu, T. Zhou, and E.H.-M. Sha, “Estimating Probabilistic Timing Performance for Real-Time Embedded Systems,” IEEE Trans. Very Large Scale Integration Systems, vol. 9, no. 6, pp. 833-844, 2001.
[7] F. Jahanian, R. Rajkumar, and S. Raju, “Run-Time Monitoring of Timing Constraints in Distributed Real-Time Systems,” Technical Report CSE-TR 212-94, Univ. of Michigan, 1994.
[8] N. Jamali and S. Ren, “A Layered Architecture for Real-Time Open Distributed Systems,” Proc. Fourth Int'l Workshop Software Eng. for Large-Scale Multi-Agent Systems, 2005.
[9] C.-G. Lee, A.K. Mok, and P. Konana, “Monitoring of Timing Constraints with Confidence Threshold Requirements,” Proc. 24th IEEE Real-Time Systems Symp., pp. 178-187, 2003.
[10] E.A. Lee, “Building Unreliable Systems Out of Reliable Components: The Real-Time Story,” Proc. Monterey Workshop, abstract of Invited Plenary Talk, Sept. 2005.
[11] S. Manolache, P. Eles, and Z. Peng, “Optimization of Soft Real-time Systems with Deadline Miss Ratio Constraints,” Proc. 10th IEEE Real-Time and Embedded Technology and Applications Symp., pp. 562-570, 2004.
[12] A.K. Mok and G. Liu, “Efficient Run-Time Monitoring of Timing Constraint,” Proc. Third IEEE Real Time Technology and Applications Symp., pp. 252-262, 1997.
[13] A.K. Mok, C.-G. Lee, H. Woo, and P. Konana, “The Monitoring of Timing Constraints on Time Intervals,” Proc. 23rd IEEE Real-Time Systems Symp., pp. 191-200, 2002.
[14] S. Raju and R. Rajkumar, “Monitoring Timing Constraints in Distributed Real-Time Systems,” Proc. 13th IEEE Real-Time Systems Symp., pp. 57-67, 1992.
[15] S. Ren, Y. Yu, N. Chen, K. Marth, P.-E. Poirot, and L. Shen, “Actors, Roles, and Coordinators—A Coordination Model for Open Distributed Embedded Systems,” Proc. Eighth Int'l Conf. Coordination Models and Languages, pp. 247-265, 2006.
[16] S. Ren and J. Tsai, “Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems,” Proc. IEEE Int'l Conf. Sensor Networks, Ubiquitous, and Trustworthy Computing, vol. 1, pp.60-67, 2006.
[17] S. Ren, N. Venkatasubramanian, and G.A. Agha, “Formalizing QoS Constraints Using Actors,” Proc. Second IFIP Int'l Conf. Formal Methods for Open Object Based Distributed Systems, 1997.
[18] H. Woo, A.K. Mok, and D. Chen, “Realizing the Potential of Monitoring Uncertain Event Streams in Real-Time Embedded Applications,” Proc. 13th IEEE Real Time Technology and Applications Symp., Workshop Event-Based Semantics, 2007.
[19] H. Woo, A.K. Mok, and C.-G. Lee, “A Generic Framework for Monitoring Timing Constraints over Uncertain Events,” Proc. 27th IEEE Real-Time Systems Symp., pp. 435-444, 2006.
[20] R.D. Yates and D.J. Goodman, Probability and Stochastic Processes: A Friendly Introduction for Electrical and Computer Engineers, chapter 7, pp. 247-252. John Wiley & Sons, 1999.
[21] Y. Yu and S. Ren, “Expected Time for Obtaining Dependable Data in Real-Time Environment,” Proc. 21st IEEE Int'l Parallel and Distributed Processing Symp., 2007.
[22] Y. Yu, S. Ren, and K.A. Kwiat, “Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits,” Proc. 13th IEEE Real Time Technology and Applications Symp., pp. 315-325, 2007.
[23] Y. Yu, S. Ren, and O. Frieder, “Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Failure Distribution Model,” Proc. 27th IEEE Real-Time Systems Symp., pp. 454-466, 2006.
[24] Y. Zhang and K. Chakrabarty, “Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems,” Proc. IEEE/ACM Design, Automation and Test in Europe Conf., pp. 918-923, 2003.
[25] D. Zhu, “Reliability-Aware Dynamic Energy Management in Dependable Embedded Real-Time Systems,” Proc. 12th IEEE Real-Time and Embedded Technology and Applications Symp., pp. 397-407, 2006.
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool