Automatic test and evaluation of autonomous systems
Physical test and evaluation (T&E) of autonomous systems in actual settings is resource
intensive and time exhaustive. Simulation-based testing, however, can reduce the testing …
intensive and time exhaustive. Simulation-based testing, however, can reduce the testing …
Intelligent fault monitoring and reliability analysis in safety–critical systems of nuclear power plants using SIAO-CNN-ORNN
Nuclear power plants' instrumentation and control systems (I&Cs) are essential for
guaranteeing secure and dependable operations. If these systems fail, there could be …
guaranteeing secure and dependable operations. If these systems fail, there could be …
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software
Function block diagram (FBD) is a standard programming language for programmable logic
controllers (PLCs). PLCs have been widely used to develop safety‐critical systems such as …
controllers (PLCs). PLCs have been widely used to develop safety‐critical systems such as …
[HTML][HTML] FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
Abstract As Function Block Diagram (FBD) programs are used to implement safety-critical
systems such as nuclear reactor protection systems, it is crucial to generate effective test …
systems such as nuclear reactor protection systems, it is crucial to generate effective test …
Some issues of assessing the risk potential of technological process at nuclear power plants
E Abdulova - 2021 International Conference on Industrial …, 2021 - ieeexplore.ieee.org
Nuclear power units (NPP) assigns to significant objects of critical information infrastructure
(SOCII). The SOCII state can define by the actual level of information security and the related …
(SOCII). The SOCII state can define by the actual level of information security and the related …
An ontology-based framework for formal verification of safety and security properties of control logics
R Neupane, H Mehrpouyan - 2022 14th International …, 2022 - ieeexplore.ieee.org
Any safety issues or cyber attacks on an Industrial Control Systems (ICS) may have
catastrophic consequences on human lives and the environment. Hence, it is imperative to …
catastrophic consequences on human lives and the environment. Hence, it is imperative to …
Exhaustive testing of safety-critical software for reactor protection system
As software is used to implement safety-critical functions in nuclear power plants (NPPs), the
software developers must demonstrate that the software will generate its dedicated safety …
software developers must demonstrate that the software will generate its dedicated safety …
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System
Programmable logic controllers (PLCs) are widely used for process control and automation
in safety-critical systems, such as reactor protection systems (RPS) in nuclear power plants …
in safety-critical systems, such as reactor protection systems (RPS) in nuclear power plants …
Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model
An issue regarding the incorporation of software reliability within the nuclear power plant
(NPP) probabilistic risk assessment model has emerged in the licensing processes of …
(NPP) probabilistic risk assessment model has emerged in the licensing processes of …
Application of formal verification methods in a safety-oriented software development life cycle
O Odarushchenko, O Striuk… - 2023 13th …, 2023 - ieeexplore.ieee.org
This article delves into the growing significance of ensuring reliability and functional safety in
hardware and embedded software of programmable controllers amidst rapid technological …
hardware and embedded software of programmable controllers amidst rapid technological …