OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Validating Static WCET Analysis: A Method and Its Application

Sun, Wei-Tsun and Jenn, Eric and Cassé, Hugues Validating Static WCET Analysis: A Method and Its Application. (2019) In: 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), 9 July 2019 (Stuttgart, Germany).

(Document in English)

PDF (Publisher's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.4230/OASIcs.WCET.2019.6


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.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-02924072
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Thales (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Laboratory name:
Deposited On:27 Aug 2020 14:39

Repository Staff Only: item control page