PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Qualificazione di strumenti software per applicazioni critiche

azienda 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