Study of the Reliability of Statistical Timing Analysis for Real-Time Systems
Ref: CISTER-TR-150714 Publication Date: 4 to 6, Nov, 2015
Study of the Reliability of Statistical Timing Analysis for Real-Time SystemsRef: CISTER-TR-150714 Publication Date: 4 to 6, Nov, 2015
Probabilistic and statistical temporal analyses have been developed as a means of determining the worst-case execution and response times of real-time software for decades. A number of such methods have been proposed in the literature, of which the majority claim to be able to provide worst-case timing scenarios with respect to a given likelihood of a certain value being exceeded. Further, such claims are based on either some estimates associated with a probability, or probability distributions with a certain level of confidence. However, the validity of the claims are very much dependent on a number of factors, such as the achieved samples and the adopted distributions for analysis. In this paper, we investigate whether the claims made are in fact true as well as the establishing an understanding of the factors that affect the validity of these claims. The results are of importance for two reasons: to allow researchers to examine whether there are important issues that mean their techniques need to be refined; and so that practitioners, including industrialists who are currently using commercial timing analysis tools based on these types of techniques, understand how the techniques should be used to ensure the results are fit for their purposes.
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Main Track.