Institution:
It is an effective hardware solution to quantify diversity in cores performing redundant execution.
BSC Group: High-Performance Embedded Systems Lab
Sergi Alcaide Portet, Francisco Bas Jalón
SafeDM is a lightweight safety solution that monitors two independent processor cores to detect faults without duplicating every operation. It compares compact signatures of their activity and raises alerts when unusual differences appear. This approach detects errors early while using far less hardware and power than traditional methods. It works without modifying existing software or tools, supporting portability across systems. By reducing duplication and energy use, SafeDM offers a more efficient way to improve reliability in safety-critical applications.
Avionics flight computers, satellite on-board computers, automotive ASIL-D ECUs, railway signalling, nuclear control systems, medical implant controllers.
Aerospace primes integrating RISC-V or Arm safety SoCs; Automative Tier-1 suppliers designing next-gen ASIL-D microcontrollers; Space-grade FPGA/ASIC vendors (Cobham Gaisler, Microchip); Certification & verification tool vendors seeking hardware diversity metrics.
Technology Readiness Level (1-9): N/A
Protection:
MIT License
if you want to know more about this project do not hesitate to contact us