Parameter Estimation for Quantitative Dependability Analysis of Safety-Critical and Control Systems of NPP

2018 ◽  
Vol 65 (5) ◽  
pp. 1080-1090 ◽  
Author(s):  
Vinay Kumar ◽  
Lalit Kumar Singh ◽  
Pooja Singh ◽  
Karm Veer Singh ◽  
Ashish Kumar Maurya ◽  
...  
Keyword(s):  
Parameter Estimation ◽  
Control Systems ◽  
Safety Critical ◽  
Dependability Analysis ◽  
And Control

Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system

2022 ◽  
Vol 166 ◽  
pp. 108812
Author(s):  
Vinay Kumar ◽  
Kailash Chandra Mishra ◽  
Pooja Singh ◽  
Aditya Narayan Hati ◽  
Mohan Rao Mamdikar ◽  
...  
Keyword(s):  
Control System ◽  
Model Checking ◽  
Reliability Analysis ◽  
Control Systems ◽  
Safety Critical ◽  
And Control

scholarly journals Application of the FPGA Technology for the Development of Multi-Version Safety-Critical NPP Instrumentation and Control Systems

2020 ◽  
pp. 52-61
Author(s):  
A. Perepelitsyn ◽  
O. Illiashenko ◽  
V. Duzhyi ◽  
V. Kharchenko
Keyword(s):  
Control Systems ◽  
International Standards ◽  
Design Tools ◽  
Integrated Development ◽  
Safety Critical ◽  
Digital Devices ◽  
Diversity Assessment ◽  
Integrated Development Environments ◽  
And Control

The paper overviews the requirements of international standards on application of diversity in safety-critical NPP instrumentation and control (I&C) systems. The NUREG7007 classification of version redundancy and the method for diversity assessment are described. The paper presents results from the analysis of instruments and design tools for FPGA-based embedded digital devices from leading manufacturers of programmable logics using the Xilinx and Altera (Intel) chips, which are used in NPP I&C systems, as an example. The most effective integrated development environments are analyzed and the results of comparing the functions and capabilities of using the Xilinx and Altera (Intel) tools are described. The analysis of single failures and fault tolerance using diversity in chip designs based on the SRAM technology is presented. The results from assessment of diversity metrics for RadICS platform-based multi-version I&C systems are discussed.

Availability analysis of safety-critical and control systems of NPP using stochastic modeling

2020 ◽  
Vol 147 ◽  
pp. 107657
Author(s):  
Pramod Kumar ◽  
Lalit Kumar Singh ◽  
Nilesh Chaudhari ◽  
Chiranjeev Kumar
Keyword(s):  
Control Systems ◽  
Stochastic Modeling ◽  
Safety Critical ◽  
Availability Analysis ◽  
And Control
Sign in / Sign up

Export Citation Format

Share Document