Multi-core WCET Analysis Using Non-Intrusive Continuous Observation - ERTS2024 - Proceeding of the 12th European Congress on Embedded Real Time Systems Access content directly
Conference Papers Year : 2024

Multi-core WCET Analysis Using Non-Intrusive Continuous Observation

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04614448 , version 1

Cite

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 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More