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.

• Type: Conference
• Year: 2003
• Where: WORDS
• Authors: Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
• Keywords: Execution Time, Hard Real-time, Input-data Dependencies, WORDS 2003