Two dynamic methodologies, dynamic flowgraph methodology (DFM) and the Markov/cellto cell mapping technique (CCMT), are implemented on the benchmark digital feedwater control system (DFWCS) specified in NUREG-6942 (Dynamic Reliability Modeling of Digital Instrumentation and Control Systems for Nuclear Reactor Probabilistic Risk Assessments) [1], to demonstrate how an existing nuclear power plan...
