This survey covers probabilistic timing analysis techniques for real-time systems. It reviews andcritiques the key results in the field from its origins in 2000 to the latest research published upto the end of August 2018. The survey provides a taxonomy of the different methods used, and aclassification 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 forfuture research.
Download Not Available

BibTex Entry

@article{Davis_2019a,
 author = {Davis, {Robert Ian} and Liliana Cucu-Grosjean},
 day = {14},
 issn = {2199-2002},
 journal = {LITES: Leibniz Transactions on Embedded Systems},
 keywords = {Probabilistic, timing analysis, real-time},
 language = {English},
 month = {5},
 number = {1},
 pages = {1--60},
 pure_url = {https://pure.york.ac.uk/portal/en/publications/a-survey-of-probabilistic-timing-analysis-techniques-for-realtime-systems(8e94f7d9-a9c9-4e44-a5e5-66070b385a12).html},
 title = {A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems},
 volume = {6},
 year = {2019}
}