Multifragmentation Markov Modeling of a Reactor Trip System
- 14 May 2015
- journal article
- Published by ASME International in Journal of Nuclear Engineering and Radiation Science
- Vol. 1 (3), 031005
- https://doi.org/10.1115/1.4029342
Abstract
Markov models (MM) are widely used in dependability assessment of complex safety-critical systems. The main computational difficulties in using MMs are model size and stiffness. Selection of the solution approach (SA) and tools based on analysis of MM stiffness and complexity increases the assessment accuracy. This paper presents the safety assessment of nuclear power plan instrumentation and control system (NPP I&Cs): a two-channel FPGA-based reactor trip system with three parallel tracks on “2-out-of-3” logic. The MM was built using a multifragmentation approach and solved with several SAs and tools. The analysis of results shows few application problems: the importance of usability-oriented tool selection, achieving an accurate result, and supporting the results verification.Keywords
This publication has 7 references indexed in Scilit:
- Fault-injection testing: FIT-ability, optimal procedure and tool for FPGA-based systems SIL certificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Optimal state-space lumping in Markov chainsInformation Processing Letters, 2003
- Stiffness-tolerant methods for transient analysis of stiff Markov chainsMicroelectronics Reliability, 1994
- Superposed Generalized Stochastic Petri Nets: Definition and efficient solutionLecture Notes in Computer Science, 1994
- Stochastic well-formed colored nets and symmetric modeling applicationsIEEE Transactions on Computers, 1993
- Numerical transient analysis of markov modelsComputers & Operations Research, 1988
- An Aggregation Technique for the Transient Analysis of Stiff Markov ChainsIEEE Transactions on Computers, 1986