BSC Logo

Contact Info

For collaboration or business inquires:

For technical questions, ask the contact email in each project.


Hardware components


DOI: 10.1109/IOLTS52814.2021.9486689

The Safe Traffic Injector (SafeTI for short) unit acts as an AHB Master IP connected to the main AMBA bus. It acts as a core with limited capabilities, only generating transactions to the bus by reading and writing to the AHB Slave RAM memory and controlled via APB registers. The injector works along with the multi-core setup instantiated on the platform and other peripherals and monitoring units. In order to generate traffic to the bus, the module performs a set of AMBA transactions based on data descriptors set at startup into a predefined memory address range.

Access to SafeTI repository


DOI: 10.1109/ETS50041.2021.9465444
DOI: 10.23919/DATE54114.2022.9774515

The Safe Statistics Unit (SafeSU for short) is an RTL IP that implements several mechanisms for multicore timing interference verification, validation, and monitoring. It has been integrated into commercial space-graded RISC-V and SparcV8 MPSoCs.

Access to SafeSU repository


DOI: 10.1109/TDMR.2022.3156799
DOI: 10.1109/IOLTS52814.2021.9486715

SafeDE (Safe Diversity Enforcer): This hardware module provides light-lockstep support by means of a non-intrusive and flexible hardware module that preserves staggering across cores running redundant threads, thus bringing time diversity to avoid common cause failures.

Access to SafeDE repository


DOI: 10.23919/DATE54114.2022.9774540

SafeDM (Safe Diversity Measurer): This hardware module provides support to monitor the diversity between two redundant processors executing redundant tasks.

Access to SafeDM repository


DOI: arXiv:2210.00833

SafeSoftDR (Safe Software Diverse Redundancy library): This software library provides the programmer with an interface to enable a software diveres redundant execution in a user-defined function.

Access to SafeSoftDR repository