The increasing functional and nonfunctional requirements of real-time applications, the
advent of mixed criticality computing, and the necessity of reducing costs are leading to an …

This survey provides an overview of the scientific literature on timing verification techniques
for multi-core real-time systems. It reviews the key results in the field from its origins around …

The performance and power efficiency of multi-core processors are attractive features for
safety-critical applications, as in avionics. But increased integration and average-case …

For decades, much software engineering research has been dedicated to devising
automated solutions aimed at enhancing developer productivity and elevating software …

In the last three decades a number of methods have been devised to find upper-bounds for
the execution time of critical tasks in time-critical systems. Most of such methods aim to …

Next generations of compute-intensive real-time applications in automotive systems will
require more powerful computing platforms. One promising power-efficient solution for such …

This paper introduces power failure immunity (PFI), an essential program execution property
for energy harvesting systems to achieve efficient intermittent computation. PFI ensures …

The software used to implement advanced functionalities in critical domains (eg
autonomous operation) impairs software timing. This is not only due to the complexity of the …

When adopting multi-core systems for safety-critical applications, certification requirements
mandate bounding the delays incurred in accessing shared resources. This is the case of …

Multi-core platforms represent the answer of the industry to the increasing demand for
computational capabilities. From a real-time perspective, however, the inherent sharing of …