Reliability analysis of component-based systems with multiple failure modes

  • Authors:
  • Antonio Filieri;Carlo Ghezzi;Vincenzo Grassi;Raffaela Mirandola

  • Affiliations:
  • Politecnico di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy;Università di Roma “Tor Vergata”, Roma, Italy;Politecnico di Milano, Milano, Italy

  • Venue:
  • CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a novel approach to the reliability modeling and analysis of a component-based system that allows dealing with multiple failure modes and studying the error propagation among components. The proposed model permits to specify the components attitude to produce, propagate, transform or mask different failure modes. These component-level reliability specifications together with information about systems global structure allow precise estimation of reliability properties by means of analytical closed formulas, probabilistic model-checking or simulation methods. To support the rapid identification of components that could heavily affect systems reliability, we also show how our modeling approach easily support the automated estimation of the system sensitivity to variations in the reliability properties of its components. The results of this analysis allow system designers and developers to identify critical components where it is worth spending additional improvement efforts.