• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 추계학술대회 논문집
• /
• pp.1-6
• /
• 2005

To improve safety management of railway and cope with the factors to threat technical and social safety, we need to establish railway safety management system based on analysis of hazards and assessment of risk for railway system. So we have to conduct PHA(Preliminary Hazard Analysis) first to understand weak points and factors to possibly threat safety using analysis of related data such as past accident/incident data and safety regulation and classification standards of hazards/causes of railway accidents. Therefore in this research, we led types/dangerous events/causes of risks/factors of risks from hazard log developed based on railway accident classification and hazards of railway accident. PHA model for domestic railway system will be used in risk analysis and risk assessment of railway accident.

• 한국멀티미디어학회논문지
• /
• 제15권1호
• /
• pp.115-130
• /
• 2012

오늘날 대다수의 안전필수 시스템들(Safety-Critical Systems)에는 컴퓨터, 전기 및 전자 부품이나 장치들에 소프트웨어를 칩에 내장하거나 제어용 소프트웨어 시스템이 탑재되어 구축되고 있다. 이에 따라, 컴퓨터 소프트웨어를 내장하였거나 탑재한 시스템들의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 제안되어져 오고 있다. 이러한 소프트웨어 결함 분석 기법들은 전통적으로는 하나의 안전필수 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 그 시스템에 가장 알맞은 결함 분석 기법이 동원되어야 함은 필수적이다. 본 연구에서는, 안전필수 시스템에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템 제어 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함트리 분석(FTA)과 소프트웨어 고장 유형 및 영향 분석(FMEA)을 결합한 시스템 결함 분석 방법을 제안하고 유비쿼터스 헬스케어 시스템을 이용하여 사례연구를 수행하고자 한다.

• 한국항공운항학회지
• /
• 제28권2호
• /
• pp.71-77
• /
• 2020

The checklist currently used for aviation safety inspection performed by ASIs(Aviation Safety Inspectors) consists of inspection groups and multiple items, it does not have safety attribute and structured hierarchy system which required to efficiently process aviation safety analysis. On this study, categorized the domestic and foreign ASI checklist by safety attribute from ICAO recommended and presented composition of checklist for safety assurance by comparative analysis composition of domestic and foreign ASI checklist.

• 대한안전경영과학회지
• /
• 제17권2호
• /
• pp.47-54
• /
• 2015

To prevent safety hazards in dangerous working area, we have proposed an intelligent image analysis system. Six common patterns of safety violations of workers' are defined and its motion detection algorithms are developed for alarm to CCTV monitoring system. Developed algorithms are implemented at 195 dangerous areas such as chemical and gas treated room. The results of violated motion detection ratio by developed system shows 94.95% of true positive cases, and 0.21% of false positive cases from all 587,645 event cases in one month implementation period. In the period, it is observed that the number of safety rule violations and the following accidents are decreased.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.1253-1258
• /
• 2004

The system safety must be ensured before customization. There was no specific requirement representing system safety in Korea until now. So we should draw safety requirements to guarantee system safety for the first time. In this paper, the Preliminary Hazard Analysis (PHA) to derive the safety requirements on the train control system was carried out. To analyze hazard, we have to deduce system functions, identify related hazards, derive the effects of the hazards, analyze current risks, define the target risks of the system, and deduce the alternative plans to reduce the effects of the hazards. For the case study, the detailed analysis on vehicle collision that was a main hazard of the train control system was carried out.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.671-675
• /
• 2008

Railway signal system is responsible for the safety operation of railway and performs vital functions as safe space control, route control and etc. These functions prevent collision accidents between trains and derailment accidents of trains. However, these accidents are occurred by some causes. It is necessary to analysis hazards, hazard frequency and risk contribution. And railway signal system must make practical application of the analysis results. This paper includes analysis results of railway accident data by FTA(Fault Tree Analysis) and hazards. Railway signal system must consider these hazards. This paper used the railway accident data of RSSB(Railway Safety & Standard Board) of UK. We will use the FTA result to set up a draft of safety criteria of railway signal system.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• 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.

• 한국항공운항학회지
• /
• 제23권3호
• /
• pp.64-80
• /
• 2015

In this article, we verify to influence in the management performance by the safety management system that is recommended by the ICAO for the safety management on the airside area in the airport. Also, We present a comprehensive mediator effect that the employees perceive safety culture and safety behavior. We design how participants were selected as study the employees from 4 airports on the airside areas of the Incheon International Airport, Gimpo International Airport, Jeju International Airport and Gimhae International Airport in the Korea using the simple random sampling method. The instrument for data collection was a questionnaire, and it was developed. Data analysis was to conduct structural equation modeling. Test of the hypotheses were verified to Maximum Likelihood Estimator. As a result of the analysis, safety behavior and risk management of the safety management system found out that affect management performance. Also, the employees of a high awareness about safety policy could be seen that is a high impact on management performance through a safety culture and a safety behavior. Safety behavior has significant mediator effect within the relationship between the safety management system and management performance. So, We provide guidance of the safety policies for the safety management on the airside area in the airport.

• 산업경영시스템학회지
• /
• 제13권21호
• /
• pp.43-50
• /
• 1990

Fault tree analysis(FTA) is available to the engineer for determining reliability of complex industrial safety system. Therefore quantitative aspects of FTA greatly multiply its power this paper proceeds of presenting the methodology of FTA, including an approach to constructing in fault tree. A working guide to the use of FTA for the purpose of cost/benefit determination in industrial safety system is given. Finally, an analytic method for uncertainty analysis of the top event of a complex system is described.

• 한국항행학회논문지
• /
• 제22권3호
• /
• pp.179-188
• /
• 2018

항공전자 시스템의 개발할 때 항공 사고를 예방하기 위해서 SAE ARP4761 (민간 항공 시스템 및 장비 안전성 평가 프로세스 수행 방법 및 지침) 규격에 명시된 안전성 분석 및 평가를 수행한다. 안전성 분석은 시스템의 정상상태가 아닌 비정상상태에 대한 지식과 다른 규격들 간의 상호 연관성에 대한 지식이 요구된다. 때문에, 안전인증규격의 준수를 입증하는 자료를 자동으로 출력하는 도구가 필요하다. 본 연구는 규격의 안전성 분석 절차를 도식화하고, 안전 분석 CAD 도구들을 개별 절차에 적용하는 방법을 연구하였다. 예시 연구로서, ARP4761 부록의 여객기용 휠 제동 시스템 (WBS; wheel brake system)을 대상으로 ARP4761분석을 수행하였다.