research-article

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

Authors:

Laura Carnevali,

Alessandra Melani,

Luca Santinelli,

Giuseppe LipariAuthors Info & Claims

RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems

Pages 299 - 308

https://doi.org/10.1145/2659787.2659823

Published: 08 October 2014 Publication History

Abstract

Quantitative evaluation of real-time systems demands for analysis frameworks that go beyond worst-case assumptions, since some parameters could be better characterized by a random variable than by a deterministic value. On the one hand, this opens notable issues on the safe estimation of probabilistic parameters starting from real measurements. On the other hand, this also requires modeling formalisms and solution techniques that can encompass stochastic temporal parameters with a non-Markovian distribution, thus breaking the limits of Markovian approaches.

We propose a framework for modeling and evaluating periodic real-time tasks that may have a probabilistic Worst Case Execution Time (pWCET) and are scheduled by a fixed-priority non-preemptive policy. The methodology leverages the Extreme Value Theory (EVT) for the derivation of the pWCET of tasks by means of Erlang distributions. Evaluation is performed through regenerative transient analysis based on the method of stochastic state classes, supporting the derivation of quantitative measures on the time by which a deadline is missed. The approach is experimented on a case study including tasks with a pWCET derived from benchmarks and real system execution.

References

[1]

G. Ciardo and R. German and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. SW Eng., 20(7):506--515, 1994.

Digital Library

[2]

A. Bobbio and M. Telek. Markov regenerative SPN with non-overlapping activity cycles. Int. Comp. Perf. and Depend. Symp. (IPDS95), pages 124--133, 1995.

Digital Library

[3]

Anders Hessel and Paul Pettersson. A Global Algorithm for Model-Based Test Suite Generation. Electronic Notes in Theoretical Computer Science, 190(2):47--59, 2007.

[4]

D. Barkah, A. Ermedahl, J. Gustafsson, B. Lisper, and C. Sandberg. Evaluation of automatic flow analysis for wcet calculation on industrial real-time system code. In 20th Euromicro Conference on Real-Time Systems (ECRTS), 2008.

Digital Library

[5]

G. Bernat, A. Colin, and S. M. Petters. WCET analysis of probabilistic hard real-time system. In IEEE Real-Time Systems Symposium (RTSS), 2002.

Digital Library

[6]

B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on SW Eng., 17(3):259--273, March 1991.

Digital Library

[7]

A. Bobbio, A. Puliafito, M. Telek, and K. S. Trivedi. Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers, pages 119--158, 1998.

[8]

G. Bucci, L. Carnevali, L. Ridi, and E. Vicario. Oris: a tool for modeling, verification and evaluation of real-time systems. International Journal of Software Tools for Technology Transfer, 12(5):391--403, 2010.

Digital Library

[9]

L. Carnevali, L. Ridi, and E. Vicario. A framework for simulation and symbolic state space analysis of non-Markovian models. In SAFECOMP, pages 409--422, 2011.

Digital Library

[10]

H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov regenerative stochastic Petri nets. Performance Evaluation, 20(1-3):337--357, 1994.

Digital Library

[11]

L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. J. Cazorla. Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. In Euromicro Conf. on Real-Time Systems (ECRTS). IEEE, 2012.

Digital Library

[12]

A. Cumani. ESP: A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times. In PNPM, pages 144--151, 1985.

Digital Library

[13]

R. A. Davis and T. Mikosch. The extremogram: A correlogram for extreme events. Bernoulli, 2009.

[14]

J. Deverge and I. Puaut. Safe measurement-based wcet estimation. In WCET'2005, 2005.

[15]

J. Díaz, D. Garcia, K. Kim, C. Lee, L. Bello, L. J.M., and O. Mirabella. Stochastic analysis of periodic real-time systems. In 23rd of the IEEE Real-Time Systems Symposium (RTSS02), pages 289--300, 2002.

Digital Library

[16]

P. Embrechts, C. Kluppelberg, and T. Mikosch. Modelling extremal events for insurance and finance. ZOR Zeitschrift for Operations Research Mathematical Methods of Operations Research, 97(1):1--34, 1994.

