Skip to Main content Skip to Navigation
Conference papers

Validating Static WCET Analysis: A Method and Its Application

Abstract : 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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02924072
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, August 27, 2020 - 4:39:43 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:35 AM
Long-term archiving on: : Saturday, November 28, 2020 - 12:53:36 PM

File

sun_26311.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

45

Files downloads

73