SafeLS

Nucli lockstep de codi obert RISC-V basat en el nucli NOEL-V de Frontgrade Gaisler AB per al domini espacial

Institució:

Grup d´investigació:

BSC Group: High-Performance Embedded Systems Lab

Investigador/s:

Marcel Sarraseca Julian, Sergi Alcaide Portet

Descripció:

SafeLS millora la fiabilitat del sistema duplicant un nucli de processador i executant ambdues còpies lleugerament desincronitzades. Les seves sortides es comparen contínuament i qualsevol discrepància activa una alerta d'error, cosa que permet una detecció precoç d'errors. El seu disseny de codi obert permet una inspecció completa, cosa que dóna suport a la certificació en sectors crítics per a la seguretat. S'integra amb sistemes i programari estàndard, de manera que les aplicacions s'executen sense canvis, garantint la portabilitat. Tot i que simplifica la integració del maquinari, el consum d'energia continua sent més elevat a causa de la duplicació, oferint només guanys d'eficiència limitats.

Proposta de valor:

Nucli obert de bloqueig RISC-V per a sistemes de seguretat certificats

Àrees d'aplicació:

Ordinadors de vol d'aviònica, ECU ASIL-D per a automòbils, ordinadors a bord de satèl·lits, senyalització ferroviària, robòtica industrial, instrumentació de control nuclear.

Mercat objectiu:

Empreses aeroespacials i espacials que busquen processadors inspeccionables; Proveïdors d'automoció de nivell 1 que dissenyen microcontroladors RISC-V; Contractistes de defensa que exigeixen propietat intel·lectual sobirana; Empreses emergents de semiconductors que ofereixen SoC de seguretat; Laboratoris de certificació i proveïdors d'eines

Technology Readiness Level (1-9): N/A

Protection:

MIT License

Més informació

Si vols saber més sobre aquest projecte no dubtis en contactar amb nosaltres

Contacta´ns