The Role of Causality in a Formal Definition of Timing Anomalies - Département Informatique et Réseaux Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

The Role of Causality in a Formal Definition of Timing Anomalies

Résumé

Intuitively, a counter-intuitive timing anomaly manifests when a locally faster execution becomes globally slower. While the presence of such timing anomalies threatens the soundness and/or scalability of timing analyses, tools to systematically detect them do not exist. The main reason lies in the absence of a definition of counter-intuitive timing anomalies that establishes relations between local and global timing effects. In this paper, we address these relations through an important concept, that of causality, which we further use to revise the formalization of counter-intuitive timing anomalies. We also propose a specialized instance of the notions to implement a detection procedure for out-of-order pipelines.
Fichier principal
Vignette du fichier
subm_rtcsa22 .pdf (573.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03867187 , version 1 (08-02-2024)

Identifiants

Citer

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. The Role of Causality in a Formal Definition of Timing Anomalies. 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, Taiwan. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩. ⟨hal-03867187⟩
37 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More