Institució:
És una solució de maquinari eficaç per quantificar la diversitat de nuclis que realitzen una execució redundant.
BSC Group: High-Performance Embedded Systems Lab
Sergi Alcaide Portet, Francisco Bas Jalón
SafeDM és una solució de seguretat lleugera que supervisa dos nuclis de processador independents per detectar errors sense duplicar cada operació. Compara signatures compactes de la seva activitat i genera alertes quan apareixen diferències inusuals. Aquest enfocament detecta errors aviat mentre utilitza molt menys maquinari i energia que els mètodes tradicionals. Funciona sense modificar el programari o les eines existents, cosa que permet la portabilitat entre sistemes. En reduir la duplicació i el consum d'energia, SafeDM ofereix una manera més eficient de millorar la fiabilitat en aplicacions crítiques per a la seguretat.
Ordinadors de vol d'aviònica, ordinadors de bord per satèl·lit, ECU ASIL-D per a automòbils, senyalització ferroviària, sistemes de control nuclear, controladors d'implants mèdics.
Empreses aeroespacials que integren RISC-V o SoC de seguretat Arm; Proveïdors d'automoció de nivell 1 que dissenyen microcontroladors ASIL-D de nova generació; Proveïdors de FPGA/ASIC de grau espacial (Cobham Gaisler, Microchip); Proveïdors d'eines de certificació i verificació que busquen mètriques de diversitat de maquinari.
Technology Readiness Level (1-9): N/A
Protection:
MIT License
Si vols saber més sobre aquest projecte no dubtis en contactar amb nosaltres