Hardening Approach for the Scheduler’s Kernel Data Structures
Konferenz: ARCS 2017 - 30th International Conference on Architecture of Computing Systems
03.04.2017 - 06.04.2017 in Vienna, Austria
Tagungsband: ARCS 2017
Seiten: 4Sprache: EnglischTyp: PDFPersönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Velasco, Alejandro David; Montrucchio, Bartolomeo; Rebaudengo, Maurizio (Politecnico di Torino, Italy)
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.