OASIcs.WCET.2013.32.pdf
- Filesize: 323 kB
- 10 pages
Document
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective
Authors
-
Part of:
Volume:
13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Series: Open Access Series in Informatics (OASIcs)
Conference: Workshop on Worst-Case Execution Time Analysis (WCET) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-07-08
Cite AsGet BibTex
Mihail Asavoae, Claire Maiza, and Pascal Raymond. Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 32-41, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/OASIcs.WCET.2013.32
https://doi.org/10.4230/OASIcs.WCET.2013.32
Abstract
Advanced design techniques of safety-critical applications use specialized development model based methods. Under this setting, the application exists at several levels of description, as the result of a sequence of transformations. On the positive side, the application is developed in a systematic way, while on the negative side, its high-level semantics may be obfuscated when represented at the lower levels. The application should provide certain functional and non-functional guarantees. When the application is a hard real-time program, such guarantees could be deadlines, thus making the computation of worst-case execution time (WCET) bounds mandatory.
This paper overviews, in the context of WCET analysis, what are the existing techniques to extract, express and exploit the program semantics along the model-based development workflow.
Keywords
- survey
- WCET analysis
- program semantics
- model-based design
- infeasible paths
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads