UPCommons està en procés de migració del dia 10 fins al 14 Juliol. L’autentificació està deshabilitada per evitar canvis durant aquesta migració.
SafeX: Open source hardware and software components for safety-critical systems

View/Open
Cita com:
hdl:2117/379249
Document typeConference report
Defense date2022
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
ProjectBSC - COMPUTACION DE ALTAS PRESTACIONES VIII (AEI-PID2019-107255GB-C21)
SELENE - SELENE: Self-monitored Dependable platform for High-Performance Safety-Critical Systems (EC-H2020-871467)
SELENE - SELENE: Self-monitored Dependable platform for High-Performance Safety-Critical Systems (EC-H2020-871467)
Abstract
RISC-V Instruction Set Architecture (ISA) emerges as an opportunity to develop open source hardware without being subject to expensive licenses or export restrictions. A plethora of initiatives are nowadays developing systems-on-chip (SoCs) and its components based on RISC-V targeting a wide variety of markets. However, domains with safety requirements, such as avionics, space, and automotive, impose SoCs to include support to meet those requirements.This work introduces the SafeX family of components, a set of components providing SoC controllability, observability and safety measures support. These components, developed by the Barcelona Supercomputing Center with permissive open source licenses, are intended to be the basis to make SoCs meet the needs of domains with safety requirements. In particular, the SafeX components developed so far include the SafeSU (multicore statistics unit), the SafeTI (flexible and programmable traffic injector), the SafeDE and SafeSoftDR (hardware and software modules to enforce lockstep execution), and the SafeDM (module to monitor diversity across cores).
CitationAlcaide, S. [et al.]. SafeX: Open source hardware and software components for safety-critical systems. A: Forum on Specification & Design Languages. "Proceedings of the 2022 Forum on Specification & Design Languages (FDL): Linz (Austria), 14-16 September 2022". Institute of Electrical and Electronics Engineers (IEEE), 2022, ISBN 978-1-6654-7332-3. DOI 10.1109/FDL56239.2022.9925668.
ISBN978-1-6654-7332-3
Publisher versionhttps://ieeexplore.ieee.org/document/9925668
Collections
- Doctorat en Arquitectura de Computadors - Ponències/Comunicacions de congressos [352]
- Computer Sciences - Ponències/Comunicacions de congressos [624]
- Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [2.055]
- CRAAX - Centre de Recerca d'Arquitectures Avançades de Xarxes - Ponències/Comunicacions de congressos [81]
Files | Description | Size | Format | View |
---|---|---|---|---|
Alcaide et al.pdf | 252,5Kb | View/Open |