Probabilistic Real-Time Guarantees: There Is Life Beyond the i.i.d. Assumption (Outstanding Paper)

A large class of modern real–time applications exhibits important variations in the computation time and is resilient to occasional deadline misses. In such cases, probabilistic methods, in which the probability of a deadline miss can be guaranteed and related to the scheduling design choices, can be an important tool for system design. Several techniques for probabilistic guarantees exist for the resource reservation scheduler and are based on the assumption that the process describing the application is independent and identically distributed (i.i.d.). In this paper, we consider a particular class of robotic application for which this assumption is not verified. For such applications, we have verified that the computation time is more faithfully described by a Markov model. We propose techniques based on the theory of hidden Markov models to extract the structure of the model from the observation of a number of execution traces of the application. As a second contribution, we show how to adapt probabilistic guarantees to a Markovian computation time. Our experimental results reveal a very good match between the theoretical findings and the experiments.

[1]  S. Eddy.  Hidden Markov models. , 1996, Current opinion in structural biology.

[2]  Guillem Bernat,et al.  pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems , 2003 .

[3]  Emilio Frazzoli,et al.  Anytime Motion Planning using the RRT* , 2011, 2011 IEEE International Conference on Robotics and Automation.

[4]  Jr. G. Forney,et al.  The viterbi algorithm , 1973 .

[5]  Karl-Erik Årzén,et al.  The Jitter Margin and Its Application in the Design of Real-Time Control Systems , 2004 .

[6]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[7]  Luigi Palopoli,et al.  Numerically efficient probabilistic guarantees for resource reservations , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[8]  Luigi Palopoli,et al.  An Analytical Bound for Probabilistic Deadlines , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[9]  Liliana Cucu-Grosjean,et al.  A Probabilistic Calculus for Probabilistic Real-Time Systems , 2015, ACM Trans. Embed. Comput. Syst..

[10]  Luigi Palopoli,et al.  Efficient and robust probabilistic guarantees for real-time tasks , 2012, J. Syst. Softw..

[11]  Robert C. Bolles,et al.  Random sample consensus: a paradigm for model fitting with applications to image analysis and automated cartography , 1981, CACM.

[12]  Giorgio C. Buttazzo,et al.  QoS guarantee using probabilistic deadlines , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[13]  Luigi Palopoli,et al.  An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems , 2016, IEEE Transactions on Parallel and Distributed Systems.

[14]  Wolfgang Fischer,et al.  The Markov-Modulated Poisson Process (MMPP) Cookbook , 1993, Perform. Evaluation.

[15]  Chang-Gun Lee,et al.  An exact stochastic analysis of priority-driven periodic real-time systems and its approximations , 2005, IEEE Transactions on Computers.

[16]  L. Baum,et al.  An inequality and associated maximization technique in statistical estimation of probabilistic functions of a Markov process , 1972 .

[17]  Steven M. LaValle,et al.  RRT-connect: An efficient approach to single-query path planning , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[18]  Eduardo Tovar,et al.  A framework for the response time analysis of fixed-priority tasks with stochastic inter-arrival times , 2006, SIGBED.

[19]  Liliana Cucu-Grosjean,et al.  Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[20]  L. Abeni,et al.  Stochastic analysis of a reservation based system , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[21]  Luigi Palopoli,et al.  Soft real-time scheduling for embedded control systems , 2013, Autom..

[22]  Luigi Palopoli,et al.  Vision-Based Robust Path Reconstruction for Robot Control , 2014, IEEE Transactions on Instrumentation and Measurement.

[23]  Jane W.-S. Liu,et al.  Analyzing Stochastic Fixed-Priority Real-Time Systems , 1999, TACAS.

[24]  Beatrice Meini,et al.  Numerical methods for structured Markov chains , 2005 .

[25]  Luca Abeni,et al.  Deadline scheduling in the Linux kernel , 2016, Softw. Pract. Exp..

[26]  Arnold O. Allen.  Probability, Statistics, and Queueing Theory , 1978 .

[27]  Luigi Palopoli,et al.  The Continuous Stream Model of Computation for Real-Time Control , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[28]  Chang-Gun Lee,et al.  Stochastic analysis of periodic real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[29]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[30]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[31]  Vaidyanathan Ramaswami,et al.  A logarithmic reduction algorithm for quasi-birth-death processes , 1993, Journal of Applied Probability.

[32]  Lucia Lo Bello,et al.  Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[33]  Lucia Lo Bello,et al.  Pessimism in the stochastic analysis of real-time systems: concept and applications , 2004, 25th IEEE International Real-Time Systems Symposium.

[34]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[35]  Rui Liu,et al.  Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis , 2014, 2014 IEEE Real-Time Systems Symposium.

[36]  James H. Anderson,et al.  A Stochastic Framework for Multiprocessor Soft Real-Time Scheduling , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.