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 条

[31] Human performance and embedded intelligent technology in safety-critical systems
Grabowski, M
Sanborn, SD
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2003, 58 (06) : 637 - 670
[32] Reliability modeling of safety-critical network communication in a digitalized nuclear power plant
Lee, Sang Hun
Kim, Hee Eun
Son, Kwang Seop
Shin, Sung Min
Lee, Seung Jun
Kang, Hyun Gook
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 144 : 285 - 295
[33] On the Evaluation Measures for Machine Learning Algorithms for Safety-critical Systems
Gharib, Mohamad
Bondavalli, Andrea
2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019), 2019, : 141 - 144
[34] Analysis of the Performance of Safety-Critical Systems with Diagnosis and Periodic Inspection
Zhang, Tieling
Wang, Yiming
Xie, Min
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2008 PROCEEDINGS, 2008, : 145 - +
[35] Evaluation of Open Source Operating Systems for Safety-Critical Applications
Berntsson, Petter Sainio
Stranden, Lars
Warg, Fredrik
SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2017, 2017, 10479 : 117 - 132
[36] Steering Actuator for Safety-critical Systems
Huber, Stephan
Koch, Matthias
Krovvidi, Raviteja
Fock, Malte
ATZ worldwide, 2021, 123 (01) : 30 - 33
[37] Safety-critical systems built with COTS
Profeta, JA
Andrianos, NP
Yu, B
Johnson, BW
DeLong, TA
Guaspari, D
Jamsek, D
COMPUTER, 1996, 29 (11) : 54 - &
[38] Parallel Decomposition for Safety-Critical Systems
Uygur, Guerkan
Sattler, Sebastian M.
2013 3RD INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2013, : 504 - 511
[39] Architecture for safety-critical transportation systems
Ahangari, Hamzeh
Ozkok, Yusuf Ibrahim
Yildirim, Asil
Say, Fatih
Atik, Funda
Ozturk, Ozcan
MICROPROCESSORS AND MICROSYSTEMS, 2023, 98
[40] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
MOSER, LE
MELLIARSMITH, PM
SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821

← 1 2 3 4 5 →