[17]

A. Ermedahl and J. Engblom. Execution time analysis for embedded real-time systems. Chapman & Hall/CRC - Taylor and Francis Group, 2007.

[18]

F. Cassez and K. G. Larsen. The Impressive Power of Stopwatches, volume 1877. LNCS, August, 2000.

Digital Library

[19]

P.-M. Fournier, M. Desnoyer, and M. R. Dagenais. Combined tracing of the kernel and applications with lttng. In Linux Symposium, 2009.

[20]

G. Bucci and A. Fedeli and L. Sassoli and E. Vicario. Timed State Space Analysis of Real Time Preemptive Systems. IEEE Trans. on SW Eng., 30(2):97--111, Feb. 2004.

Digital Library

[21]

E. Gumbel. Statistics of Extremes. Columbia University Press, 1958.

[22]

J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. The Mälardalen WCET benchmarks -- past, present and future. Brussels, Belgium, July 2010. OCG.

[23]

J. Hansen, S. Hissam, and G. A. Moreno. Statistical-based wcet estimation and validation. In Int. Workshop on WCET Analysis, 2009.

[24]

A. Horváth, M. Paolieri, L. Ridi, and E. Vicario. Transient analysis of non-Markovian models using stochastic state classes. Perf. Eval., 69(7-8):315--335, 2012.

Digital Library

[25]

T. Hsing. On tail index estimation using dependent data. The Annals of Statistics, 1991.

[26]

Kim G. Larsen and Marius Mikucionis and Brian Nielsen and Arne Skou. Testing Real-time Embedded Software using UPPAAL-TRON - An Industrial Case Study. In ACM Int. Conf. on Embedded SW, 2005.

Digital Library

[27]

V. G. Kulkarni. Modeling and analysis of stochastic systems. CRC Press, 1996.

Digital Library

[28]

M. R. Leadbetter, G. Lindgren, and H. Rootzén. Extremes and Related Properties of Random Sequences and Processes. Springer-Verlag, 1983.

[29]

J. Y.-T. Leung and M. Merrill. A note on preemptive scheduling of periodic, real-time tasks. Information processing letters, 11(3):115--118, 1980.

[30]

D. Lime and O. H. Roux. Formal verification of real-time systems with preemptive scheduling. Real-Time Syst., 41(2):118--151, 2009.

Digital Library

[31]

F. Longo and M. Scarpa. Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions. In European Performance Eng. Workshop (EPEW), pages 44--58, Berlin, Heidelberg, 2009. Springer-Verlag.

Digital Library

[32]

D. Maxim and L. Cucu-Grosjean. Response time analysis for fixed-priority tasks with multiple probabilistic parameters. In IEEE Real-Time Systems Symposium, 2013.

Digital Library

[33]

A. Melani, E. Noulard, and L. Santinelli. Learning from probabilities: Dependences within real-time systems. In Int. Conf. on Emerging Technologies and Factory Automation (ETFA), 2013.

[34]

P. Northrop. Semiparametric estimation of the extremal index using block maxima. Technical report, Department of Statistical Science, University College London, 2005.

[35]

Olivier H. Roux and Didier Lime. Time Petri nets with inhibitor hyperarcs: formal semantics and state-space computation. 25th Int. Conf. on Theory and Application of Petri Nets, 3099:371--390, 2004.

[36]

W. H. Sanders and J. F. Meyer. Stochastic activity networks: Formal definitions and concepts. In Lectures on Formal Methods and Performance Analysis, pages 315--343. Springer, 2001.

Digital Library

[37]

L. Santinelli, P. Meumeu, D. Maxim, and L. Cucu-Grosjean. A component-based framework for modeling and analyzing probabilistic real-time systems. In Int. Conf. on Emerging Technologies and Factory Automation (ETFA), 2011.

[38]

L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart. On the sustainability of the extreme value theory for wcet estimation. In WCET Workshop, 2014.

[39]

K. S. Trivedi. Probability and statistics with reliability, queuing, and computer science applications. John Wiley and Sons, New York, 2001.

