Multi-core devices for safety-critical systems: A survey

JP Cerrolaza, R Obermaisser, J Abella… - ACM Computing …, 2020 - dl.acm.org
Multi-core devices are envisioned to support the development of next-generation safety-
critical systems, enabling the on-chip integration of functions of different criticality. This …

PROXIMA: Improving measurement-based timing analysis through randomisation and probabilistic analysis

FJ Cazorla, J Abella, J Andersson… - … on Digital System …, 2016 - ieeexplore.ieee.org
The use of increasingly complex hardware and software platforms in response to the ever
rising performance demands of modern real-time systems complicates the verification and …

Analysing the influence of memory and workload on the reliability of GPUs under neutron radiation

G Leon, JM Badia, JA Belloch… - … on Nuclear Science, 2024 - ieeexplore.ieee.org
Evaluating the impact of utilizing different GPU resources is crucial for gaining insights into
the reliability of GPUs when exposed to radiation. In this study, we employed various …

[HTML][HTML] Towards Linux based safety systems—A statistical approach for software execution path coverage

I Allende, N Mc Guire, J Perez, LG Monsalve… - Journal of Systems …, 2021 - Elsevier
Several industrial domains are currently develo** innovative safety-related autonomous
systems characterized by increasing software complexity and high-performance …

Analysing the radiation reliability, performance and energy consumption of low-power SoC through heterogeneous parallelism

JM Badia, G Leon, M Garcia-Valderas… - … Informatics and Systems, 2024 - Elsevier
This study focuses on the low-power Tegra X1 System-on-Chip (SoC) from the Jetson Nano
Developer Kit, which is increasingly used in various environments and tasks. As these SoCs …

Industrial experiences with resource management under software randomization in ARINC653 avionics environments

L Kosmidis, C Maxim, V Jegu, F Vatrinet… - 2018 IEEE/ACM …, 2018 - ieeexplore.ieee.org
Injecting randomization in different layers of the computing platform has been shown
beneficial for security, resilience to software bugs and timing analysis. In this paper, with …

Reliability of Vision Transformers and CNNs on Edge AI systems under neutron radiation

JM Badia, I Martin-Salinas, G Leon… - … on Nuclear Science, 2025 - ieeexplore.ieee.org
The reliability of neural networks on Edge AI platforms is crucial for safety-critical
applications, especially in environments exposed to radiation. This paper presents an …

SECURA: Unified Reference Architecture for Advanced Security and Trust in Safety Critical Infrastructures

M Eckel, S Gürgens - Proceedings of the 19th International Conference …, 2024 - dl.acm.org
In the evolving landscape of safety-critical infrastructures, ensuring the integrity and security
of systems has become paramount. Building upon a previously established security …

Radiation reliability of system reboots in commercial off-the-shelf SoC

L Frias-Dominguez, G Leon, JM Badia… - … on Nuclear Science, 2025 - ieeexplore.ieee.org
This study investigates the reliability of system reboots in modern low-power System-on-
Chip (SoC) devices when exposed to terrestrial neutron radiation. The focus is on …

Towards linux for the development of mixed-criticality embedded systems based on multi-core devices

I Allende, N Mc Guire, J Perez… - 2019 15th european …, 2019 - ieeexplore.ieee.org
As the complexity of several safety-critical systems continues to increase (eg autonomous
driving), the need for a safety operating system to run complex algorithms and software has …