Guaranteeing the correct system behaviour in safety-critical computer-based systems is a challenging issue due to transient faults. This is particularly true considering the effects of faults in memory elements containing data structures belonging to a Unix-based Operating System. Elements involved in processes synchronisation management have been demonstrated to be critical, thus the need for redundancy mechanisms. A solution is proposed in order to overcome this vulnerability, by implementing an information multiplication technique in the core data structures used by the scheduler currently running in Linux systems, aiming to detect and correct every possible fault affecting these elements. The theoretical analysis is presented, aiming for a fault injection campaign to be conducted to evaluate the effectiveness of this approach.

Hardening Approach for the Scheduler's Kernel Data Structures / Velasco, ALEJANDRO DAVID; Montrucchio, Bartolomeo; Rebaudengo, Maurizio. - ELETTRONICO. - (2017), pp. 32-35. ((Intervento presentato al convegno 30th International Conference on Architecture of Computing Systems tenutosi a Vienna nel 3-6 April 2017.

Hardening Approach for the Scheduler's Kernel Data Structures

Alejandro David Velasco;Bartolomeo Montrucchio;Maurizio Rebaudengo
2017

Abstract

Guaranteeing the correct system behaviour in safety-critical computer-based systems is a challenging issue due to transient faults. This is particularly true considering the effects of faults in memory elements containing data structures belonging to a Unix-based Operating System. Elements involved in processes synchronisation management have been demonstrated to be critical, thus the need for redundancy mechanisms. A solution is proposed in order to overcome this vulnerability, by implementing an information multiplication technique in the core data structures used by the scheduler currently running in Linux systems, aiming to detect and correct every possible fault affecting these elements. The theoretical analysis is presented, aiming for a fault injection campaign to be conducted to evaluate the effectiveness of this approach.
978-3-8007-4395-7
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/2710282
 Attenzione

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