| KEYWORD |
Qualification of software systems for safety-critical applications
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