SafeLS

SafeLS mejora la fiabilidad del sistema duplicando un núcleo de procesador y ejecutando ambas copias con una ligera desincronización. Sus salidas se comparan continuamente y cualquier discrepancia activa una alerta de fallo, lo que permite la detección temprana de errores. Su diseño de código abierto permite una inspección completa, lo que facilita la certificación en sectores críticos para la seguridad. Se integra con sistemas y software estándar, por lo que las aplicaciones se ejecutan sin modificaciones, garantizando la portabilidad. Si bien simplifica la integración del hardware, el consumo de energía sigue siendo mayor debido a la duplicación, lo que ofrece solo mejoras de eficiencia limitadas.

Ordenadores de vuelo para aviónica, unidades de control electrónico (ECU) para automoción con certificación ASIL-D, ordenadores de a bordo para satélites, señalización ferroviaria, robótica industrial, instrumentación de control nuclear.

Las principales empresas aeroespaciales y espaciales buscan procesadores inspeccionables; Los proveedores de nivel 1 del sector automotriz diseñan microcontroladores RISC-V; Los contratistas de defensa exigen propiedad intelectual soberana; Las empresas emergentes de semiconductores ofrecen SoC de seguridad; Los laboratorios de certificación y los proveedores de herramientas.