Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees

  • Authors:
  • Salvatore Distefano;Antonio Puliafito

  • Affiliations:
  • University of Messina, Messina;University of Messina, Messina

  • Venue:
  • IEEE Transactions on Dependable and Secure Computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Dependability evaluation is an important step in designing and analyzing (critical) systems. Introducing control and/or computing devices to automate processes increases the system complexity with an impact on the overall dependability. This occurs as a consequence of interferences and similar effects that can not be adequately managed through reliability block diagrams (RBD), fault trees (FT) and reliability graphs (RG), since the statistical independence assumption is not satisfied. Also more enhanced formalisms such as dynamic FT (DFT) might not be adequate to represent all the behavioral aspects of dynamic systems. To overcome these problems we developed a new formalism derived from RBD: the dynamic RBD (DRBD). DRBD exploit the concept of dependence as the building block to represent dynamic behaviors, allowing to compose the dependencies and adequately managing the arising conflicts by means of a priority algorithm. In this paper we explain how to use the DRBD notation by specifying a practical methodology. Starting from the system knowledge, the proposed methodology drives to the overall system reliability evaluation through the entire phases of modeling and analysis. An example taken from literature, consisting of a multiprocessor distributed computing system, is analyzed.