Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets

被引：46

作者：

Singh, Lalit Kumar ^{[1
]}

Rajput, Hitesh ^{[2
]}

机构：

[1] IIT Varanasi, Dept Comp Sci & Engn, Varanasi 221001, Uttar Pradesh, India

[2] IIT Varanasi, Dept Math Sci, Varanasi 221001, Uttar Pradesh, India

来源：

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY | 2018年 / 26卷 / 02期

关键词：

Nuclear power plant (NPP); Petri net (PN); reactor protection system; system; system reliability; SOFTWARE-RELIABILITY;

D O I：

10.1109/TCST.2017.2669147

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The failure of such systems leads to the catastrophic effects, including injury or death to humans, and harm to the environment. Petri nets (PNs) have been widely used for verification and validation of real-time systems. However, the existing approaches do not consider the critical aspects of reliability and safety that include nonliveness, deadlock, stability, and throughput. In this paper, we introduce these as metrics of reliability and safety for safety critical real-time systems. This paper also proposes an innovative methodology for analysis of nonliveness, deadlock, stability, and throughput metrics by linear programming using PN modeling. The application of the proposed techniques has been validated by applying it on four different safety critical systems, running in six nuclear power plants and shown for reactor protection system.

引用

页码：415 / 426

页数：12

共 50 条

[41] Virtual FA methodology for DRAM: Real-time analysis and risk assessment method using Telemetry [J].

Lee, Jungchul ;

Kwon, E. C. ;

Yoon, S. H. ;

Oh, R. G. ;

Park, S. Y. ;

Youn, S. H. ;

Choi, K. R. ;

Kim, T. W. ;

Kim, M. C. ;

Park, J. H. ;

Ko, Y. W. ;

Kim, Y. D. ;

Moon, J. S. ;

Park, H. A. ;

Hong, K. O. ;

Yang, J. Y. ;

Yoon, J. Y. ;

Yoon, J. M. ;

Lee, J. M. ;

Kim, J. H. ;

Yoo, H. Y. ;

Kim, S. J. ;

Lee, N. H. ;

Lee, S. H. ;

Kwon, K. S. ;

Jung, I. G. ;

Lee, Y. S. ;

Kim, J. H. ;

Pae, Sangwoo .

2024 IEEE INTERNATIONAL RELIABILITY PHYSICS SYMPOSIUM, IRPS 2024, 2024,

[42] Design and Performance Analysis of Solar EV under STC using Matlab and under Real-Time using PVsyst [J].

Prasad, R. Maruthi ;

Krishnamoorthy, A. .

2017 IEEE INTERNATIONAL CONFERENCE ON POWER, CONTROL, SIGNALS AND INSTRUMENTATION ENGINEERING (ICPCSI), 2017, :835-840

[43] Effect of parallel planning on system reliability of real-time expert systems [J].

Chen, IR .

IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) :81-87

[44] Software reliability analysis for safety-critical and control systems [J].

Kumar, Pramod ;

Singh, Lalit Kumar ;

Kumar, Chiranjeev .

QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) :340-353

[45] Error Analysis and Reliability Metrics for Software in Safety Critical Systems [J].

Lockhart, Jonathan ;

Purdy, Carla ;

Wilsey, Philip A. .

2016 IEEE 59TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2016, :89-92

[46] Real-time wavefront correction using diffractive optical networks [J].

Pan, Xiushan ;

Zuo, Heng ;

Bai, Hua ;

Wu, Zhixu ;

Cui, Xiangqun .

OPTICS EXPRESS, 2023, 31 (02) :1067-1078

[47] Modeling earthen dikes using real-time sensor data [J].

Melnikova, N. B. ;

Krzhizhanovskaya, V. V. ;

Sloot, P. M. A. .

JOURNAL OF HYDROLOGY, 2013, 496 :154-165

[48] Real-Time Emotion Recognition Using Deep Learning Algorithms [J].

El Mettiti, Abderrahmane ;

Oumsis, Mohammed ;

Chehri, Abdellah ;

Saadane, Rachid .

2022 IEEE 96TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2022-FALL), 2022,

[49] Real-time simulation using PC-based kernels [J].

Uriarte, Fabian M. ;

Butler-Purry, Karen L. .

2006 IEEE/PES POWER SYSTEMS CONFERENCE AND EXPOSITION. VOLS 1-5, 2006, :1991-+

[50] Modified Packet Scheduling Algorithm using Real-time Service [J].

Koo, Ha-sung .

NEW ASPECTS OF APPLIED INFORMATICS, BIOMEDICAL ELECTRONICS AND INFORMATICS AND COMMUNICATION, 2010, :377-+

← 1 2 3 4 5 →