Greater performance demands of safety-critical, real-time systems require hardware and software components that can integrate the complexity required while adhering to stringent safety verification processes. With the EU-funded SELENE project, BSC researchers have risen to this challenge by developing four safety-related components that improve observability and control channels to provide flexible solutions in industrial use cases.
BSC expertise has led to the development of the open-source modules SafeSU, SafeDE, SafeDM, and SafeTI that support verification and validation (V&V) processes and safety measure deployment. The modules have already been integrated with Advanced Microcontroller Bus Architecture (AMBA) protocols such as AMBA Advanced High-performance Bus (AHB) and AMBA Advanced eXtensible Interface 4 (AXI4).