Formal Approach to Use the Security Models for Design and Evaluation of the NPP I&C Security Architecture

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NPIC & HMIT (12. : 2021 : Online) 12th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2021) ; Volume 2 of 2
1. Verfasser: Promyslov, Vitaly (VerfasserIn)
Weitere Verfasser: Quinn, Edward L. (VerfasserIn), Semenkov, Kirill (VerfasserIn), Rowland, Michael T. (VerfasserIn), Lamb, Christopher C. (VerfasserIn), Li, Jianghai (VerfasserIn)
Pages:12
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
A Pseudo-Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power 2022 Jayakumar, Athira Varma
Accessible Formal Verification for Design Assurance of Model Based Critical I&C Systems 2022 Gautham, Smitha
Preliminary Insights on Digital Instrumentation and Control Regulatory Lessons from the Boeing 737 MAX 8 Crash Events 2022 Waters, Michael
Novel Integration of Field Sensors to Reactor Protection Systems 2022 Smith, Tighe
Artificlal Reasoning System for Symptom-Based Conditional Failure Probability Estimation Using Bayesian Network 2022 Zhao, Xingang
A Process to Assess Latent Failure Risk in Sequential (Southern Nuclear Operating Co.), Control Logic During a FMEA—M. McCarthy (Kinectrics), D. K. ‘Univ. of Tennessee) 2022 McCarthy, M.
Combining System Architecture Modelling with Dynamic Process Simulation for Early Stage Fault and Effect Analysis 2022 Linnosmaa, Joonas
Dynamic Scheduler for Nuclear Power Plant Outages 2022 Sert, Ozan
Development of H∞ Controllers for Nuclear Thermal Rocket Engines 2022 Floyd, Dan C.
Development of a Non-Nuclear Test Bed for Advanced Control Algorithms 2022 Wood, Richard
Physics-Informed Machine Learning-Aided System Space Discretization 2022 Kim, Junyung
Development of a Cyber Response Strategy Establishment Method for Minimizing the Potential Risk from Cyber-Attacks in NPPs 2022 Lee, Chanyoung
Safety Instrumentation and Control Technologies for Small Modular Reactors and Advanced Reactors 2022 Duthou, Arnaud
An Isolation Design Strategy for Implementing Secure and Safety-Critical Applications in FPGA 2022 Rajagopala, D. Abhi
Potential Use of Thinklogical’s KVM Technology in Safety Applications 2022 Turk, Richard
Automated Scenario Generation for Cyber Risk 2022 Wynn, Jackson
Exploring Quantum Key Distribution for Nuclear I&C Cybersecurity 2022 Chatzidakis, Stylianos
Overview and Recommendations for Cyber Risk Assessment in Nuclear Power Plants 2022 Zhang, Fan
Risk Comparison Among Design Options of RPS with Jiverse PLC and FPGA Systems 2022 Kang, Hyun Gook
The Role of Certification in the Safety Demonstration of COTS EDDs 2022 Guerra, Sofia
Alle Artikel auflisten