PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Qualification of software systems for safety-critical applications

azienda Thesis in external company    


keywords SAFETY-CRITICAL SOFTWARE, RISK ANALYSIS, FMEA

Reference persons RICCARDO SISTO

Research Groups FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP

Thesis type EXPERIMENTAL

Description Software tools that are used in the development of safety-critical systems (e.g. avionics systems or, more and more often, also automotive systems) must be "qualified", i.e. they must have undergone an evaluation that states they are "reliable" for being used in the foreseen context. These evaluations are normally based on risk analysis, which has to evaluate the effects of potential errors that the software tool may make because of bugs. This analysis could show, for example, that certain modules of the software under analysis are indeed non-critical, because any errors they may have will not have serious consequences. Instead, other modules may result critical, and hence they have to be tested accurately.
The aim of the thesis is to experiment the FMEA (Failure Modes and Effects Analysis) technique in order to perform risk analysis on a commercial software tool, in collaboration with the enterprise that produces that software.
The thesis gives the candidate the opportunity to learn FMEA and to get in touch with a software development enterprise.

Required skills Programming


Deadline 14/09/2013      PROPONI LA TUA CANDIDATURA