The growing adoption of RISC-V architectures in safety-critical applications has increased the demand for robust and reliable computing platforms. In operating system-based architectures, radiation-induced faults can alter system memory or register contents, leading to unintended behavior or, in the worst case, system halts. To mitigate such risks, the dependability of operating systems has to be investigated and enhanced, reducing the probability of system failures in the presence of errors. This work proposes a reliability-oriented open-source platform based on the porting of the MIT PDOS xv6-riscv education Operating System for the VisionFive 2 board.

A RISC-V Open-Source Platform for Reliability Evaluation in Safety-Critical Operating Systems / Cora, Giorgio; Tollardo, Simone; Azimi, Sarah. - (2025), pp. 218-219. (Intervento presentato al convegno CF '25: 22nd ACM International Conference on Computing Frontiers tenutosi a Cagliari (ITA) nel May 28 - 30, 2025) [10.1145/3719276.3727950].

A RISC-V Open-Source Platform for Reliability Evaluation in Safety-Critical Operating Systems

Cora, Giorgio;Azimi Sarah
2025

Abstract

The growing adoption of RISC-V architectures in safety-critical applications has increased the demand for robust and reliable computing platforms. In operating system-based architectures, radiation-induced faults can alter system memory or register contents, leading to unintended behavior or, in the worst case, system halts. To mitigate such risks, the dependability of operating systems has to be investigated and enhanced, reducing the probability of system failures in the presence of errors. This work proposes a reliability-oriented open-source platform based on the porting of the MIT PDOS xv6-riscv education Operating System for the VisionFive 2 board.
2025
979-8-4007-1528-0
File in questo prodotto:
File Dimensione Formato  
CF_25_Paper.pdf

accesso aperto

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: Pubblico - Tutti i diritti riservati
Dimensione 498.06 kB
Formato Adobe PDF
498.06 kB Adobe PDF Visualizza/Apri
3719276.3727950.pdf

accesso riservato

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 429.54 kB
Formato Adobe PDF
429.54 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/3000971