Symbolic representation techniques in dynamic reliability evaluation
| Title | Symbolic representation techniques in dynamic reliability evaluation |
| Publication Type | Conference Proceedings |
| Year of Conference | 2010 |
| Authors | Distefano, S., F. Longo, and M. Scarpa |
| Conference Name | Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE) |
| Pagination | 45-53 |
| Publisher | IEEE Computer Society |
| Conference Location | San Jose, CA, United States, 3-4 November 2010 |
| ISBN Number | 9780769542928 |
| ISBN | 15302059 |
| Keywords | Aging 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 |
| 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. © 2010 IEEE. |
| URL | http://www.scopus.com/inward/record.url?eid=2-s2.0-79951924261&partnerID=40&md5=8ed2be2a9f6a7e9d891ed3fb58789d6f |
| DOI | 10.1109/HASE.2010.28 |