The interest in probabilistic real-time is increasing, in response to the lack of traditional static WCET analysis methods for applications running on complex systems, like multi/many-cores and COTS platforms. However, the probabilistic theory is still immature and, furthermore, it requires strong guarantees on the timing traces, in order to provide safe probabilistic-WCET estimations. These requirements can be verified with appropriate statistical tests, as described in this paper, and tested with synthetic and realistic sources, to assess their ability to detect unreliable results. In this work, we identified also the challenges and the problems of using statistical test based procedures for probabilistic real-time computing

Probabilistic-WCET reliability: on the experimental validation of EVT hypotheses

Federico Reghenzani;Giuseppe Massari;William Fornaciari;Andrea Galimberti
2019

Abstract

The interest in probabilistic real-time is increasing, in response to the lack of traditional static WCET analysis methods for applications running on complex systems, like multi/many-cores and COTS platforms. However, the probabilistic theory is still immature and, furthermore, it requires strong guarantees on the timing traces, in order to provide safe probabilistic-WCET estimations. These requirements can be verified with appropriate statistical tests, as described in this paper, and tested with synthetic and realistic sources, to assess their ability to detect unreliable results. In this work, we identified also the challenges and the problems of using statistical test based procedures for probabilistic real-time computing
COINS '19 Proceedings of the International Conference on Omni-Layer Intelligent Systems
978-1-4503-6640-3
Proabilistic real-time, WCET, worst case execution time, mixed criticality
File in questo prodotto:
File Dimensione Formato  
last-version.pdf

embargo fino al 15/05/2019

Descrizione: Accepted version - Author's version
: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 657.32 kB
Formato Adobe PDF
657.32 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/1078099
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact