A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case Study

ADAM

AHRB: A high-performance time-composable AMBA AHB bus

APPLE

scholarly article

Accurately Measuring Contention in Mesh NoCs in Time-Sensitive Embedded Systems

scientific article published on 24 January 2023

Achieving timing composability with measurement-based probabilistic timing analysis

Analyzing the Efficiency of L1 Caches for Reliable Hybrid-Voltage Operation Using EDC Codes

Bus designs for time-probabilistic multicore processors

DReAM

DReAM: Per-Task DRAM Energy Metering in Multicore Systems

DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis

Deconstructing bus access control policies for Real-Time multicores

Design of complex circuits using the Via-Configurable transistor array regular layout fabric

article

Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software

scientific article published in 2023

Efficient Cache Designs for Probabilistically Analysable Real-Time Systems

article published in 2014

Fast time-to-market with via-configurable transistor array regular fabric: A delay-locked loop design case study

article

GPU Devices for Safety-Critical Systems: A Survey

scientific article published on 19 July 2022

Hardware support for accurate per-task energy metering in multicore systems

Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA

Hybrid Cache Designs for Reliable Hybrid High and Ultra-Low Voltage Operation

Hybrid high-performance low-power and ultra-low energy reliable caches

Increasing Testing Robustness of GPU Software in Embedded Critical Systems

scientific article published on 21 May 2024

Increasing confidence on measurement-based contention bounds for real-time round-robin buses

Introduction to partial time composability for COTS multicores

Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture

scholarly article published August 2014

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems

On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques

On the Safe Deployment of Matrix Multiplication in Massively Parallel Safety-Related Systems

scientific article published in 2022

On the assessment of probabilistic WCET estimates reliability for arbitrary programs

article

On the convergence of mainstream and mission-critical markets

PACO

PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis

Per-task Energy Accounting in Computing Systems

RVC

scholarly article published in 2011

RVC-based time-predictable faulty caches for safety-critical systems

RunPar

SafeDE: A Low-Cost Hardware Solution to Enforce Diverse Redundancy in Multicores

scientific article published in 2022

Sensible Energy Accounting with Abstract Metering for Multicore Systems

Speeding up Static Probabilistic Timing Analysis

Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems

Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments

Towards functional safety compliance of matrix–matrix multiplication for machine learning-based autonomous systems

scientific article published in 2021

Towards improved survivability in safety-critical systems

VCTA: A Via-Configurable Transistor Array regular fabric

article

Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems

scientific article published in 2022

parMERASA -- Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability