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
ISBN: 9781450384728
URI: https://www4.cs.fau.de/Publications/2021/schuster_21_lctes.pdf
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.
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