Model based security verification of Cyber-Physical System based on Petrinet: A case study of Nuclear power plant

Annals of Nuclear Energy ◽

10.1016/j.anucene.2021.108306 ◽

2021 ◽

Vol 159 ◽

pp. 108306

Author(s):

Dipty Tripathi ◽

Lalit Kumar Singh ◽

Anil Kumar Tripathi ◽

Amrita Chaturvedi

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Physical System ◽

Nuclear Power ◽

Cyber Physical System ◽

Model Based ◽

Security Verification

Download Full-text

MODEL-BASED ANALYSIS OF EFFECTIVENESS OF ENGINEERING SOLUTIONS DESIGNED TO INCREASE COOLING CAPACITY OF TASHLYK WATER RESERVOIR OF SOUTHUKRAINIAN NUCLEAR POWER PLANT

International Journal of Energy for a Clean Environment ◽

10.1615/interjenercleanenv.2013006119 ◽

2012 ◽

Vol 13 (1-4) ◽

pp. 39-51

Author(s):

Roman V. Bezhenar ◽

Volodymyr I. Koshebutsky ◽

Ivan V. Kovalets ◽

Vladimir S. Maderich ◽

Mark J. Zheleznyak

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Water Reservoir ◽

Cooling Capacity ◽

Model Based ◽

Model Based Analysis

Download Full-text

Definition of model-based control strategies for the Molten Salt Fast Reactor nuclear power plant

Nuclear Engineering and Design ◽

10.1016/j.nucengdes.2020.111015 ◽

2021 ◽

Vol 373 ◽

pp. 111015

Author(s):

Claudio Tripodo ◽

Stefano Lorenzi ◽

Antonio Cammi

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Molten Salt ◽

Fast Reactor ◽

Nuclear Power ◽

Control Strategies ◽

Model Based Control ◽

Model Based ◽

Definition Of

Download Full-text

Comparative analysis of decision making regarding nuclear policy after the Fukushima Dai-ichi Nuclear Power Plant Accident: Case study in Germany and Japan

Technology in Society ◽

10.1016/j.techsoc.2021.101735 ◽

2021 ◽

Vol 67 ◽

pp. 101735

Author(s):

Hoseok Nam ◽

Satoshi Konishi ◽

Ki-Woo Nam

Keyword(s):

Decision Making ◽

Comparative Analysis ◽

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Nuclear Power Plant Accident ◽

Nuclear Policy ◽

Accident Case

Download Full-text

Verification of Safety in Safety Critical Computer-Based Systems: A Case Study of Nuclear Power Plant System

Nuclear Technology ◽

10.13182/nt15-151 ◽

2016 ◽

Vol 195 (3) ◽

pp. 301-309 ◽

Cited By ~ 1

Author(s):

Lalit Singh ◽

Hitesh Rajput

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Safety Critical ◽

Plant System ◽

Computer Based

Download Full-text

A case study of a human reliability assessment for an existing nuclear power plant

Applied Ergonomics ◽

10.1016/0003-6870(96)00014-2 ◽

1996 ◽

Vol 27 (5) ◽

pp. 289-302 ◽

Cited By ~ 5

Author(s):

B. Kirwan ◽

S. Scannali ◽

L. Robinson

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Reliability Assessment ◽

Human Reliability

Download Full-text

An optimized technique for reliability analysis of safety-critical systems: A case study of nuclear power plant

Quality and Reliability Engineering International ◽

10.1002/qre.2340 ◽

2018 ◽

Vol 35 (1) ◽

pp. 461-469 ◽

Cited By ~ 5

Author(s):

Pramod Kumar ◽

Lalit Kumar Singh ◽

Chiranjeev Kumar

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Reliability Analysis ◽

Nuclear Power ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant

2014 International Conference on Trustworthy Systems and their Applications ◽

10.1109/tsa.2014.13 ◽

2014 ◽

Cited By ~ 5

Author(s):

Yean-Ru Chen ◽

Sao-Jie Chen ◽

Pao-Ann Hsiung ◽

I-Hsin Chou

Keyword(s):

Risk Assessment ◽

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Safety Risk

Download Full-text

Social Decision-making Processes in Local Contexts: An STS Case Study on Nuclear Power Plant Siting in Japan

East Asian Science Technology and Society ◽

10.1215/s12280-007-9002-9 ◽

2007 ◽

Vol 1 (1) ◽

pp. 53-75 ◽

Cited By ~ 10

Author(s):

K. Juraku ◽

T. Suzuki ◽

O. Sakura

Keyword(s):

Decision Making ◽

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Social Decision ◽

Local Contexts ◽

Decision Making Processes ◽

Social Decision Making

Download Full-text

Challenges in Cost Estimation under Uncertainty—A Case Study of the Decommissioning of Barsebäck Nuclear Power Plant

Administrative Sciences ◽

10.3390/admsci6040014 ◽

2016 ◽

Vol 6 (4) ◽

pp. 14 ◽

Cited By ~ 9

Author(s):

Olav Torp ◽

Ole Klakegg

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Cost Estimation ◽

Nuclear Power

Download Full-text

DYNAMIC SOIL-STRUCTURE INTERACTION MODELING STRATEGIES APPLIED TO KASHIWAZAKI-KARIWA NUCLEAR POWER PLANT CASE-STUDY

Proceedings of the 6th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering (COMPDYN 2015) ◽

10.7712/120117.5571.17197 ◽

2017 ◽

Cited By ~ 2

Author(s):

Vinicius Alves Fernandes ◽

Fabien Banci ◽

Georges Devesa ◽

Nicolas Greffet ◽

Matthieu Jacquet ◽

...

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Soil Structure ◽

Soil Structure Interaction ◽

Structure Interaction ◽

Interaction Modeling

Download Full-text