Deterministic platform software for hard real-time systems using multi-core COTS

S Girbal, X Jean, J Le Rhun… - 2015 IEEE/AIAA 34th …, 2015 - ieeexplore.ieee.org
Future generations of avionic equipments are expected to embed multi-core processors.
Using Components Off-The-Shelf (COTS) processors is considered both by the industrial …

Schedulability analysis for global fixed-priority scheduling of the 3-phase task model

C Maia, G Nelissen, L Nogueira… - 2017 IEEE 23rd …, 2017 - ieeexplore.ieee.org
Scheduling real-time applications on general purpose multicore platforms is a challenging
problem from a timing analysis perspective. Such platforms expose uncontrolled sources of …

A closer look into the AER Model

C Maia, L Nogueira, LM Pinho… - 2016 IEEE 21st …, 2016 - ieeexplore.ieee.org
Commercial-of-the-shelf based multi-core systems present timing anomalies that cannot be
ignored by the real-time systems community due to their unpredictable behaviour. These …

METrICS: a measurement environment for multi-core time critical systems

S Girbal, J Le Rhun, H Saoud - ERTS 2018, 2018 - hal.science
With the upcoming shift from single-core to multi-core COTS processor for safety critical
products such as avionics, railway or space computer subsystems, the safety critical industry …

[KNIHA][B] Distributed Real-Time Architecture for Mixed-Criticality Systems

H Ahmadian, R Obermaisser, J Perez - 2018 - books.google.com
This book describes a cross-domain architecture and design tools for networked complex
systems where application subsystems of different criticality coexist and interact on …

An end-to-end framework for safe software development

M Hussein, R Nouacer, A Radermacher… - Microprocessors and …, 2018 - Elsevier
It is largely recognized that the architectures of embedded systems are becoming more and
more complex both at hardware and software levels. Despite the significant advances in the …

[HTML][HTML] Execution model to reduce the interference of shared memory in arinc 653 compliant multicore rtos

S Park, MY Kwon, HK Kim, H Kim - Applied Sciences, 2020 - mdpi.com
Multicore architecture is applied to contemporary avionics systems to deal with complex
tasks. However, multicore architectures can cause interference by contention because the …

An approach to verification of interference concerns for multicore systems (CAST-32A)

SH VanderLeest, C Evripidou - SAE International Journal of Advances and …, 2020 - sae.org
The avionics industry is moving towards the use of multi-core systems to meet the demands
of modern avionics applications. In multicore systems, interference can affect execution …

Workload-aware harmonic partitioned scheduling for fixed-priority probabilistic real-time tasks on multiprocessors

J Ren, Y **e, R Bi, Y He, G Wu, G Tan - Journal of Systems Architecture, 2019 - Elsevier
Multiprocessor platforms bring the probabilistic characteristic to real-time systems because
of the performance variations of complex chips. We present a harmonic partitioned …

Tracing hardware monitors in the gr712rc multicore platform: Challenges and lessons learnt from a space case study

X Palomo, S Girbal, J Abella Ferrer… - … Conference on Real …, 2020 - upcommons.upc.edu
The demand for increased computing performance is driving industry in critical-embedded
systems (CES) domains, eg space, towards the use of multicores processors. Multicores …