Manuela Nelli

Learn More
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such systems and to master the complexity of the analysis. Our approach considers a separate modelling and resolution of the phases, and of the dependencies among phases caused by the(More)
This paper describes the dependability modelling and evaluation of a real complex system, made of redundant replicated hardware and redundant diverse software. It takes into account all aspects of their interactions (including correlation between the diverse software variants) and of the criticality of the several components. Our approach has been to(More)
Healthcare workers who use or may be exposed to needles are at risk of needlestick injuries, which can lead to serious infections by bloodborne pathogens. These injuries can be avoided by eliminating the unnecessary use of needles and using safety devices. The present study was aimed at evaluating the impact of a safety-engineered device, with passive fully(More)
This report describes the modelling and evaluation of a GUARDS instance for space applications: the Rosetta mission provided by Matra Marconi Space. By using the hierarchical methodology identified by PDCC [7], we focused on the analysis of the higher levels of the hierarchical modelling architecture because the main differences and specific features of the(More)
  • 1