Browse > Article

An Exact Stochastic Analysis Method for Priority-driven Real-time Systems  

김강희 (서울대학교 전기컴퓨터공학부)
Publication Information
Journal of KIISE:Computer Systems and Theory / v.31, no.3_4, 2004 , pp. 170-186 More about this Journal
Abstract
Recently, for real-time applications such as multimedia and signal processing, it becomes increasingly important to provide a probabilistic guarantee that each task in the application meets its deadline with a given probability. To provide the probabilistic guarantee, an analysis method is needed that can accurately predict the deadline miss probability for each task in a given system. This paper proposes a stochastic analysis method for real-time systems that use priority-driven scheduling, such as Rate Monotonic and Earliest Deadline First, in order to accurately compute the deadline miss probability of each task in the system. The proposed method accurately computes the response time distributions for tasks with arbitrary execution time distributions, and thus makes it possible to determine the deadline miss probability of individual tasks. In the paper. through experiments, we show that the proposed method is highly accurate and outperforms exisiting methods proposed in the literature.
Keywords
Real-time systems; Probabilistic analysis; Response time analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 L. Liu and J Layland, 'Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment,' Journal of ACM, vol. 20, no. 1, pp. 46-61, 1973   DOI
2 J. P. Lehoczky, L. Sha, and Y. Ding, 'The Rate-Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior,' in Proceedings of the 10th IEEE Real-Time Systems Symposium, pp. 166-171, Dec. 1989   DOI
3 T.-S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J.-S. Liu, 'Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times,' in Proceedings of the Real-Time Technology and Applications Symposium, Chicago, Illinois, pp. 164-173, May 1995   DOI
4 J. P. Lehoczky, 'Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines,' in Proceedings of the 11th IEEE Real-Time Systems Symposium, pp. 201-209, Dec. 1990   DOI
5 S. Manolache, P. Eles, and Z. Peng, 'Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Times,' in Proceedings of the 13th Euromicro Conference on Real-Time Systems, pp. 19-26, Jun. 2001   DOI
6 M. K. Gardner, 'Probabilistic Analysis and Scheduling of Critical Soft Real-Time Systems,' Ph.D. dissertation, School of Computer Science, University of Illinois, Urbana-Champaign, 1999
7 J. P. Lehoczky, 'Real-Time Queueing Network Theory,' in Proceedings of the 18th IEEE Real-Time Systems Symposium, pp. 58-67, Dec. 1997   DOI
8 M. K. Gardner and J. W. Liu, 'Analyzing Stochastic Fixed-Priority Real-Time Systems,' in Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 44-58, Mar. 1999
9 A. K. Atlas and A. Bestavros, 'Statistical Rate Monotonic Scheduling,' in Proceedings of the 19th IEEE Real-Time Systems Symposium, pp, 123-132, Dec. 1998   DOI
10 J. P. Lehoczky, 'Real-Time Queueing Theory,' in Proceedings of the 17th IEEE Real-Time Systems Symposium, pp. 186-195, Dec. 1996   DOI
11 L. Abeni and G. Buttazzo, 'Stochastic Analysis of a Reservation Based System,' in Proceedings of the 9th International Workshop on Parallel and Distributed Real-Time Systems, Apr. 2001
12 L. Kleinrock, Queueing Systems Volume I; Theory, John Wiley and Sons, Inc., 1975
13 J. Leung and J. Whitehead, 'On the Complexity of Fixed Priority Scheduling of Periodic Real-Time Tasks,' Performance Evaluation, vol. 2, no. 4, pp. 237-250, 1982   DOI   ScienceOn
14 A. Terrasa and G. Bernat, 'Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis,', in Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications, Feb. 2003
15 J. W. S. Liu, Real-Time Systems, Prentice Hall, 2000
16 Intel, 'Intel Math Kernel Library: Reference Manual,' 2001, http://developers.intel.com/software/products/mkl
17 J. L. Diaz, D. F. Garcia, K. Kim, C.-G. Lee, L. L. Bello, J. M. Lopez, S. L. Min, and O. Mirabella, 'Stochastic Analysis of Periodic Real-Time Systems,' in Proceedings of the 23rd Real-Time Systems Symposium, pp. 289-300. Dec. 2002   DOI