• Journal of the Korean Society of Safety
• /
• v.36 no.3
• /
• pp.60-65
• /
• 2021

Human error is often in part in the cause of accidents and the result of various factors in an organization. Accidents should be investigated to elucidate all causes. Therefore, to reduce accidents, it is necessary to identify which factors affect human error within the organization. In this study, five groups of influencing factors on human error were selected using previousresearch, and operational definitions were made based on them. In addition, a questionnaire for measuring latent variables by operational definition was developed as an observation variable, and responses were received from employees of chemical companies in Ulsan. Based on SEM (structural equation modeling) analysis, 1) confirmatory factor analysis of variables in the human error model, 2) reliability and validity of latent variables, 3) correlations among latent variables, 4) influencing coefficients among influence factors, and 5) the verification results of the paths that these influencing factors have on human error are introduced in this study.

• Journal of Satellite, Information and Communications
• /
• v.8 no.4
• /
• pp.135-141
• /
• 2013

Subway in Korea, most of a metropolitan public transport use only worth ten million people a day floating population of wireless communication can be considered HOT SOPT. These three operators' 2G/3G/4G / Wi-Fi / T-DMB frequency and the number of services to co-exist, and the subway train passengers and subway party for operation and management of the communication network is also the co-subway passenger safety and for this service for the effects of mutual interference of whether the verification was necessary. This research and testing different frequency / communication interference between services and testing to determine whether, through the subway authorities and mobile operators in each frequency-specific interaction check and there is no interference to the safety and quality of subway passengers communication services that can be verified as the data was found. The verification methods in the metro area, not just from one region to determine whether the interference with a common verification methods can be applied.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.1-17
• /
• 2002

In this paper, we present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE cache coherence protocol designed by ETRI(Electronics and Communications Research Institute) and to verify that RACE protocol satisfies important requirements. To investigate this, we specified the model of the RACE protocol as the input language of SMV and specified properties as a formula in temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of RACE protocol. We verified that abnormal state/input combinations was not occurred and every possible request of processors was executed correctly We verified that RACE protocol satisfies liveness, safety and the property that any abnormal state/input combination was never occurred. Besides, We found some ambiguities of the specification and a case of starvation that the protocol designers could not expect before. By this verification experience, we show advantages of model checking method. And, we propose a new method to generate automatically test cases which are used in simulation and testing.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.25 no.3
• /
• pp.269-277
• /
• 2019

Since 2020, according to the International Convention for the Prevention of Pollution from Ships (MARPOL) amended in 2016, each Administration shall transfer the annual fuel consumption of its registered ships of 5,000 gross tonnage and above to the International Maritime Organization (IMO) after verifying them. The Administration needs stacks of materials, which must not be manipulated by ship companies, including the Engine log book and also bears an administrative burden to verify them by May every year. This study considers using the Automatic Identification System (AIS), mandatory navigational equipment, as an objective and efficient tool among several verification methods. Calculating fuel consumption using a ship's speed in AIS information based on the theory of a relationship between ship speed and fuel consumption was reported in several examples of relevant literature. After pre-filtering by excluding AIS records which had speed errors from the raw data of five domestic cargo vessels, fuel consumptions calculated using Excel software were compared to actual bunker consumptions presented by ship companies. The former consumptions ranged from 96 to 123 percent of the actual bunker consumptions. The difference between two consumptions could be narrowed to within 20 percent if the fuel consumptions for boilers were deducted from the actual bunker consumption. Although further study should be carried out for more accurate calculation methods depending on the burning efficiency of the engine, the propulsion efficiency of the ship, displacement and sea conditions, this method of calculating annual fuel consumption according to the difference between two consumptions is considered to be one of the most useful tools to verify bunker consumption.

• Journal of Korean Neurosurgical Society
• /
• v.53 no.2
• /
• pp.102-107
• /
• 2013

Objective : The Leksell Gamma Knife$^{(R)}$ (LGK) is based on a single-fraction high dose treatment strategy. Therefore, independent verification of the Leksell GammaPlan$^{(R)}$ (LGP) is important for ensuring patient safety and minimizing the risk of treatment errors. Although several verification techniques have been previously developed and reported, no method has ever been tested statistically on multiple LGK target treatments. The purpose of this study was to perform and to evaluate the accuracy of a verification method (modified variable ellipsoid modeling technique, MVEMT) for multiple target treatments. Methods : A total of 500 locations in 10 consecutive patients with multiple brain tumor targets were included in this study. We compared the data from an LGP planning system and MVEMT in terms of dose at random points, maximal dose points, and target volumes. All data was analyzed by t-test and the Bland-Altman plot, which are statistical methods used to compare two different measurement techniques. Results : No statistical difference in dose at the 500 random points was observed between LGP and MVEMT. Differences in maximal dose ranged from -2.4% to 6.1%. An average distance of 1.6 mm between the maximal dose points was observed when comparing the two methods. Conclusion : Statistical analyses demonstrated that MVEMT was in excellent agreement with LGP when planning for radiosurgery involving multiple target treatments. MVEMT is a useful, independent tool for planning multiple target treatment that provides statistically identical data to that produced by LGP. Findings from the present study indicate that MVEMT can be used as a reference dose verification system for multiple tumors.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.1
• /
• pp.185-191
• /
• 2015

This paper suggest the safety class communication board in order to design the safety network of the nuclear safety class controller. The reactor protection system use the digitized networks because from analog system to digital system. The communication board shall be provided to pass the required performance and test of the safety class in the digital network used in the nuclear safety class. Communication protocol is composed of physical layer(PHY), data link layer(MAC: Medium Access Control), the application layer in the OSI 7 layer only. The data link layer data package for the cyber security has changed. CRC32 were used for data quality and the using one way communication, not requests and not responses for receiving data, does not affect the nuclear safety system. It has been designed in accordance with requirements, design, verification and procedure for the approving the nuclear safety class. For hardware verification such as electromagnetic test, aging test, inspection, burn-in test, seismic test and environmental test in was performed. FPGA firmware to verify compliance with the life-cycle of IEEE 1074 was performed by the component testing and integration testing.

• Journal of the Korean Society of Safety
• /
• v.27 no.5
• /
• pp.64-69
• /
• 2012

The concept of SIL is applied in the most of all standards relating to functional system safety. However there are problems for the people to apply SIL to their plants. as these standards don't include sufficient informations. In this regards, this paper will suggest the direction of SIL application and concept based on IEC 61508 and IEC 61511. A Safety Integrity Level(SIL) is the discrete level(one out of possible fours), corresponding to a range of the probability of an E/E/PE (Electric/Electrical/Programmable Electrical) safety-related system satisfactorily performing the specific safety functions under all the stated conditions within a stated period of time. SIL can be divided into the target SIL(or required SIL) and the result SIL. The target SIL is determined by the risk analysis at the analysis phase of safety lifecycle and the result SIL is calculated during SIL verification at the realization phase of safety lifecycle. The target SIL is determined by the risk analysis like LOPA(Layer Of Protection Analysis), Risk Graph, Risk Matrix and the result SIL is calculated by HFT(Hardware Fault Tolerance), SFF(Safe Failure Fraction) and PFDavg(average Probability of dangerous Failure on Demand). SIL is applied to various areas such as process safety, machinery(road vehicles, railway application, rotating equipment, etc), nuclear sector which functional safety is applied. The functional safety is the part of the overall safety relating to the EUC and the EUC control system that depends on the correct functioning of the E/E/PE safety-related systems and other risk reduction measures. SIL is applied only to the functional safety of SIS(Safety Instrumented System) in safety. EUC is the abbreviation of Equipment Under Control and is the equipment, machinery, apparatus or plant used for manufacturing, process, transportation, medical or other activities.

• Journal of the Korean Society for Railway
• /
• v.13 no.3
• /
• pp.251-256
• /
• 2010

By legislating safety regulations for design, manufacturing and operation of rolling stock through rolling stock safety law, diverse of safety requirements have been established. On the other hands, differences of technical level in practical circumstances between domestic and overseas are pointed out that not be able to be overcome in short period. About collision safety requirements for rolling stock, European countries have been applying TSI requirement to all of rolling stock and domestic collision safety requirements in rolling stock safety law are based on TSI. In following thesis, it is showing an analysis simulation for current rubber cushion and hydraulic buffer system to verify if they are fit to collision safety requirements and result of the simulation program for prior verification. This also suggests a method to prove the performances of coupler system for future.

• Proceedings of the SAREK Conference
• /
• 2008.06a
• /
• pp.1332-1337
• /
• 2008

Fire model shall be verified and validated to reliably predict the consequences of fires within its limitations. This study aims to predict pool fire with two rooms using FDS and to coompare FDS simulation results with PRISME experimental data which can be applicable to the fire of nuclear power plant facility. Four different sizes of grid (0.08m, 0.1m, 0.125m, 0.2m) are used in the simulation and the simulated results of specific quantities such as temperature, chemical composition, heat flux and heat release rate are compared to the experimental data. From this study, the FDS simulation results with the finer grid resolution show better similarity and trend with pool fire experimental data. The sensitivity analysis and the selection of the proper size grid are essential to predict the consequences of pool fire with two rooms reliably.