License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2013.32
URN: urn:nbn:de:0030-drops-41209
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4120/
Go to the corresponding OASIcs Volume Portal

Asavoae, Mihail ; Maiza, Claire ; Raymond, Pascal

Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective

pdf-format:
5.pdf (0.3 MB)

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.

BibTeX - Entry

@InProceedings{asavoae_et_al:OASIcs:2013:4120,
  author =	{Mihail Asavoae and Claire Maiza and Pascal Raymond},
  title =	{{Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective}},
  booktitle =	{13th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{32--41},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-54-5},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{30},
  editor =	{Claire Maiza},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4120},
  URN =		{urn:nbn:de:0030-drops-41209},
  doi =		{10.4230/OASIcs.WCET.2013.32},
  annote =	{Keywords: survey, WCET analysis, program semantics, model-based design, infeasible paths}
}

Keywords: survey, WCET analysis, program semantics, model-based design, infeasible paths
Collection: 13th International Workshop on Worst-Case Execution Time Analysis
Issue Date: 2013
Date of publication: 08.07.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI