A survey of timing verification techniques for multi-core real-time systems

C Maiza, H Rihani, JM Rivas, J Goossens… - ACM Computing …, 2019 - dl.acm.org
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 …

Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement

J Nowotsch, M Paulitsch, D Bühler… - 2014 26th Euromicro …, 2014 - ieeexplore.ieee.org
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 …

Leveraging multi-core computing architectures in avionics

J Nowotsch, M Paulitsch - 2012 Ninth European Dependable …, 2012 - ieeexplore.ieee.org
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 …

A unified WCET analysis framework for multicore platforms

S Chattopadhyay, LK Chong, A Roychoudhury… - ACM Transactions on …, 2014 - dl.acm.org
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 …

Response time analysis of cots-based multicores considering the contention on the shared memory bus

D Dasari, B Andersson, V Nelis… - … Conference on Trust …, 2011 - ieeexplore.ieee.org
The current industry trend is towards using Commercially available Off-The-Shelf (COTS)
based multicores for developing real time embedded systems, as opposed to the usage of …

WCET (m) estimation in multi-core systems using single core equivalence

R Mancuso, R Pellizzoni, M Caccamo… - 2015 27th Euromicro …, 2015 - ieeexplore.ieee.org
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 …

A generic and compositional framework for multicore response time analysis

S Altmeyer, RI Davis, L Indrusiak, C Maiza… - Proceedings of the 23rd …, 2015 - dl.acm.org
In this paper, we introduce a Multicore Response Time Analysis (MRTA) framework. This
framework is extensible to different multicore architectures, with various types and …

An extensible framework for multicore response time analysis

RI Davis, S Altmeyer, LS Indrusiak, C Maiza, V Nelis… - Real-Time …, 2018 - Springer
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 …

Identifying the sources of unpredictability in COTS-based multicore systems

D Dasari, B Akesson, V Nelis, MA Awan… - 2013 8th IEEE …, 2013 - ieeexplore.ieee.org
COTS-based multicores are now the preferred choice for hosting embedded applications
owing to their immense computational capabilities, small form factor and low power …

Contention-aware dynamic memory bandwidth isolation with predictability in COTS multicores: An avionics case study

A Agrawal, G Fohler, J Freitag… - … Conference on Real …, 2017 - drops.dagstuhl.de
Airbus is investigating COTS multicore platforms for safety-critical avionics applications,
pursuing helicopter-style autonomous and electric aircraft. These aircraft need to be ultra …