Transient faults in safety-critical computer-based systems represent a major issue for guaranteeing correct system behaviour. Fault injection is a commonly used method to evaluate the sensitivity of such systems. This paper presents a fault injection tool, called KITO, to evaluate the effects of faults in memory containing data structures belonging to a Unix-based Operating System and, in particular, elements linked to resource synchronization management. An experimental analysis was conducted on a large set of memory elements of the Operating System itself, while the system was subject to stress from benchmark programs that use different elements of the Linux kernel. Experimental results show that synchronization aspects of the kernel are susceptible to a significant set of possible errors ranging from performance degradation to failure in successfully completing the benchmark application.

KITO tool: A fault injection environment in Linux kernel data structures / Velasco, ALEJANDRO DAVID; Montrucchio, Bartolomeo; Rebaudengo, Maurizio. - In: MICROELECTRONICS RELIABILITY. - ISSN 0026-2714. - 60:(2016), pp. 153-162. [10.1016/j.microrel.2016.02.011]

KITO tool: A fault injection environment in Linux kernel data structures

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

Abstract

Transient faults in safety-critical computer-based systems represent a major issue for guaranteeing correct system behaviour. Fault injection is a commonly used method to evaluate the sensitivity of such systems. This paper presents a fault injection tool, called KITO, to evaluate the effects of faults in memory containing data structures belonging to a Unix-based Operating System and, in particular, elements linked to resource synchronization management. An experimental analysis was conducted on a large set of memory elements of the Operating System itself, while the system was subject to stress from benchmark programs that use different elements of the Linux kernel. Experimental results show that synchronization aspects of the kernel are susceptible to a significant set of possible errors ranging from performance degradation to failure in successfully completing the benchmark application.
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0026271416300300-main.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 815.42 kB
Formato Adobe PDF
815.42 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/2643010
 Attenzione

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