Input-Dependency Analysis for Hard Real-Time Software

  title={Input-Dependency Analysis for Hard Real-Time Software},
  author={Jan Gustafsson and Bj{\"o}rn Lisper and Raimund Kirner and Peter P. Puschner},
  journal={2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems},
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… CONTINUE READING