Real-time systems are reactive computer systems that must produce their reaction to a
stimulus within given time bounds. A vital verification requirement is to estimate the Worst …

We propose a technique based on symbolic execution for analyzing the algorithmic
complexity of programs. The technique uses an efficient guided analysis to compute bounds …

In systems with hard real-time constraints, it is necessary to compute upper bounds on the
worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the …

Weighted timed automata have been defined in the early 2000 s for modelling resource-
consumption or-allocation problems in real-time systems. Optimal reachability is decidable …

To facilitate programming, most multi-core processors feature automated mechanisms
maintaining coherence between each core's cache. These mechanisms introduce …

In real-time systems, an upper-bound on the execution time is mandatory to guarantee all
timing constraints: a bound on the Worst-Case Execution Time (WCET). High-level …

Hard real time systems require absolute guarantees in their execution times. Worst case
execution time (WCET) of a program has therefore become an important problem to …

Embedded systems, like those found in the automotive domain, must comply with stringent
functional and non-functional requirements. To fulfil these requirements, engineers are …

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 …

We propose a precise and efficient pipeline analysis to tackle the problem of out-of-order
resources in modern embedded microprocessors for the computation of the worst-case …