Hybrid knowledge and data driven synthesis of runtime monitors for cyber-physical systems

X Zhou, B Ahmed, JH Aylor, P Asare… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Recent advances in sensing and computing technology have led to the proliferation of
Cyber-Physical Systems (CPS) in safety-critical domains. However, the increasing device …

Software-only based diverse redundancy for asil-d automotive applications on embedded hpc platforms

S Alcaide, L Kosmidis, C Hernandez… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
High-Performance Computing (HPC) platforms become a must in automotive systems to
enable autonomous driving. However, automotive platforms must avoid Common Cause …

Turnpike: Lightweight soft error resilience for in-order cores

J Zeng, H Kim, J Lee, C Jung - MICRO-54: 54th Annual IEEE/ACM …, 2021 - dl.acm.org
Acoustic-sensor-based soft error resilience is particularly promising, since it can verify the
absence of soft errors and eliminate silent data corruptions at a low hardware cost. However …

SafeDE: a flexible diversity enforcement hardware module for light-lockstep**

F Bas, S Alcaide, R Lorenzo, G Cabo… - 2021 IEEE 27th …, 2021 - ieeexplore.ieee.org
Safety-related systems, such as those in automotive, avionics and space, impose the
existence of appropriate safety measures to meet the safety requirements of the system. In …

Design with low complexity fine-grained Dual Core Lock-Step (DCLS) RISC-V processors

PR Nikiema, A Kritikakou, M Traiola… - 2023 53rd Annual …, 2023 - ieeexplore.ieee.org
Embedded systems in critical domains require both hard real-time and reliable execution.
Real-time execution requires bounds in the worst-case execution time, while reliable …

Software-only diverse redundancy on GPUs for autonomous driving platforms

S Alcaide, L Kosmidis, C Hernandez… - 2019 IEEE 25th …, 2019 - ieeexplore.ieee.org
Autonomous driving (AD) builds upon high-performance computing platforms including (1)
general purpose CPUs as well as (2) specific accelerators, being GPUs one of the main …

Parallel error detection using heterogeneous cores

S Ainsworth, TM Jones - 2018 48th Annual IEEE/IFIP …, 2018 - ieeexplore.ieee.org
Microprocessor error detection is increasingly important, as the number of transistors in
modern systems heightens their vulnerability. In addition, many modern workloads in …

Software-only triple diverse redundancy on GPUs for autonomous driving platforms

SA Portet, L Kosmidis, C Hernandez… - 2020 50th Annual IEEE …, 2020 - ieeexplore.ieee.org
Autonomous driving (AD) imposes the need for safe computations in high-performance
computing (HPC) components such as GPUs, thus with capabilities to detect and recover …

SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core

M Sarraseca, S Alcaide, F Fuentes… - 2023 IEEE 29th …, 2023 - ieeexplore.ieee.org
Microcontrollers running safety-critical applications with high integrity requirements must
provide appropriate safety measures to manage random hardware faults. For instance …

A framework for fault tolerance in RISC-V

A Dörflinger, B Kleinbeck, M Albers… - 2022 IEEE Intl Conf …, 2022 - ieeexplore.ieee.org
Microcontrollers require protection against transient and permanent faults when being
utilized for safety-critical and highly reliable applications. Fail safe Dual Core Lockstep …