Overview

Questo lavoro propone un approccio alla diagnosi dei guasti software in sistemi complessi tolleranti ai guasti, che comprende le fasi di rilevamento degli errori, localizzazione dei guasti e ripristino del sistema. Gli errori vengono rilevati nella prima fase, sfruttando il supporto del sistema operativo. I guasti vengono identificati durante la fase di localizzazione, attraverso un approccio basato sull'apprendimento automatico. Quindi, una volta localizzato il guasto, viene attivata la migliore azione di ripristino. Durante la fase di localizzazione vengono utilizzate anche azioni di feedback per migliorare la qualità del rilevamento nel tempo. Come caso di studio per la valutazione dell'approccio proposto è stata utilizzata un'applicazione reale nel campo del controllo del traffico aereo. I risultati sperimentali, ottenuti mediante l'iniezione di guasti, dimostrano che il motore di diagnosi è in grado di diagnosticare i guasti con elevata precisione e con un overhead ridotto.