Guaranteeing the correct system behaviour in safety-critical computer-based systems is a challenging issue due to transient faults. This has been demonstrated considering the effects of faults in memory elements containing data structures belonging to a Unix-based Operating System. Elements linked to resource and process synchronization management are particularly critical, thus the need for hardening also the kernel data structures. In order to overcome this vulnerability, a solution is proposed by implementing a triplication technique in the source code of the Linux kernel, aiming at incrementing the robustness of the system. An experimental fault injection analysis has been conducted on the Mutex semaphores to evaluate its effectiveness. The proposed approach successfully detected and corrected the noxious effects generated by single faults in the system with a limited performance overhead.

TMR technique for mutex kernel data structures / Velasco, ALEJANDRO DAVID; Montrucchio, Bartolomeo; Rebaudengo, Maurizio. - ELETTRONICO. - (2017), pp. 1-6. ((Intervento presentato al convegno 18th IEEE Latin-American Test Symposium, LATS 2017 tenutosi a Bogota (Colombia) nel 13-15 March 2017 [10.1109/LATW.2017.7906745].

TMR technique for mutex kernel data structures

VELASCO, ALEJANDRO DAVID;MONTRUCCHIO, BARTOLOMEO;REBAUDENGO, Maurizio
2017

Abstract

Guaranteeing the correct system behaviour in safety-critical computer-based systems is a challenging issue due to transient faults. This has been demonstrated considering the effects of faults in memory elements containing data structures belonging to a Unix-based Operating System. Elements linked to resource and process synchronization management are particularly critical, thus the need for hardening also the kernel data structures. In order to overcome this vulnerability, a solution is proposed by implementing a triplication technique in the source code of the Linux kernel, aiming at incrementing the robustness of the system. An experimental fault injection analysis has been conducted on the Mutex semaphores to evaluate its effectiveness. The proposed approach successfully detected and corrected the noxious effects generated by single faults in the system with a limited performance overhead.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento 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/2675546
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo