Informatik (4 Artikel)

As timing is a major property of hard real-time, proving timing correctness is of utter importance. A static timing analysis derives upper bounds on the execution time of tasks, a scheduling analys...

Embedded systems as they occur in application domains such as automotive, aeronautics, and industrial automation often have to satisfy hard real-time constraints. Safe and precise bounds on the wor...

In der Arbeit werden unterschiedliche Ansätze untersucht, wie eine spezielle Aufgabenstellung aus dem Bereich Computer-Vision von einem autonomen Software-Agenten gelöst werden kann. Die Aufgabenst...

Safety-critical hard real-time systems are subject to strict timing constraints. In order to derive guarantees on the timing behavior, the worst-case execution time (WCET) of each task comprising t...