J. W. S. Liu and Rhan Ha, "Methods for validating real-time constraints," Journal of Systems and Software, vol. 30, no. 1-2 (July/August 1995), pp. 85-98.  Home/Search   Document Details and Download   Summary   Related Articles

....group communication protocols. Keywords: Real time, dependable, probability density function. 1 Introduction Traditionally, real time systems have been defined by requirements that specific events, typically input or output operations, must occur at or before precisely defined moments in time [2, 4, 7, 8, 17, 18, 19, 21]. The existing methodology for designing real time systems is based on a preplanned schedule of operations, together with a known upper bound on the duration of each operation. This methodology is effective for simple real time systems, and has been used for many practical systems. As the ....

....is critical, such as the HiPerD system, these pdfs have been measured. An approach based on pdfs can provide credible quantitative estimates for the probabilities that real time deadlines will be met. 2 Related Work The classical approach to the design of real time systems, as exemplified by [2, 4, 7, 8, 17, 18, 19, 21], constructs preplanned schedules based on worst case execution behavior. It places upper and lower bounds on the durations of intervals, and simple arithmetic suffices to demonstrate that deadlines will be met. However, it provides no information about the shape of the tails of the distributions ....

J. W. S. Liu and Rhan Ha, "Methods for validating real-time constraints," Journal of Systems and Software, vol. 30, no. 1-2 (July/August 1995), pp. 85-98.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC