@inproceedings{4398312ff39b42a9a11e8575a33b463c,
title = "The Role of Causality in a Formal Definition of Timing Anomalies",
abstract = "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.",
keywords = "Formal Modeling, Out-of-Order Pipeline, Timing Anomalies",
author = "Benjamin Binder and Mihail Asavoae and Florian Brandner and Hedia, \{Belgacem Ben\} and Mathieu Jan",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022 ; Conference date: 23-08-2022 Through 25-08-2022",
year = "2022",
month = jan,
day = "1",
doi = "10.1109/RTCSA55878.2022.00016",
language = "English",
series = "Proceedings - 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "91--102",
booktitle = "Proceedings - 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022",
}