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

TY - JOUR

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

AU - Davis, Robert Ian

AU - Cucu-Grosjean, Liliana

PY - 2019/5/14

Y1 - 2019/5/14

N2 - 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.

AB - 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.

KW - Probabilistic

KW - timing analysis

KW - real-time

U2 - 10.4230/LITES-v006-i001-a003

DO - 10.4230/LITES-v006-i001-a003

M3 - Review article

SN - 2199-2002

VL - 6

SP - 1

EP - 60

JO - LITES: Leibniz Transactions on Embedded Systems

JF - LITES: Leibniz Transactions on Embedded Systems

IS - 1

ER -