Development of the Lockstep Version of the Sargantana RISC-V Core
The use of safety mechanisms to increase the reliability of safety-critical systems has become necessary to prevent systems from failing due to errors caused by unavoidable faults (e.g., random hardware faults caused by electromagnetic interference). The lockstep mechanism is one of the most common...
| Autor: | |
|---|---|
| Tipo de documento: | dissertação |
| Data de publicação: | 2024 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositório: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglês |
| OAI Identifier: | oai:upcommons.upc.edu:2117/423459 |
| Acesso em linha: | https://hdl.handle.net/2117/423459 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Computer security lockstep diverse redundancy safety safety-critical systems ASIL Sargantana RISC-V ISA benchmarks Seguretat informàtica Àrees temàtiques de la UPC::Informàtica::Seguretat informàtica |
| Resumo: | The use of safety mechanisms to increase the reliability of safety-critical systems has become necessary to prevent systems from failing due to errors caused by unavoidable faults (e.g., random hardware faults caused by electromagnetic interference). The lockstep mechanism is one of the most common techniques used to ensure safety. The SafeGantana developed in this work, has proven to be a good candidate for the diverse redundant lockstep version of the Sargantana core built at the Barcelona Supercomputing Centre (BSC). This project presents SafeGantana, the implementation using dual modular redundancy and staggering for diversity of a lockstep system based on the Sargantana core. At first, an initial implementation is done, assuring the full functionality of the redundant lockstep version. Afterwards, a final version including the diversity together with its required modifications is presented. The SafeGantana has been tested in different simulation environments, one simpler and one emulating FPGA operation, to ensure that the system works properly. |
|---|