2026-07-22T13:05:58Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1188 2024-03-06T10:28:26Z ddc:004 open_access

Measurements or Static Analysis or Both? Petters, Stefan M. Zadarnowski, Patryk Heiser, Gernot Measurement based Approach Static Analysis Cache Analysis Proof Overestimation To date, measurement-based WCET analysis and static analysis have largely been seen as being at odds with each other. We argue that instead they should be considered complementary, and that the combination of both represents a promising approach that provides benefits over either individual approach. In this paper we discuss in some detail how we aim to improve on our probabilistic measurement-based technique by adding static cache analysis. Specifically we are planning to make use of recent advances within the functional languages research community. The objective of this paper is not to present finished or almost finished work. Instead we hope to trigger discussion and solicit feedback from the community in order to avoid pitfalls experienced by others and to help focus our research. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Stefan M. Petters and Patryk Zadarnowski and Gernot Heiser 2007 Is Part Of OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2007.1188 urn:nbn:de:0030-drops-11886 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1188 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode