Abstract

The dependability of critical safety systems needs to be quantitatively determined in order to verify their effectiveness, e.g. with regard to regulatory requirements. Since modular redundant safety systems are not required for normal operation, their reliability is strongly dependent on periodic inspection. Several modeling methods for the quantitative assessment of dependability are described in the literature, with a broad variation in complexity and modeling power. Static modeling techniques such as fault tree analysis (FTA) or reliability block diagrams (RBD) are not capable of capturing redundancy and repair or test activities. Dynamic state space based models such as continuous time Markov chains (CTMC) are more powerful but often result in very large, intractable models. Moreover, exponentially distributed state residence times are not a correct representation of actual residence times associated with repair activities or periodic inspection. In this study, a hybrid model combines a system level RBD with a CTMC to describe the dynamics. The effects of periodic testing are modeled by redistributing state probabilities at deterministic test times. Applying the method to the primary safety shutdown system of the BR2(Belgian Reactor 2)—nuclear research reactor, resulted in a quantitative as well as a qualitative assessment of its reliability.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.