The Role of Causality in a Formal Definition of Timing Anomalies

Authors :: Binder, Benjamin
Asavoae, Mihail
Brandner, Florian
Hedia, Belgacem Ben
Jan, Mathieu
Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
Direction de Recherche Technologique (CEA) (DRT (CEA))
Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Autonomic and Critical Embedded Systems (ACES)
Laboratoire Traitement et Communication de l'Information (LTCI)
Institut Mines-Télécom [Paris] (IMT)-Télécom Paris-Institut Mines-Télécom [Paris] (IMT)-Télécom Paris
Département Informatique et Réseaux (INFRES)
Télécom ParisTech
Institut Mines-Télécom [Paris] (IMT)-Télécom Paris
Source :: 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Publication Year :: 2022
Publisher :: IEEE, 2022.
Abstract: International audience

Subjects :: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Database :: OpenAIRE
Journal :: 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Accession number :: edsair.doi.dedup.....3934976e9f0c2bcbd798d55b7be78bc1

Tools