Leonidas Kosmidis

Francisco J. Cazorla

Jose Luis Flores

ACM Comput. Surv., 2023

METASAT: Modular Model-Based Design and Testing for Applications in Satellites.

[BibT_eX]

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023

Evaluation of SYCL's Suitability for High-Performance Critical Systems.

[BibT_eX]

[DOI]

Cristina Quesada Peralta

Proceedings of the 2023 International Workshop on OpenCL, 2023

Space Shuttle: A Test Vehicle for the Reliability of the SkyWater 130nm PDK for Future Space Processors.

[BibT_eX]

[DOI]

Maris Tali

David Steenari

Proceedings of the 29th International Symposium on On-Line Testing and Robust System Design, 2023

Acceleration of Synthetic Aperture Radar for On-board Space Systems.

[BibT_eX]

[DOI]

Marc Solé

David Steenari

Proceedings of the IEEE High Performance Extreme Computing Conference, 2023

Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems.

[BibT_eX]

[DOI]

Xabier Arauzo

Irune Yarza

Marcos Rodriguez

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2022

Achieving Diverse Redundancy for GPU Kernels.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2022

Sources of Single Event Effects in the NVIDIA Xavier SoC Family under Proton Irradiation.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on On-Line Testing and Robust System Design, 2022

Functional and Timing Implications of Transient Faults in Critical Systems.

[BibT_eX]

[DOI]

Angeliki Kritikakou

Panagiota Nikolaou

Proceedings of the 28th IEEE International Symposium on On-Line Testing and Robust System Design, 2022

Contention Tracking in GPU Last-Level Cache.

[BibT_eX]

[DOI]

Proceedings of the IEEE 40th International Conference on Computer Design, 2022

SPARROW: A Low-Cost Hardware/Software Co-designed SIMD Microarchitecture for AI Operations in Space Processors.

[BibT_eX]

[DOI]

Marc Solé Bonet

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach.

[BibT_eX]

[DOI]

Microprocess. Microsystems, November, 2021

Security, Reliability and Test Aspects of the RISC-V Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE European Test Symposium, 2021

GPU4S: Major Project Outcomes, Lessons Learnt and Way Forward.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

The UP2DATE Baseline Research Platforms.

[BibT_eX]

[DOI]

Alvaro Jover-Alvarez

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study.

[BibT_eX]

[DOI]

Marc Benito

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - 34th International Conference, 2021

2020

GMAI: Understanding and Exploiting the Internals of GPU Resource Allocation in Critical Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2020

GPU4S: Embedded GPUs in space - Latest project updates.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2020

IntPred: flexible, fast, and accurate object detection for autonomous driving systems.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

On the reliability of hardware event monitors in MPSoCs for critical domains.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

En-Route: on enabling resource usage testing for autonomous driving frameworks.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Software-only based Diverse Redundancy for ASIL-D Automotive Applications on Embedded HPC Platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2020

An Academic RISC-V Silicon Implementation Based on Open-Source Components.

[BibT_eX]

[DOI]

Proceedings of the XXXV Conference on Design of Circuits and Integrated Systems, 2020

An On-board Algorithm Implementation on an Embedded GPU: A Space Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

Performance Analysis and Optimization of Automotive GPUs.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Computer Architecture and High Performance Computing, 2019

Software-only Diverse Redundancy on GPUs for Autonomous Driving Platforms.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on On-Line Testing and Robust System Design, 2019

BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2019

Generating and Exploiting Deep Learning Variants to Increase Heterogeneous Resource Utilization in the NVIDIA Xavier.

[BibT_eX]

[DOI]

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

GPU4S: Embedded GPUs in Space.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

High-Integrity GPU Designs for Critical Real-Time Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Assessing the Adherence of an Industrial Autonomous Driving Framework to ISO 26262 Software Guidelines.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V.

[BibT_eX]

[DOI]

IEEE Micro, 2018

Safety-Related Challenges and Opportunities for GPUs in the Automotive Domain.

[BibT_eX]

[DOI]

IEEE Micro, 2018

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

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2018

Brook GLES Pi: democratising accelerator programming.

[BibT_eX]

[DOI]

Proceedings of the Conference on High-Performance Graphics, 2018

Brook auto: high-level certification-friendly programming for GPU-powered automotive systems.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

Modelling multicore contention on the AURIX<sup><i>TM</i></sup> TC27x.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Enabling caches in probabilistic timing analysis.

[BibT_eX]

[DOI]

PhD thesis, 2017

An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems.

[BibT_eX]

[DOI]

Nacho Navarro

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Optimisation opportunities and evaluation for GPGPU applications on low-end mobile GPUs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Probabilistic timing analysis on time-randomized platforms for the space domain.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Dynamic software randomisation: Lessons learnec from an aerospace case study.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Fitting processor architectures for measurement-based probabilistic timing analysis.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2016

Measurement-Based Timing Analysis of the AURIX Caches.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Modelling the confidence of timing analysis for time randomised caches.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

A confidence assessment of WCET estimates for software time randomized caches.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

TASA: toolchain-agnostic static software randomisation for critical real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Towards general purpose computations on low-end mobile GPUs.

[BibT_eX]

[DOI]