Risk analysis and assessment methodologies in the work sites: On a review, classification and comparative study of the scientific literature of the period 2000–2009
PK Marhavilas, D Koulouriotis, V Gemeni - Journal of Loss Prevention in …, 2011 - Elsevier
The objective of this work is to determine and study, analyze and elaborate, classify and
categorize the main risk analysis and risk-assessment methods and techniques by …
categorize the main risk analysis and risk-assessment methods and techniques by …
Optimizing resource allocations to improve system reliability via the propagation of statistical moments through fault trees
Fault tree analysis remains a significant alternative for modeling and analyzing reliability
and failure modes. Traditionally, the probabilities of the basic events are assumed as point …
and failure modes. Traditionally, the probabilities of the basic events are assumed as point …
A software fault tree analysis technique for formal requirement specifications of nuclear reactor protection systems
S Jung, J Yoo, YJ Lee - Reliability Engineering & System Safety, 2020 - Elsevier
Rigorous safety demonstration of software, as well as systems, is required when developing
digital reactor protection systems in nuclear power plants. Various safety analysis …
digital reactor protection systems in nuclear power plants. Various safety analysis …
A comparative study of manual and automated testing for industrial control software
Automated test generation has been suggested as a way of creating tests at a lower cost.
Nonetheless, it is not very well studied how such tests compare to manually written ones in …
Nonetheless, it is not very well studied how such tests compare to manually written ones in …
Formal modeling and verification of safety-critical software
Rigorous quality demonstration is important when developing safety-critical software such
as a reactor protection system (RPS) for a nuclear power plant. Although using formal …
as a reactor protection system (RPS) for a nuclear power plant. Although using formal …
Search-based test case selection for PLC systems using functional block diagram programs
Programmable Logic Controllers (PLCs) are the core unit of the production system, which
frequently need to implement new processes to address customer needs. These changes …
frequently need to implement new processes to address customer needs. These changes …
Quantifying the resilience-informed scenario cost sum: A value-driven design approach for functional hazard assessment
Complex engineered systems can carry risk of high failure consequences, and as a result,
resilience—the ability to avoid or quickly recover from faults—is desirable. Ideally, resilience …
resilience—the ability to avoid or quickly recover from faults—is desirable. Ideally, resilience …
Detecting security vulnerabilities with vulnerability nets
P Wang, S Liu, A Liu, W Jiang - Journal of Systems and Software, 2024 - Elsevier
Detecting security vulnerabilities is a crucial part in secure software development. Many
static analysis tools have proved to be effective in finding vulnerabilities, but generally there …
static analysis tools have proved to be effective in finding vulnerabilities, but generally there …
NuDE 2.0: A formal method-based software development, verification and safety analysis environment for digital I&Cs in NPPs
ES Kim, DA Lee, S Jung, J Yoo, JG Choi… - Journal of Computing …, 2017 - koreascience.kr
Abstract NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based
software development, verification and safety analysis environment for safety-critical digital …
software development, verification and safety analysis environment for safety-critical digital …
Transferring interactive search-based software testing to industry
Abstract Context: Search-Based Software Testing (SBST), and the wider area of Search-
Based Software Engineering (SBSE), is the application of optimization algorithms to …
Based Software Engineering (SBSE), is the application of optimization algorithms to …