Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis
Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari · 2014
Quantitative evaluation of real-time systems demands for analysis frameworks that go beyond worst-case assumptions, since some parameters could be better characterized by a random variable than by a deterministic value. On the one hand, this opens notable issues on the safe estimation of probabilistic parameters starting from real measurements. On the other hand, this also requires modeling formalisms and solution techniques that can encompass stochastic temporal parameters with a non-Markovian distribution, thus breaking the limits of Markovian approaches.