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 Systems
Ref: CISTER-TR-150714 Publication Date: 4 to 6, Nov, 2015Abstract:
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.
Document:
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Main Track.
Lille, France.
Record Date: 23, Jul, 2015