Validating Static WCET Analysis: A Method and Its Application - Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Validating Static WCET Analysis: A Method and Its Application

Résumé

WCET analysis is a key activity in the development of safety critical real-time systems. Whether upper bounds on WCETs are obtained using static analysis or measurements, the confidence on the compliance of a system with its temporal requirements directly depends on the confidence on these estimations. Static WCET analysis based on abstract interpretation takes benefits from its formal foundations. However, it also strongly depends on the correctness of the underlying models. We hereby show how we have validated the version of the data flow static analyser of OTAWA applied to the AURIX TC275 target processor.
Fichier principal
Vignette du fichier
sun_26311.pdf (679.7 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02924072 , version 1 (27-08-2020)

Identifiants

Citer

Wei-Tsun Sun, Eric Jenn, Hugues Cassé. Validating Static WCET Analysis: A Method and Its Application. 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), Jul 2019, Stuttgart, Germany. pp.6:1-6:10, ⟨10.4230/OASIcs.WCET.2019.6⟩. ⟨hal-02924072⟩
88 Consultations
200 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More