Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions
Simon Schuster, Peter Wägemann, Peter Ulbrich, Wolfgang Schröder‐Preikschat · 2021
The widespread adoption of cyber-physical systems in the safety-critical (hard real-time) domain is accompanied by a rising degree of code-reuse up to actual software product lines spanning different hardware platforms. Nevertheless, the dominant tools for static worst-case execution-time (WCET) analysis operate on individual, specific system instances at the binary level, further depending on machine-code–level annotations for precise analysis. Thus, this timing verification is neither portable nor reusable.