Development of simulation-based testing environment for safety-critical software

Lee, Seung Jun; Park, Jinkyun; Lee, Eun-Chan; Kang, Hyun Gook

doi:10.1016/j.net.2018.02.007

Cited by 15 publications

(5 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ensuring the security of control systems in energy facilities is essential for applying controls and assessing security against cyber-attacks, which can lead to financial losses and human casualties [13][14][15]. Cyber-security controls are necessary to reduce security threats, particularly NPPs, based on quantifying the impact of potential cyber-attacks on a facility and its associated security controls.…”

Section: Analysis Of Approaches To Sustainable Energy Safety Managementmentioning

confidence: 99%

Sustainable Energy Safety Management Utilizing an Industry-Relative Assessment of Enterprise Equipment Technical Condition

Hrinchenko,

Prokopenko,

Shmygol

et al. 2024

Sustainability

View full text Add to dashboard Cite

The study considers approaches to ensuring energy management for the safe operation of facilities and their equipment and ways to improve it. It has been established that to ensure effective safety management of industrial enterprises, one of the critical areas is the technical diagnostics of power equipment during operation. An assessment of the actual technical condition of power equipment of VVER-1000 power units is proposed based on establishing the aging mechanisms and determining the relative evaluation coefficients for the characteristics of individual equipment elements. The results of the calculations allowed us to conclude that the obtained results correspond to the coefficients of relative assessment Ki of the technical characteristics of the power equipment that determine its degradation. Studies indicates that when assessing the state of power equipment, it is necessary to consider the presence and impact of the following operational factors that are not considered in the design calculations: loads, high levels of mechanical stress, fatigue damage, and metal defects, which primarily indicate the presence of degradation changes. To assess the technical condition of the equipment, considering the degree of mechanical wear, 17 technical characteristics were selected to determine the aging mechanisms by signs of degradation. A mathematical model of the dependence of the relative evaluation coefficient K on changes in the operating parameters is presented, and it is noted that the most significant influence on the value of the coefficient is the temperature of the coolant at the inlet (K = 0.56). The developed approach makes it possible to improve the safety management system of power facilities by introducing the proposed model to assess the technical conditions of power equipment by defining the parameters in the overall safety management system.

show abstract

Section: Analysis Of Approaches To Sustainable Energy Safety Managementmentioning

confidence: 99%

Sustainable Energy Safety Management Utilizing an Industry-Relative Assessment of Enterprise Equipment Technical Condition

Hrinchenko,

Prokopenko,

Shmygol

et al. 2024

Sustainability

View full text Add to dashboard Cite

show abstract

“…There are few studies that deal with the application of ESs in reducing subjectivity. The following works that deal with subjectivity can be highlighted: Lee et-al. (2018), development of a simulation-based test environment for security-critical software; Khan et-al.…”

Section: Expert Systemsmentioning

confidence: 99%

“…This criticality can be defined by the dependence that the components of the units and version release packages have on each other, and the consequences that the failure between these dependencies can cause to the business. In order to minimize risks in the release of software versions, it is necessary to establish methods for this purpose (Lee et al, 2018).…”

Section: Introductionmentioning

confidence: 99%

Subjectivity reducing in software version criticality classification with the support of an expert system

Gatto

Sassi

2022

RSD

View full text Add to dashboard Cite

In the software version release management process, there is a need, on the part of human specialists, to classify the criticality of each software version. However, the subjectivity of this classification may be present according to the experience acquired by specialists over the years. To reduce subjectivity in the process, an Artificial Intelligence technique called Expert System (ES) can be applied to represent the knowledge of human specialists and use it in problem solving. Thus, the aim of this paper was to reduce the subjectivity in the criticality classification of the software version with the support of the Expert System. To this end, a questionnaire was developed with the objective of obtaining the criticality opinions classified as High, Medium and Low in each specialist's software version to assist in the preparation of the ES production rules. ES generated 17 production rules with a 100% confidence level applied to a production database. The results of the classification carried out by the ES corresponded to the classification carried out by the specialists in the production base, that is, the ES was able to represent their knowledge. Then, another questionnaire was applied to the specialists to verify the perception of satisfaction regarding the use of the ES with a result obtained of 4.8, considered satisfactory. It was concluded, then, that the ES supported the reduction of subjectivity in the classification of the criticality of software version.

show abstract

“…PLCTOOLS transforms FBD programs into high-level timed Petri net (HLTPN) models and performs simulation-based functional testing based on the HLTPN models. Lee et al [24] F I G U R E 2 Definition of mutation operator set [21] proposed a simulation-based testing environment for software programmed with the FBD/LD language. Their testbed was developed by emulating the microprocessor architecture of the PLC used in NPP applications and capturing its behaviour at each machine instruction.…”

Section: Test Generation For Fbd Programsmentioning

confidence: 99%

MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software

Liu

Jee

Bae

2022

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary 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 nuclear reactor protection systems. It is crucial to test FBD programs for such systems effectively. This paper presents an automated test sequence generation approach using mutation testing techniques for FBD programs and the developed tool, MuFBDTester. Given an FBD program, MuFBDTester analyses the program and generates mutated programs based on mutation operators. MuFBDTester translates the given program and mutants into the input language of a satisfiability modulo theories (SMT) solver to derive a set of test sequences. The primary objective is to find the test data that can distinguish between the results of the given program and mutants. We conducted experiments with several examples including real industrial cases to evaluate the effectiveness and efficiency of our approach. With the control of test size, the results indicated that the mutation‐based test suites were statistically more effective at revealing artificial faults than structural coverage‐based test suites. Furthermore, the mutation‐based test suites detected more reproduced faults, found in industrial programs, than structural coverage‐based test suites. Compared to structural coverage‐based test generation time, the time required by MuFBDTester to generate one test sequence from industrial programs is approximately 1.3 times longer; however, it is considered to be worth paying the price for high effectiveness. Using MuFBDTester, the manual effort of creating test suites was significantly reduced from days to minutes due to automated test generation. MuFBDTester can provide highly effective test suites for FBD engineers.

show abstract

Development of simulation-based testing environment for safety-critical software

Cited by 15 publications

References 14 publications

Sustainable Energy Safety Management Utilizing an Industry-Relative Assessment of Enterprise Equipment Technical Condition

Sustainable Energy Safety Management Utilizing an Industry-Relative Assessment of Enterprise Equipment Technical Condition

Subjectivity reducing in software version criticality classification with the support of an expert system

MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software

Contact Info

Product

Resources

About