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)
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