@inproceedings{7c0fb004afed4b2ca6643952e1dd56ae,
title = "Markov/CCMT modeling of the benchmark system and incorporation of the results into an existing PRA",
abstract = "In the reliability modeling of digital control systems, conventional methodologies based on the event-tree/fault-tree (ET/FT) methodology may not represent adequately the statistical dependence between failure events in certain digital systems. Dynamic methodologies can be considered as an important alternative to overcome this limitation. The Markov/CCMT (Cell-to-Cell Mapping Technique) has been proposed as a dynamic methodology for the probabilistic risk assessment (PRA) of digital control systems. The application of Markov/CCMT is illustrated using the digital control system for a feedwater system of a pressurized water reactor (PWR). Discrete hardware/software/firmware states are defined and transitions between these states are deduced from the control logic of the system, as well as from the failure modes and effects analysis (FMEA) performed on each component. Markov/CCMT is used to represent the dynamics of the system as the probability of transitions between process variable magnitude intervals (cells) that partition the state space. The resulting Markov model is converted into dynamic event trees which then are incorporated into an existing ET/FT based PRA of a PWR using the SAPHIRE code.",
keywords = "Digital systems, Dynamic PRA, Markov, Probabilistic risk assessment",
author = "D. Mandelli and T. Aldemir and P. Bucci and Mangan, {L. A.} and J. Kirschenbaum and M. Stovsky and E. Ekici and Arndt, {S. A.}",
year = "2008",
language = "English",
isbn = "9781622765775",
series = "9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008",
pages = "94--103",
booktitle = "9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008",
note = "9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008 ; Conference date: 18-05-2008 Through 23-05-2008",
}