A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems

Abstract : This survey covers probabilistic timing analysis techniques for real-time systems. It reviews and critiques the key results in the field from its origins in 2000 to the latest research published up to the end of August 2018. The survey provides a taxonomy of the different methods used, and a classification of existing research. A detailed review is provided covering the main subject areas: static probabilistic timing analysis, measurement-based probabilistic timing analysis, and hybrid methods. In addition, research on supporting mechanisms and techniques, case studies, and evaluations is also reviewed. The survey concludes by identifying open issues, key challenges and possible directions for future research.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-02158973
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Tuesday, June 18, 2019 - 2:22:11 PM
Last modification on : Thursday, June 20, 2019 - 1:34:57 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

Citation

Robert Davis, Liliana Cucu-Grosjean. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2019, 6 (1), pp.60. ⟨10.4230/LITES-v006-i001-a003⟩. ⟨hal-02158973⟩

Share

Metrics

Record views

27