Measurement-Based Probabilistic Timing Analysis, a probabilistic real-time computing method, is based on the Extreme Value Theory (EVT), a statistical theory applied to Worst-Case Execution Time analysis on real-time embedded systems. The output of the EVT theory is a statistical distribution, in the form of Generalized Extreme Value Distribution or Generalized Pareto Distribution. Their cumulative distribution function can asymptotically assume one of three possible forms: light, exponential or heavy tail. Recently, several works proposed to upper-bound the light-tail distributions with their exponential version. In this paper, we show that this assumption is valid only under certain conditions and that it is often misinterpreted. This leads to unsafe estimations of the worst-case execution time, which cannot be accepted in applications targeting safety critical embedded systems.

The Misconception of Exponential Tail Upper-Bounding in Probabilistic Real-Time

Reghenzani, Federico;Massari, Giuseppe;Fornaciari, William
2018-01-01

Abstract

Measurement-Based Probabilistic Timing Analysis, a probabilistic real-time computing method, is based on the Extreme Value Theory (EVT), a statistical theory applied to Worst-Case Execution Time analysis on real-time embedded systems. The output of the EVT theory is a statistical distribution, in the form of Generalized Extreme Value Distribution or Generalized Pareto Distribution. Their cumulative distribution function can asymptotically assume one of three possible forms: light, exponential or heavy tail. Recently, several works proposed to upper-bound the light-tail distributions with their exponential version. In this paper, we show that this assumption is valid only under certain conditions and that it is often misinterpreted. This leads to unsafe estimations of the worst-case execution time, which cannot be accepted in applications targeting safety critical embedded systems.
Probabilistic real-time, Embedded systems, WCET Analysis, pWCET, Real-time systems
File in questo prodotto:
File Dimensione Formato  
08585132.pdf

accesso aperto

Descrizione: Paper
: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 313.7 kB
Formato Adobe PDF
313.7 kB Adobe PDF Visualizza/Apri
2019ESL_realtime.pdf

Accesso riservato

Descrizione: versione pubblicata
: Publisher’s version
Dimensione 418.7 kB
Formato Adobe PDF
418.7 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1071391
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 8
social impact