TY - GEN
T1 - A benchmark system for the reliability modeling of digital instrumentation and control systems
AU - Mandelli, D.
AU - Aldemir, T.
AU - Kirschenbaum, J.
AU - Bucci, P.
AU - Miller, D. W.
AU - Stovsky, M.
AU - Ekici, E.
AU - Arndt, S. A.
PY - 2008
Y1 - 2008
N2 - A candidate system is proposed as a benchmark for the assessment of methods for the reliability modeling of digital instrumentation and control (I&C) systems. The system under consideration is the digital feedwater control system (DFWCS) of a typical pressurized water reactor (PWR). A detailed description of the components, control laws, failure modes of the components and the communication logic is presented. A representation of the benchmark DFWCS as a finite state machine is also given. The finite state machine description is useful to: a) visualize and establish all the possible connections between the components (system topology), and, b) show how information regarding the status of the system is shared among system components. It is also shown how specific I&C failures, such as a failure in communications, are directly implemented in the model. Finally, requirements for such a benchmark system are revisited and discussed relative to the benchmark system presented.
AB - A candidate system is proposed as a benchmark for the assessment of methods for the reliability modeling of digital instrumentation and control (I&C) systems. The system under consideration is the digital feedwater control system (DFWCS) of a typical pressurized water reactor (PWR). A detailed description of the components, control laws, failure modes of the components and the communication logic is presented. A representation of the benchmark DFWCS as a finite state machine is also given. The finite state machine description is useful to: a) visualize and establish all the possible connections between the components (system topology), and, b) show how information regarding the status of the system is shared among system components. It is also shown how specific I&C failures, such as a failure in communications, are directly implemented in the model. Finally, requirements for such a benchmark system are revisited and discussed relative to the benchmark system presented.
KW - Dynamic PRA
KW - I&C Reliability
KW - Reliability modeling
UR - http://www.scopus.com/inward/record.url?scp=84876469667&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84876469667
SN - 9781622765775
T3 - 9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008
SP - 1063
EP - 1073
BT - 9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008
T2 - 9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008
Y2 - 18 May 2008 through 23 May 2008
ER -