Independence - a misunderstood property of and for probabilistic real-­‐time systems

In this paper we show for the first time that the probabilistic real-time analyses do not have stronger requirements from the task systems than a deterministic real-time analysis (with respect to the hypothesis of independence originally introduced by Liu and Layland), as long as pWCETs are used.

[1]  John P. Lehoczky,et al.  Quantized EDF scheduling in a stochastic environment , 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

[2]  Isabelle Puaut,et al.  Static determination of probabilistic execution times , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[3]  Jan Karel Lenstra,et al.  Complexity of machine scheduling problems , 1975 .

[4]  Liliana Cucu-Grosjean,et al.  Re-sampling for statistical timing analysis of real-time systems , 2012, RTNS '12.

[5]  Joaquín Entrialgo,et al.  Stochastic analysis of real-time systems under preemptive priority-driven scheduling , 2008, Real-Time Systems.

[6]  Alan Burns,et al.  Realism in Statistical Analysis of Worst Case Execution Times , 2010, WCET.

[7]  Liliana Cucu-Grosjean,et al.  PROARTIS: Probabilistically Analysable Real-Time Systems , 2012 .

[8]  Azer Bestavros,et al.  Statistical rate monotonic scheduling , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

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

[10]  Liliana Cucu-Grosjean,et al.  A new way about using statistical analysis of worst-case execution times , 2011, SIGBED.

[11]  Neil C. Audsley,et al.  On priority assignment in fixed priority scheduling , 2001, Inf. Process. Lett..

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

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

[14]  Eric P. Smith,et al.  An Introduction to Statistical Modeling of Extreme Values , 2002, Technometrics.

[15]  Petru Eles,et al.  Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints , 2008, TECS.

[16]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

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

[18]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

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

[20]  Alan Burns,et al.  Predicting computation time for advanced processor architectures , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[21]  Charles M. Grinstead,et al.  Introduction to probability , 1999, Statistics for the Behavioural Sciences.

[22]  José Verschae,et al.  On the configuration-LP for scheduling on unrelated machines , 2014, J. Sched..

[23]  Jun Sun,et al.  Probabilistic performance guarantee for real-time tasks with varying computation times , 1995, Proceedings Real-Time Technology and Applications Symposium.

[24]  R. Rajkumar,et al.  Optimal partitioning for quantized EDF scheduling , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[25]  Petru Eles,et al.  Schedulability analysis of applications with stochastic task execution times , 2004, TECS.

[26]  Björn Lisper,et al.  Sequential Composition of Execution Time Distributions by Convolution , 2011 .

[27]  Gabriel A. Moreno,et al.  Statistical-Based WCET Estimation and Validation , 2009, WCET.

[28]  Alan Burns,et al.  Statistical analysis of WCET for scheduling , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[29]  B. Gnedenko.  Sur La Distribution Limite Du Terme Maximum D'Une Serie Aleatoire , 1943 .

[30]  John P. Lehoczky,et al.  Real-time queueing theory , 1996, 17th IEEE Real-Time Systems Symposium.

[31]  Pierre-Emmanuel Hladik,et al.  Efficient Stochastic Analysis of Real-Time Systems via Random Sampling , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[32]  Jirí Sgall,et al.  Graph Balancing: A Special Case of Scheduling Unrelated Parallel Machines , 2008, Algorithmica.