The determination of upper bounds on execution times, commonly called worst-case
execution times (WCETs), is a necessary step in the development and validation process for …

Increasingly, software should dynamically adapt its behavior at run-time in response to
changing conditions in the supporting computing and communication infrastructure, and in …

This paper describes an inter-procedural technique for computing symbolic bounds on the
number of statements a procedure executes in terms of its scalar inputs and user-defined …

Embedded hard real-time systems need reliable guarantees for the satisfaction of their
timing constraints. Experience with the use of static timing-analysis methods and the tools …

Estimating the Worst Case Execution Time (WCET) of real-time embedded software is an
important problem. WCET is defined as the upper bound b on the execution time of a …

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …

Static worst-case execution time (WCET) analysis is a technique to derive upper bounds for
the execution times of programs. Such bounds are crucial when designing and verifying real …

Beside the usual graphic editing and simulation facilities, the software tool Tina may build a
number of state space abstractions for Petri nets or Time Petri nets, preserving certain …

In this article we give an overview of the worst-case execution time (WCET) analysis
research performed by the WCET group of the ASTEC Competence Centre at Uppsala …

Program analysis and automated test generation have primarily been used to find
correctness bugs. We present complexity testing, a novel automated test generation …