Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions

Schuster S, Wägemann P, Ulbrich P, Schröder-Preikschat W (2021)


Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2021

Publisher: Association for Computing Machinery

City/Town: New York, NY, USA

Pages Range: 54-66

Conference Proceedings Title: Proceedings of the 22nd SIGPLAN/SIGBED International Conference on Languages,Compilers, and Tools for Embedded Systems (LCTES '21)

Event location: Virtual, Online, CAN CA

ISBN: 9781450384728

URI: https://www4.cs.fau.de/Publications/2021/schuster_21_lctes.pdf

DOI: 10.1145/3461648.3463847

Abstract

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. PragMetis addresses this schism by providing an expressive source-level annotation language that enables to express context dependence at the library level using user-defined abstractions. These abstractions allow users to generically annotate context-dependent flow facts down to the granularity of individual loop contexts. We then use control-flow-relation graphs to transfer these facts to machine-code level for specific instances, even in the presence of certain compiler optimizations, thus achieving portability. Our evaluation results based on TACLeBench confirm that PragMetis's powerful expressions yield more accurate WCET bounds.

Authors with CRIS profile

Involved external institutions

How to cite

APA:

Schuster, S., Wägemann, P., Ulbrich, P., & Schröder-Preikschat, W. (2021). Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions. In Jorg Henkel, Xu Liu (Eds.), Proceedings of the 22nd SIGPLAN/SIGBED International Conference on Languages,Compilers, and Tools for Embedded Systems (LCTES '21) (pp. 54-66). Virtual, Online, CAN, CA: New York, NY, USA: Association for Computing Machinery.

MLA:

Schuster, Simon, et al. "Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions." Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2021, Virtual, Online, CAN Ed. Jorg Henkel, Xu Liu, New York, NY, USA: Association for Computing Machinery, 2021. 54-66.

BibTeX: Download