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) Connect in order to contact the contributor
Submitted on : Thursday, August 27, 2020 - 4:39:43 PM
Last modification on : Wednesday, October 27, 2021 - 7:06:25 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

51

Files downloads

92