Hardening Approach for the Scheduler’s Kernel Data Structures

Conference: ARCS 2017 - 30th International Conference on Architecture of Computing Systems
04/03/2017 - 04/06/2017 at Vienna, Austria

Proceedings: ARCS 2017

Pages: 4Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

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.