Verification of safety critical and control systems of Nuclear Power Plants using Petri nets

Annals of Nuclear Energy ◽

10.1016/j.anucene.2019.06.027 ◽

2019 ◽

Vol 132 ◽

pp. 584-592 ◽

Author(s):

Pooja Singh ◽

Lalit Singh

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Safety Critical ◽

Download Full-text

Design of safety critical and control systems of Nuclear Power Plants using Petri nets

Nuclear Engineering and Technology ◽

10.1016/j.net.2019.02.014 ◽

2019 ◽

Vol 51 (5) ◽

pp. 1289-1296 ◽

Author(s):

Pooja Singh ◽

Lalit Kumar Singh

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Safety Critical ◽

Download Full-text

Final Technical Report on Quantifying Dependability Attributes of Software Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants

10.2172/1243366 ◽

2016 ◽

Author(s):

Carol Smidts ◽

Funqun Huang ◽

Boyuan Li ◽

Xiang Li

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Safety Critical ◽

Technical Report ◽

Download Full-text

Nuclear power plants. Instrumentation and control systems important to safety. Classification of instrumentation and control functions

10.3403/30031965 ◽

2007 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Control Functions ◽

Download Full-text

Nuclear power plants. Instrumentation and control systems important to safety. Software aspects for computer-based systems performing category A functions

10.3403/30149488 ◽

2006 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Computer Based ◽

Download Full-text

Nuclear power plants. Instrumentation and control systems important to safety. Data communication in systems performing category A functions

10.3403/30163334u ◽

2019 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Safety Data ◽

Data Communication ◽

Download Full-text

Nuclear power plants. Instrumentation and control systems important to safety. Design and qualification of isolation devices

10.3403/30280765 ◽

2016 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Safety Design ◽

Download Full-text

Nuclear power plants � Instrumentation and control systems � Requirements for coordinating safety and cybersecurity

10.3403/30300358 ◽

2019 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Systems Requirements ◽

Download Full-text

Nuclear power plants. Instrumentation and control systems important to safety. Use of Failure Mode and Effects Analysis (FMEA) and related methods to support the justification of systems

10.3403/30321645u ◽

2015 ◽

Keyword(s):

Control Systems ◽

Failure Mode ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Download Full-text

Nuclear power plants - Instrumentation and control systems important to safety - Design and qualification of isolation devices

10.3403/30363366 ◽

2018 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Safety Design ◽

Download Full-text

Nuclear power plants - Instrumentation and control systems important to safety - Hazard analysis: a review of current approaches

10.3403/30375877 ◽

2019 ◽

Keyword(s):

Control Systems ◽

Nuclear Power ◽

Power Plants ◽

Nuclear Power Plants ◽

Hazard Analysis ◽

Safety Hazard ◽

Download Full-text