Symbolic Representation Techniques in Dynamic Reliability Evaluation

  • Authors:
  • Salvatore Distefano;Francesco Longo;Marco Scarpa

  • Affiliations:
  • -;-;-

  • Venue:
  • HASE '10 Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The increasing demand of quality presses towards more specific requirements, tighter constraints, and higher standards. It is thus necessary to provide new paradigms, techniques, and tools to adequately model and evaluate complex systems. This paper mainly focuses on reliability aspects, also taking into account dynamic-dependent interactions among components. Starting from the conservation of reliability principle, we characterize the time to failure of the system components through continuous phase type distributions. The system reliability is thus modeled by an expanded Markov chain expressed in terms of Kronecker algebra in order to face the state space explosion and to represent the memory policies related to the aging process. A two-component system is taken as example to demonstrate the effectiveness of the technique and to validate it.