WIP: A Memory Interference Analysis using a Formal Timing Analyzer
In: LCTES 2022: Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 2022
Online
Konferenz
Zugriff:
International audience ; Safety-critical applications require well-defined and documented timing behavior. These requirements shape the design and implementation of a timing analyzer based on a formal Instruction-Set Architecture (ISA) semantics and formal micro-architecture models. In this paper we present the key elements of such a timing analyzer and how to systematically combine the formal components to address timing properties such as evaluating memory interferences. We also report preliminary experiments of memory interference analysis of multi-threaded applications in the context of multicore architectures.
Titel: |
WIP: A Memory Interference Analysis using a Formal Timing Analyzer
|
---|---|
Autor/in / Beteiligte Person: | Asavoae, Mihail ; Matoussi, Oumaima ; Asmae, Bouachtala ; Vu, Hai-Dang ; Jan, Mathieu ; Laboratoire Environnement de Conception & Architecture (LECA) ; Université Paris-Saclay-Département Systèmes et Circuits Intégrés Numériques (DSCIN (CEA, LIST)) ; 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)-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)-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) ; Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA) ; ECSEL-JU (program ECSEL-Innovation Actions-2018 (ECSEL-IA) ; Grosser, Tobias |
Link: | |
Zeitschrift: | LCTES 2022: Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 2022 |
Veröffentlichung: | HAL CCSD ; Association for Computing Machinery, 2022 |
Medientyp: | Konferenz |
ISBN: | 978-1-4503-9266-2 (print) ; 1-4503-9266-0 (print) |
DOI: | 10.1145/3519941.3535077 |
Schlagwort: |
|
Sonstiges: |
|