Probabilistic Real-Time Guarantees: There Is Life Beyond the i.i.d. Assumption (Outstanding Paper)

Frías, Bernardo Villalba; Palopoli, Luigi; Abeni, Luca; Fontanelli, Daniele

doi:10.1109/rtas.2017.18

Cited by 10 publications

(11 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To the best of our knowledge, the vast majority of works in this area have used Extreme Value Theory (EVT), paralleling the worst-case execution-time behaviour of a program to an extreme-value probability distribution. A residual fraction of works have explored other theories such as Copulas [22] or Markov models [39,110]. Owing to this dominance, this section concentrates on EVT and its use for the pWCET estimation problem.…”

Section: Statistical Modelingmentioning

confidence: 99%

Probabilistic Worst-Case Timing Analysis

et al. 2019

View full text Add to dashboard Cite

The unabated increase in the complexity of the hardware and software components of modern embedded real-time systems has given momentum to a host of research in the use of probabilistic and statistical techniques for timing analysis. In the last few years, that front of investigation has yielded a body of scientific literature vast enough to warrant some comprehensive taxonomy of motivations, strategies of application, and directions of research. This survey addresses this very need, singling out the principal techniques in the state of the art of timing analysis that employ probabilistic reasoning at some level, building a taxonomy of them, discussing their relative merit and limitations, and the relations among them. In addition to offering a comprehensive foundation to savvy probabilistic timing analysis, this paper also identifies the key challenges to be addressed to consolidate the scientific soundness and industrial viability of this emerging field.

show abstract

Section: Statistical Modelingmentioning

confidence: 99%

Probabilistic Worst-Case Timing Analysis

et al. 2019

View full text Add to dashboard Cite

show abstract

“…While this assumption does not impair the application of the analysis in many cases of interest, its results could not be entirely accurate for other applications (eg, in the robotics area). To address this limitation, Villalba et al have recently proposed an extension of the analysis techniques first proposed for i.i.d. computation times to the case of Markov modulated computation times (MMP), a correlated process that is apparently applicable to a large class of robotic applications.…”

Section: Related Workmentioning

confidence: 99%

“…If the tasks cannot migrate between CPU cores and for each core the parameters assigned to the different tasks are such that

\sum_{i} B_{i} = \sum_{i} \frac{Q_{i}^{s} T_{i}^{s}}{q} \leq 1,

then each task is guaranteed to receive

Q_{i}^{s}

units of execution time within every reservation period

T_{i}^{s}

. This property is called temporal isolation and is key to the derivation of the stochastic model of the resource reservation presented in our previous work and recalled in Section 5. The PROSIT tool operates with any reservation scheduler as long as it respects the temporal isolation property.…”

Section: Problem Presentationmentioning

confidence: 99%

“…Additionally, PROSIT was used in the work of Palopoli et al for the experimental validation and the probabilistic quality optimization, in the work of Frías et al for the stochastic analysis, and the works of Frías et al and Abeni et al for the estimation of the parameters of the model. Moreover, PROSIT is freely available online for the real‐time systems research community and the industrial practitioners.…”

Section: Application Examplesmentioning

confidence: 99%

“…This scenario comprises two periodic real‐time synthetic applications that are scheduled through a reservation‐based scheduler. The first task is characterized by a computation time described by an independent and identically distributed random variable; on the other hand, the second task is characterized by a computation time described by MCTM . In both cases, we used synthetic distributions to describe the computation times.…”

Section: Application Examplesmentioning

confidence: 99%

See 2 more Smart Citations

The PROSIT tool: Toward the optimal design of probabilistic soft real‐time systems

et al. 2018

Self Cite

View full text Add to dashboard Cite

Summary In recent years, series of important achievements have paved the way for the introduction of probabilistic analysis in the area of soft real‐time systems design. In this article, we present an extensible design tool, called PROSIT, which facilitates the access to this technology for a potentially large number of researchers and industrial practitioners. The tool enables the probabilistic analysis of the temporal performance of a real‐time task under fixed‐priority and resource reservations scheduling algorithms. For resource reservations, the tool also offers an automatic procedure for the synthesis of scheduling parameters that optimize a quality metric related to the probabilistic behavior of the tasks.

show abstract