| KEYWORD |
Qualificazione di strumenti software per applicazioni critiche
Tesi esterna in azienda
Parole chiave SOFTWARE CRITICO, ANALISI DEL RISCHIO, FMEA
Riferimenti RICCARDO SISTO
Gruppi di ricerca FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Tipo tesi SPERIMENTALE
Descrizione Gli strumenti software che vengono usati nello sviluppo di sistemi critici per la sicurezza (per esempio sistemi avionici o, sempre più spesso, anche sistemi automotive) devono essere "qualificati", cioè aver subito una valutazione che li attesta come "attendibili" per essere impiegati in quel contesto. Tali valutazioni in genere partono da un'analisi del rischio, che deve valutare gli effetti dei potenziali errori che il software potrebbe commettere a causa di bachi. Questa analisi, per esempio, potrebbe evidenziare che certi moduli del software non sono in realtà critici perchè eventuali errori in essi non hanno conseguenze gravi. Altri moduli invece sono critici e devono quindi essere testati in modo più accurato.
Scopo della tesi è sperimentare la tecnica FMEA (Filure Modes and Effects Analysis) per fare un'analisi di rischio su un software commerciale, in collaborazione con l'azienda che produce quel software.
La tesi consente di imparare la tecnica FMEA e di entrare in contatto con una realtà industriale di sviluppo software.
Conoscenze richieste Programmazione
Scadenza validita proposta 14/09/2013
PROPONI LA TUA CANDIDATURA