Performance evaluation of safety-critical systems of nuclear power plant systems

被引：25

作者：

Kumar, Pramod ^{[1
]}

Singh, Lalit Kumar ^{[2
]}

Kumar, Chiranjeev ^{[1
]}

机构：

[1] Indian Inst Technol ISM, Dept Comp Sci & Engn, Dhanbad, Bihar, India

[2] Indian Inst Technol BHU, Dept Comp Sci & Engn, Varanasi, Uttar Pradesh, India

来源：

NUCLEAR ENGINEERING AND TECHNOLOGY | 2020年 / 52卷 / 03期

关键词：

Performance; Safety critical systems; Petri nets; Markov chain; PETRI NETS; RELIABILITY;

D O I：

10.1016/j.net.2019.08.018

中图分类号：

TL [原子能技术]; O571 [原子核物理学];

学科分类号：

0827 ; 082701 ;

摘要：

The complexity of safety critical systems of Nuclear Power Plant continues to increase rapidly due its transition from analog to digital systems. It has thus become progressively more imperative to model these systems prior to their implementation in order to meet the high performance, safety and reliability requirements. Timed Petri Nets (TPNs) have been widely used to model such systems for non-functional analysis. The paper presents a novel methodology for the analysis of the performance metrics using PN modeling. The paper uses the isomorphism property of the TPNs and the Markov chains for the performance analysis of the safety critical systems. The presented methodology has been validated on a Shutdown System of a Nuclear Power Plant. (C) 2019 Korean Nuclear Society, Published by Elsevier Korea LLC.

引用

页码：560 / 567

页数：8

共 50 条

[21] The ethics of safety-critical systems
Bowen, J
COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
[22] Integrating Blockchain in Safety-Critical Systems: An Application to the Nuclear Industry
Diaz, Manuel
Soler, Enrique
Llopis, Luis
Trillo, Joaquin
IEEE ACCESS, 2020, 8 : 190605 - 190619
[23] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
Gebre-Egziabher, Demoz
PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
[24] Methodology study on safety-critical software reliability evaluation of digital I&C systems at nuclear power plants
School of Economics and Management, Harbin Engineering University, Harbin
150001, China
不详
150001, China
Hedongli Gongcheng, 1 (177-181):
[25] Exhaustive test cases for the software reliability of safety-critical digital systems in nuclear power plants
Cho, Jaehyun
Shin, Sung Min
Lee, Seung Jun
Jung, Wondea
NUCLEAR ENGINEERING AND DESIGN, 2019, 352
[26] Implementation of a built-in self-test for nuclear power plant FPGA-based safety-critical control systems
Lin, Zequn
Wang, Lingzhi
Cai, Yuanfeng
Wang, Fanyu
Wu, Yichun
ANNALS OF NUCLEAR ENERGY, 2022, 165
[27] Multilevel Analysis of Human Performance Models in Safety-Critical Systems
Dzaack, Jeronimo
Urbas, Leon
DIGITAL HUMAN MODELING, PROCEEDINGS, 2009, 5620 : 375 - +
[28] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[29] Evaluation of a Formalized Encryption Library for Safety-Critical Embedded Systems
Schulz, Thorsten
Golatowski, Frank
Timmermann, Dirk
2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2017, : 1153 - 1158
[30] Dependability validation, evaluation and testing of safety-critical aerospace systems
Carreira, J
Costa, D
DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 267 - 271

← 1 2 3 4 5 →