Symbolic representation techniques in dynamic reliability evaluation

TitleSymbolic representation techniques in dynamic reliability evaluation
Publication TypeConference Proceedings
Year of Conference2010
AuthorsDistefano, S., F. Longo, and M. Scarpa
Conference NameProceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE)
PublisherIEEE Computer Society
Conference LocationSan Jose, CA, United States, 3-4 November 2010
ISBN Number9780769542928
KeywordsAging process, Algebra, Complex systems, Continuous phase, Dynamic reliability, Kronecker algebra, Markov Chain, Markov processes, phase type distributions, Quality assurance, Reliability, State-space explosion, symbolic representation, System components, System reliability, Systems engineering, Time to failure, Two component systems

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. © 2010 IEEE.