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 …

Multi-core computer architectures are on the forefront in consumer electronics and
adaptation in safety-critical applications such as avionics could be beneficial due to their …

With the advent of multicore architectures, worst-case execution time (WCET) analysis has
become an increasingly difficult problem. In this article, we propose a unified WCET analysis …

The current industry trend is towards using Commercially available Off-The-Shelf (COTS)
based multicores for develo** real time embedded systems, as opposed to the usage 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 …

In this paper, we introduce a Multicore Response Time Analysis (MRTA) framework. This
framework is extensible to different multicore architectures, with various types and …

COTS-based multicores are now the preferred choice for hosting embedded applications
owing to their immense computational capabilities, small form factor and low power …

In this paper, we introduce a multicore response time analysis (MRTA) framework, which
decouples response time analysis from a reliance on context-independent WCET values …

Airbus is investigating COTS multicore platforms for safety-critical avionics applications,
pursuing helicopter-style autonomous and electric aircraft. These aircraft need to be ultra …