• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.153-158
• /
• 1997

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• The Safety technology
• /
• no.55
• /
• pp.66-69
• /
• 2002

• The Safety technology
• /
• no.54
• /
• pp.64-69
• /
• 2002

• Journal of Fisheries and Marine Sciences Education
• /
• v.29 no.1
• /
• pp.137-147
• /
• 2017

An accident during pilotage may cause several problems such as crippling the harbour function, environmental disruption, loss of life. Since the pilot plays an important role in the safe operation of the port, securing their safety is directly connected to the vessel's safety coming into port in Korea. Pilotage service is offered on request without distinction of day and night. And traveling by helicopter and boarding/disembarking using a pilot ladder from and to a pilot boat have a high risk of falling into the sea. So, pilots can fall into the sea while boarding/disembarking from ship which can lead to serious injury by cardiac arrest. A number of pilots have died or severely injured due to fall from the pilot ladder during embarkation and disembarkation up to now. Current safety measures at embarkation and disembarkation required by pilotage act and IMO resolutions could not prevent all the pilot related accidents. Therefore, to prevent pilot accident during boarding/disembarking from ship, it is necessary to include safety training requirement for new pilots under the requirements for licensing of pilotage act. It is also necessary to compel pilots to take necessary personal protective equipment when they use a pilot ladder. In addition, the placement of emergency kit on pilot boats and first-aid training are required in order to deal with emergency situation promptly.

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

The main purpose of accident analysis is to identify the causal factors and the mechanisms of those factors leading to the accident. However, current accident analysis techniques focus only on finding the factors related to the accident without providing more insightful results, such as structures or mechanisms. For this reason, preventive actions for safety management are concentrated on the elimination of causal factors rather than blocking the connection or chain of accident processes. This greatly reduces the effectiveness of safety management in practice. In the present study, a technique to model the correlational structure of accident risk factors is proposed by using the co-occurrence keyword network analysis technique. To investigate the effectiveness of the proposed technique, a case study involving a portable ladder fall accident is conducted. The results indicate that the proposed technique can construct the correlational structure model of the risk factors of a portable ladder fall accident. This proves the effectiveness of the proposed technique in modeling the correlational structure of accident risk factors.

• Journal of the Society of Disaster Information
• /
• v.17 no.1
• /
• pp.112-119
• /
• 2021

Purpose: This study is based on the detailed inspection data for the last 6 years of fire-fighting high ladder vehicles, fire-fighting inflected ladder vehicles, fire-fighting chemical vehicles and fire-fighting pump vehicles used in front-line fire departments. The purpose is to contribute to the technological development of fire-fighting vehicles by grasping the implementation status of each city and province, the rate of defects, and the occurrence of defects by year. Method: The implementation status by city and province, defect incidence rate, and defect occurrences by year were analyzed. Result: From 2012 to 2017, when the average of 230 or more overhaul vehicles was requested, the results of each city/province show slight fluctuations, but the number of defects gradually decreased due to the old fire-fighting vehicle replacement project and the response of fire vehicle manufacturers. Conclusion: In the case of fire-fighting ladders, the incidence rate of defects was found to be in the order of elevator device, electric device, ladder device, and pneumatic supply device. And in the case of the fire fighting ladder, it was confirmed that the incidence of defects appeared in the order of the refractive ladder, hydraulic cylinder, hydraulic oil, and pneumatic supply device. In the case of fire-fighting chemical vehicles, it was confirmed that defects occurred in the powder fire extinguishing device, fire pump, vacuum pump, and pneumatic supply device.

• Safety and Health at Work
• /
• v.7 no.3
• /
• pp.185-193
• /
• 2016

Background: Management and workers in small and medium-sized enterprises (SMEs) often find it hard to comprehend the requirements related to controlling risks due to exposure to substances. An intervention study was set up in order to support 45 SMEs in improving the management of the risks of occupational exposure to chemicals, and in using the control banding tool and exposure model Stoffenmanager in this process. Methods: A 2-year intervention study was carried out, in which a mix of individual and collective training and support was offered, and baseline and effect measurements were carried out by means of structured interviews, in order to measure progress made. A seven-phase implementation evolutionary ladder was used for this purpose. Success and failure factors were identified by means of company visits and structured interviews. Results: Most companies clearly moved upwards on the implementation evolutionary ladder; 76% of the companies by at least one phase, and 62% by at least two phases. Success and failure factors were described. Conclusion: Active training and coaching helped the participating companies to improve their chemical risk management, and to avoid making mistakes when using and applying Stoffenmanager. The use of validated tools embedded in a community platform appears to support companies to organize and structure their chemical risk management in a business-wise manner, but much depends upon motivated occupational health and safety (OHS) professionals, management support, and willingness to invest time and means.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.26 no.6
• /
• pp.698-705
• /
• 2020

In this study, an improved aluminum alloy (6082-T6) was used to develop a unique model of an aluminum ladder for usage in offshore plant. The structural strength design was carried out in accordance with international standards such as ISO, NORSOK Austria Standard. Load combination was performed to satisfy all conditions. The structural safety of the designed model was verified using SACS, an analysis program for offshore plants based on the Finite elements method. The analysis results confirmed that both stress and deflection were satisfied within the acceptance criteria. The developed model can be applied used in various fields in the near future as it meets all the necessary criteria and is lightweight and has improved productivity.

• Journal of Veterinary Science
• /
• v.23 no.4
• /
• pp.51.1-51.10
• /
• 2022

Background: Due to the unavailability of an effective vaccine or antiviral drug against the African swine fever virus (ASFV), rapid diagnosis methods are needed to prevent highly contagious African swine fever. Objectives: The objective of this study was to establish the ladder-shape melting temperature isothermal amplification (LMTIA) assay for the detection of ASFV. Methods: LMTIA primers were designed with the p72 gene of ASFV as the target, and plasmid pUC57 was used to clone the gene. The LMTIA reaction system was optimized with the plasmid as the positive control, and the performance of the LMTIA assay was compared with that of the commercial real-time polymerase chain reaction (PCR) kit in terms of sensitivity and detection rate using 200 serum samples. Results: Our results showed that the LMTIA assay could detect the 10⁴ dilution of DNA extracted from the positive reference serum sample, which was the same as that of the commercial real-time PCR kit. The coincidence rate between the two assays was 100%. Conclusions: The LMTIA assay had high sensitivity, good detection, and simple operation. Thus, it is suitable for facilitating preliminary and cost-effective surveillance for the prevention and control of ASFV.

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

This study analyzed the accidents and researched on risk of the actual condition in roof works. This study revealed that 68% of accidents in roof works occurred on small sized construction sites. And 79% of accidents are caused by fall. It is simply because most laborers do not wear the safety harness and the mounted equipment is not properly installed. According to our research, we realize that most of roof works have some risk of the fall accidents. Most of roof working sites have the danger of falling at ladder and temporary walkway. In oder to prevent accidents in roof works, the basic rule such as wearing the safety harness must be followed.