Institución:
Se trata de una solución hardware eficaz para cuantificar la diversidad en núcleos que realizan ejecución redundante.
BSC Group: High-Performance Embedded Systems Lab
Sergi Alcaide Portet, Francisco Bas Jalón
SafeDM es una solución de seguridad ligera que monitoriza dos núcleos de procesador independientes para detectar fallos sin duplicar operaciones. Compara patrones compactos de su actividad y genera alertas cuando se detectan diferencias inusuales. Este enfoque detecta errores de forma temprana, utilizando mucho menos hardware y energía que los métodos tradicionales. Funciona sin modificar el software ni las herramientas existentes, lo que facilita su portabilidad entre sistemas. Al reducir la duplicación y el consumo de energía, SafeDM ofrece una forma más eficiente de mejorar la fiabilidad en aplicaciones críticas para la seguridad.
Computadoras de vuelo para aviónica, computadoras de a bordo de satélites, unidades de control electrónico (ECU) para automóviles con certificación ASIL-D, señalización ferroviaria, sistemas de control nuclear, controladores de implantes médicos.
Principales empresas aeroespaciales que integran SoC de seguridad RISC-V o Arm; Proveedores de primer nivel para la industria automotriz que diseñan microcontroladores ASIL-D de próxima generación; Proveedores de FPGA/ASIC de grado espacial (Cobham Gaisler, Microchip); Proveedores de herramientas de certificación y verificación que buscan métricas de diversidad de hardware.
Technology Readiness Level (1-9): N/A
Protection:
MIT License
Si quieres saber más sobre este proyecto no dudes en contactarnos