Digital Library

[40]

E. Vicario. Static analysis and dynamic steering of time dependent systems using time Petri nets. IEEE Trans. on SW Eng., 27(1):728--748, August 2001.

Digital Library

[41]

E. Vicario, L. Sassoli, and L. Carnevali. Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. on SW Eng., 35(5):703--719, 2009.

Digital Library

[42]

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. B. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, T. Mueller, I. Puaut, P. P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst., 2008.

Digital Library

[43]

M. Zolda, S. Bunte, and R. Kirner. Context-sensitive measurement-based worst-case execution time estimation. In Int. Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011.

Digital Library

Cited By

Markovic FNolte TPapadopoulos A(2022)Analytical Approximations in Probabilistic Analysis of Real-Time Systems2022 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS55097.2022.00023(158-171)Online publication date: Dec-2022
https://doi.org/10.1109/RTSS55097.2022.00023
Hammadeh ZQuinton SErnst R(2019)Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent TasksACM Transactions on Embedded Computing Systems10.1145/335686518:6(1-25)Online publication date: 14-Dec-2019
https://dl.acm.org/doi/10.1145/3356865
Carnevali LSantinelli LLipari G(2018)Towards Probabilistic Modeling and Analysis of Real-Time SystemsComputer Performance Engineering10.1007/978-3-030-02227-3_11(157-172)Online publication date: 3-Oct-2018
https://doi.org/10.1007/978-3-030-02227-3_11
Show More Cited By

Index Terms

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

Recommendations

A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis
ECRTS '15: Proceedings of the 2015 27th Euromicro Conference on Real-Time Systems

We focus on the problem of computing tight deadline miss models for real-time systems, which bound the number of potential deadline misses in a given sequence of activations of a task. In practical applications, such guarantees are often sufficient ...
Non-markovian analysis for model driven engineering of real-time software
ICPE '13: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering

Quantitative evaluation of models with stochastic timings can decisively support schedulability analysis and performance engineering of real-time concurrent systems. These tasks require modeling formalisms and solution techniques that can encompass ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems

October 2014

335 pages

ISBN:9781450327275

DOI:10.1145/2659787

General Chairs:
Mathieu Jan
CEA LIST, Gif-sur-Yvette, France
,
Belgacem Ben Hedia
CEA LIST, Gif-sur-Yvette, France
,
Program Chairs:
Joël Goossens
Université Libre de Bruxelles, Belgium
,
Claire Maiza
Grenoble INP / Verimag, France

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

CEA: Commissariat à l'énergie atomique et aux énergies alternatives
GDR ASR: GDR Architecture, Systèmes et Réseaux

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 October 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

RTNS '14

RTNS '14: 22nd International Conference on Real-Time Networks and Systems

October 8 - 10, 2014

Versaille, France

Acceptance Rates

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
100
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Markovic FNolte TPapadopoulos A(2022)Analytical Approximations in Probabilistic Analysis of Real-Time Systems2022 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS55097.2022.00023(158-171)Online publication date: Dec-2022
https://doi.org/10.1109/RTSS55097.2022.00023
Hammadeh ZQuinton SErnst R(2019)Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent TasksACM Transactions on Embedded Computing Systems10.1145/335686518:6(1-25)Online publication date: 14-Dec-2019
https://dl.acm.org/doi/10.1145/3356865
Carnevali LSantinelli LLipari G(2018)Towards Probabilistic Modeling and Analysis of Real-Time SystemsComputer Performance Engineering10.1007/978-3-030-02227-3_11(157-172)Online publication date: 3-Oct-2018
https://doi.org/10.1007/978-3-030-02227-3_11
Nélis VYomsi PPinho L(2015)Methodologies for the WCET Analysis of Parallel Applications on Many-Core ArchitecturesProceedings of the 2015 Euromicro Conference on Digital System Design10.1109/DSD.2015.105(748-755)Online publication date: 26-Aug-2015
https://dl.acm.org/doi/10.1109/DSD.2015.105

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents