Now showing items 1-2 of 2

    • Code analysis for temporal predictability 

      Gustafsson, J.; Lisper, B.; Kirner, Raimund; Puschner, P. (2006-03)
      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 ...
    • Input-dependency analysis for hard real-time software 

      Gustafsson, J.; Lisper, B.; Kirner, Raimund; Puschner, P. (IEEE COMPUTER SOC, 2004)
      The execution time of soft-ware 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 ...