TY - JOUR
T1 - Hybrid reliability model for nuclear reactor safety system
AU - Verlinden, Steven
AU - Deconinck, Geert
AU - Coupé, Bernard
A2 - Joppen, Frank
N1 - Score = 10
PY - 2012/5
Y1 - 2012/5
N2 - 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.
AB - 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.
KW - Hybrid reliability model
KW - Markov process
KW - Reliability block diagram
KW - Shutdown system
KW - Belgian reactor 2
UR - http://ecm.sckcen.be/OTCS/llisapi.dll/open/ezp_120752
UR - http://knowledgecentre.sckcen.be/so2/bibref/9014
U2 - 10.1016/j.ress.2012.01.004
DO - 10.1016/j.ress.2012.01.004
M3 - Article
SN - 0951-8320
VL - 101
SP - 35
EP - 47
JO - Reliability Engineering and System Safety
JF - Reliability Engineering and System Safety
IS - May
ER -