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 …

Intuitively, a counter-intuitive timing anomaly manifests when a locally faster execution
becomes globally slower. While the presence of such timing anomalies threatens the …

We study the effect of store buffers on the timing predictability of processor pipelines. We
show that the concurrency between the load unit and the store buffer to access the memory …

The introduction of deep learning algorithms, such as Convolutional Neural Networks
(CNNs) in many near-sensor embedded systems, opens new challenges in terms of energy …

Correctness is an important concern during the development of real-time systems. In
addition to the functional correctness, the timing behavior is often formally verified in order to …

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 …

We address the problem of computing accurate Worst-Case Execution Time (WCET). We
propose a fully automatic and modular methodology based on program slicing and real-time …

The widespread adoption of cyber-physical systems in the safety-critical (hard real-time)
domain is accompanied by a rising degree of code-reuse up to actual software product lines …

We address the problem of computing the worst-case execution-time (WCET) of binary
programs using a real-time model-checker. In our previous work, we introduced a fully …

This paper presents the motivation for and outcomes of an engineering research project on
certifiable Java for embedded systems. The project supports the upcoming standard for …