• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.135-137
• /
• 2012

Safety Critical 시스템은 예상치 못한 오류가 발생했을 시 인명, 재산 및 심각한 환경 피해 등이 발생 할 수 있는 임베디드 시스템이다. Safety Critical 시스템에는 많은 위험성들이 잠재적으로 존재하기 때문에 치명적인 사고가 발생할 수 있다. 이러한 문제를 방지하기 위해 시스템에 존재하는 위험성을 분석하는 활동이 중요시 되고 있다. 본 연구에서는 Safety Critical 시스템의 잠재적인 위험성들을 분석하고 이를 아키텍처 설계에 반영함으로써 시스템의 안전성을 향상시키기 위한 Hazard Perspective를 제안한다. 제안하는 Hazard Perspective는 위험성 분석으로 산출된 정보들과 SSR(System Safety Requirement)을 시스템의 안전을 보장하기 위해 제시된 여러 Safety Architectural Tactics와 매핑하여 아키텍처 설계에 반영시킴으로써 시스템의 안전성을 향상시키도록 한다.

• Proceedings of the Safety Management and Science Conference
• /
• 2013.04a
• /
• pp.41-52
• /
• 2013

Forklift truck is one of the dangerous machines which causes the fatal accidents most frequently. The causes of fatalities by forklift from 2008 to 2011 were analyzed. Crushing the operator when tipping over or falling off a truck were the major causes of death in this study. The purpose of this study is to show measures from the engineering point of view to prevent the forklift truck accidents. In order for that, the domestic requirement for forklift safety was compared with those of foreign and international standards. The manufacturers' opinion was also collected regarding to improve the forklift safety. Several measures were suggested in order to prevent fatalities caused by forklift.

• International Journal of Railway
• /
• v.3 no.2
• /
• pp.68-72
• /
• 2010

Railway vehicles equipped with semi-active suspension system can improve the ride quality of car bodies. Semi-active suspension system is usually applied onto high speed train, and therefore higher running safety requirement is desirable. The influence of semi-active suspension system on safety of vehicles running on straight line and curve line is studied, and the influences of sky hook damping coefficient and system time-delay on operational safety of cars fitted with semiactive suspension system is analyzed. The results show that in vehicles equipped with semi-active suspension system, while the vibration of car body is decreased, the running safety of cars is not affected to any significant degree. As a result, the ride quality is much improved with negligible deterioration of the running safety of cars.

• International Journal of Railway
• /
• v.2 no.4
• /
• pp.147-151
• /
• 2009

Railway vehicles equipped with semi-active suspension system can improve the ride quality of car bodies. Semi-active suspension system is usually applied onto high speed train, and therefore higher running safety requirement is proposed. The influence of semi-active suspension system on safety of vehicles running on straight line and curve line is studied, and the influences of sky hook damping coefficient and system time-delay on operation safety of cars fitted with semiactive suspension system is analyzed. The results show that the vehicles equipped with semi-active suspension system, not only the vibration of car body is decreased, it can also give little influence on running safety of cars, as a result, it will not endanger the running safety of cars.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.24 no.4
• /
• pp.578-586
• /
• 2014

Objectives: There is a requirement to establish the standard operating procedures(SOPs) for chronic inhalation/carcinogenicity testing, so we would like to set them appropriately. Methods and Results: We established SOPs according to guidelines from international organizations such as OECD, the US EPA, and relevant institutions in advanced countries. We also benchmarked other contract research organizations(CROs) in Korea. Conclusions: We created appropriate SOPs for chronic inhalation/carcinogenicity testing.

• International Journal of Safety
• /
• v.3 no.1
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.

• Journal of Applied Reliability
• /
• v.7 no.2
• /
• pp.89-100
• /
• 2007

For the certification of aircraft and part, it must be show the compliance with applicable requirements through system safety assessment. The safety assessment process should be planned and managed to provide the necessary assurance that all relevant failure conditions have been identified and that all significant combinations of failures which could cause those failure conditions have been considered. Complex systems, especially aircraft, should take into account any additional complexities and interdependencies which arise due to integration. In all cases involving integrated systems, the safety assessment process is of fundamental importance in establishing appropriate safety objectives for the system and determining that the implementation satisfies these objectives. This study review the safety assessment for the certification process of the aircraft engine system and analyze turbo-fan engine by fault analysis method for compliance with airworthiness requirement of aircraft engine system.

• Journal of the Korean Society for Railway
• /
• v.9 no.4 s.35
• /
• pp.412-418
• /
• 2006

In this paper we deal with the APARP theory which has been applied for UK railway system and risk assessment method which has been using in the domestic railway system for the safety demonstration. Both techniques are applied to the ATP wayside equipment for interface. Also, fur the applications of each techniques a analysis of the safety activity and a possibility of the application of ALARP theory are evaluated. Finally, we generate requirements of the safety demonstration for the future domestic railway system by way of the analysis of some assumptions and requirement data which can be applied to the risk assessment of ALARP.

• Journal of the Korean Society of Safety
• /
• v.28 no.4
• /
• pp.91-96
• /
• 2013

Forklift truck is one of the dangerous machines which causes the fatal accidents most frequently. The causes of fatalities by forklift from 2008 to 2011 were analyzed. Crushing the operator when tipping over or falling off a truck were the major causes of death in this study. The purpose of this study is to show measures from the engineering point of view to prevent the forklift truck accidents. In order for that, the domestic requirement for forklift safety was compared with those of foreign and international standards. The manufacturers' opinion was also collected regarding to improve the forklift safety. Several measures were suggested in order to prevent fatalities caused by forklift.