Code Analysis for Temporal Predictability

Authors:

Jan Gustafsson, Björn Lisper, Raimund Kirner , Peter Puschner

Note:

Available online at <a href="http://dx.doi.org/10.1007/s11241-005-4683-4">http://dx.doi.org/10.1007/s11241-005-4683-4</a>

Research group:

Programming Languages

Publication Type:

Journal article

Venue:

Real-Time Systems

Publisher:

Springer-Verlag

Abstract

The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid and eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies input-data dependencies in the code and thus forms the basis for the strategies provided for hard real-time code development.

Bibtex

@article{Gustafsson917,
author = {Jan Gustafsson and Bj{\"o}rn Lisper and Raimund Kirner and Peter Puschner},
title = {Code Analysis for Temporal Predictability},
note = {Available online at \textlessa href={"}http://dx.doi.org/10.1007/s11241-005-4683-4{"}\textgreaterhttp://dx.doi.org/10.1007/s11241-005-4683-4\textless/a\textgreater},
volume = {32},
number = {3},
pages = {253--277},
month = {March},
year = {2006},
journal = { Real-Time Systems},
publisher = {Springer-Verlag},
url = {http://www.es.mdu.se/publications/917-}
}