Re: Worst case execution time problem

Christian Christmann wrote:

in real-time systems the worst case execution time (WCET) is an important
issue. In the literature I found the statement that its calculation is
undecidable in general. Why?

Because _in_general_, it's even impossible to decide whether a given program will *ever* finish. This is known as the Halting Problem, and its impossibility was proven by Turing long before most of us were born.

If you have to be able to calculate WCET and be sure about the result, that requirement restricts the choice of programs you can write. I.e. it's a loss of generality.
.

Relevant Pages

  • Re: Worst case execution time problem
    ... Christian Christmann wrote: ... In the literature I found the statement that its calculation is ... I appreciate a detailed explanation. ...
    (comp.arch.embedded)
  • Re: Worst case execution time problem
    ... Christian Christmann wrote: ... In the literature I found the statement that its calculation is ... I appreciate a detailed explanation. ...
    (comp.arch.embedded)
  • Re: Worst case execution time problem
    ... Christian Christmann writes: ... In the literature I found the statement that its calculation is ... I appreciate any detailed explanations. ... Ship it and let them flee like the dogs they are!" ...
    (comp.programming)