Multifragmentation Markov Modeling of a Reactor Trip System-Reference-Cited by-同舟云学术

Multifragmentation Markov Modeling of a Reactor Trip System

Published:2015-05-14 Issue:3 Volume:1 Page:
ISSN:2332-8983
Container-title:Journal of Nuclear Engineering and Radiation Science
language:en
Short-container-title:

Author:

Kharchenko Vyacheslav¹,Butenko Valentina²,Odarushchenko Oleg³,Sklyar Vladimir³

Affiliation:

1. Centre of Safety Infrastructure, Oriented Research and Analysis, Kharkiv 61000, Ukraine e-mail:

2. Department of Computers Systems and Networks, National Aerospace University “KhAI,” Kharkiv 61000, Ukraine e-mail:

3. Research and Production Corporation Radiy, Kirovograd 25009, Ukraine e-mail:

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.

Publisher

ASME International

Subject

Nuclear Energy and Engineering,Radiation

Link

http://asmedigitalcollection.asme.org/nuclearengineering/article-pdf/doi/10.1115/1.4029342/6065655/ners_1_3_031005.pdf

Reference23 articles.

1. Archana S. , Srinivasan, R., and Trivedi, K. S., 2000, “Availability Models in Practice,” Proceedings of the International Workshop on Fault-Tolerant Control and Computing (FTCC-1), Seoul, Korea, May 22–23, pp. 823–829.

2. Availability Analysis of Blade Server Systems;IBM Syst. J.,2008

3. Kharchenko, V., Sklyar, V., Odarushchenko, O., and Ivasuyk, A., 2013, “Fault-Injection Testing: FIT-ability, Optimal Procedure and Tool for FPGA-Based System SIL Certification,” East-West Design & Test Symposium, Rostov-On-Don, IEEE Xplore, 27–30 Sept., pp. 1–5. doi:10.1109/EWDTS.2013.6673129.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safety Assessment of Maintained Control Systems with Cascade Two-Version 2oo3/1oo2 Structures Considering Version Faults;Lecture Notes in Networks and Systems;2023

2. Safety Assessment of the Two-Cascade Redundant Information and Control Systems Considering Faults of Versions and Supervision Means;New Advances in Dependability of Networks and Systems;2022

3. Availability Model of Two-Zone Physical Security System considering Cyber Attacks and Software Update;2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT);2020-05

4. The Availability Models of Two-Zone Physical Security System Considering Cyber Attacks;Theory and Applications of Dependable Computer Systems;2020

5. Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures;Information and Communication Technologies in Education, Research, and Industrial Applications;2020