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

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

Full description

Bibliographic Details
Main Authors: Davis, Robert I., Cucu-Grosjean, Liliana
Format: Article
Language:English
Published: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik 2019-05-01
Series:Leibniz Transactions on Embedded Systems
Subjects:
Online Access:https://drops.dagstuhl.de/storage/07lites/lites_vol006/lites_vol006_issue001/LITES-v006-i001-a003/LITES-v006-i001-a003.pdf