Multi-core WCET Analysis Using Non-Intrusive Continuous Observation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Multi-core WCET Analysis Using Non-Intrusive Continuous Observation

Résumé

For safety-relevant real-time applications, worst-case execution time (WCET) bounds have to be determined in order to demonstrate deadline adherence. For timing predictable microprocessors, worst-case execution time guarantees can be computed by static WCET analysis. Hybrid WCET analysis is a solution for covering effects from accesses to interference channels of multi-core processors. In this article we present a seamless approach for hybrid WCET analysis that tightly couples the tools TimeWeaver and CEDARtools. We will describe the underlying concepts, illustrate the tool workflow, and discuss the application of our approach to meet the timing requirements of the EASA AMC 20-193 guidance.
Fichier principal
Vignette du fichier
erts2024tw.pdf (1.29 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04614448 , version 1 (24-06-2024)

Identifiants

  • HAL Id : hal-04614448 , version 1

Citer

Daniel Kästner, Gernot Gebhard, Markus Pister, Simon Wegener, Christian Ferdinand, et al.. Multi-core WCET Analysis Using Non-Intrusive Continuous Observation. ERTS 2024, Jun 2024, Toulouse, France. ⟨hal-04614448⟩

Collections

ERTS2024
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More