Sciweavers

Share
WORDS
2003
IEEE

Input-Dependency Analysis for Hard Real-Time Software

9 years 17 days ago
Input-Dependency Analysis for Hard Real-Time Software
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 respectively eliminate input-data dependencies in the code. The paper describes the formal , 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.
Jan Gustafsson, Björn Lisper, Raimund Kirner,
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where WORDS
Authors Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Comments (0)
books