The current practice to design software for real-time systems is tedious. There is almost no
tool support that assists the designer in automatically deriving safe bounds of the worst-case …

TuBound is a conceptually new tool for the worst-case execution time (WCET) analysis of
programs. A distinctive feature of TuBound is the seamless integration of a WCET analysis …

Being able to comprehensively evaluate the individual strengths and weaknesses of worst-
case execution time (WCET) analysis tools through benchmarking is essential for improving …

Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this
series was organized in 2011, again with support from the ARTIST DESIGN Network of …

The static timing analysis of universal real-time operating systems (RTOS) with generically
implemented services requires application and system-context-specific knowledge (eg …

The safety of our day-to-day life depends crucially on the correct functioning of embedded
software systems which control the functioning of more and more technical devices. Many of …

To reduce complexity while computing an upper bound on the worst-case execution time,
static WCET analysis performs over-approximations. This feeds the general feeling that …

The increasing number of embedded systems spawns applications with critical constraints in
both execution time and energy consumption. For their reliable operation, these energy …

According to forecasts such as a report published by the National Research Council in the
US [21], embedded devices will be a main application area of information technology in the …

This article presents the results of experimenting our OTAWA tool to compute WCETs on a
real automotive embedded application. First, we analyze the application (C source …