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

• Journal of Auto-vehicle Safety Association
• /
• v.10 no.1
• /
• pp.38-44
• /
• 2018

This paper presents an analysis on driving safety in lane change situation based on road driving data. Autonomous driving is a global trend in vehicle industry. LKAS technologies are already applied in commercial vehicle and researches about lane change maneuver have been actively studied. In autonomous vehicle, not only safety control issue but also imitating human driving maneuver is important. Driving data analysis in lane change situation has been usually dealt with ego vehicle information such as longitudinal acceleration, yaw rate, and steering angle. For this reason, developing safety index according to surrounding vehicle information based on human driving data is needed. In this research, driving data is collected from perception module using LIDAR, radar and RT-GPS sensors. By analyzing human driving pattern in lane change maneuver, safety index that considers both ego vehicle and surrounding vehicle state by using relative velocity and longitudinal clearance has been designed.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.37 no.4
• /
• pp.269-273
• /
• 2014

The objective of this study is to safety assessment for human body on the guided missile combustion products. This study is to verify the safety assessment when operating the interior missile ejection take on verify the safety of the human body. During the missile ejection of combustion products, this study is analyzed combustion products. Result are accepted NIOSH and KOSHA of the safe guideline, and 6 exposure gas to the specified values 42% (CO), 22% ($CO_2$), not detected (others) are within minimal exposures criteria of the reference value respectively. Contribution of these results supported that interior missile ejection during combustion products may have been ensured human safely. Therefore, the future for improving the environmental safety of the shooting projectile steel plate round, dust collector, ventilation and other facilities is to improve environmental safety and efficient renovated design needed by target focused areas.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.11
• /
• pp.641-646
• /
• 2004

Computer system is widely used for controlling systems such as nuclear power plant, train speed control and air plane control. The failure of computerized controlling system can be arrived to catastrophic accident, so the safety ensuring of computerized controlling system is very important. This paper shows how to improve and ensure the safety of computerized systems. In this paper, we show how to identify, analyze hazards of the computerized system and to demonstrate risk of the system. Finally, we show how to adopt safety techniques for improving safety of the target system.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.12
• /
• pp.6079-6097
• /
• 2018

Safety-related systems (SRSs) has widely used in shipbuilding and power generation to prevent fatal accidents and to protect life and property. Thus, SRS performance is a high priority. The safety integrity level (SIL) is the relative performance level of an SRS with regard to its ability to operate reliably in a safe manner. In this article, we proposed an optimal design procedure to achieve the targeted SIL of SRSs. In addition, a more efficient failure mode and effects diagnostic analysis (FMEDA) process and optimization model were developed to improve cost efficiency. Based on previous IEC 61508 diagnostic analyses that revealed unnecessary costs associated with excessive reliability, the new approach consists of two phases: (i) SIL evaluation by FMEDA, and (ii) solution optimization for achieving the target SIL with minimal cost using integer-programming models. The proposed procedure meets the required safety level and minimizes system costs. A case study involving a gas-detection SRS was conducted to demonstrate the effectiveness of the new procedure.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.4
• /
• pp.289-294
• /
• 2013

Due to sudden transition to intellectual society corresponding with fast technology progress, companies and nations need to focus on development and guarantee of intellectual property. The possession of intellectual property has been the important factor of competition power. In this paper we developed the efficient patent search process with big data analysis tool R. This patent search process consists of 5 steps. We result that at first this process obtain the core patent search key words and search the target patents through search formula using the combination of above patent search key words.

• Journal of the Korea Safety Management & Science
• /
• v.6 no.2
• /
• pp.79-89
• /
• 2004

It is known that most people have a dominant eye, even though each of their two eyes in isolation may provide equal vision. In this study, 600 Korean male and female subjects aging from 11 to 78 were selected to investigate the various statistics about eye dominance( whether the left or right eye is dominant} in Korean and their employment characteristics of preferred eye in sighting diverse things. A simple sighting test was applied such that subjects are requested to aim a distance target through small hole in B4 sized paper with both eyes open. The dominant eye was determined by alternate occlusion: when viewing with the dominant eye into the hole is aligned with the target, whereas when viewing with the other eye into the hole appears offset to one side. The descriptive statistics showed that 83.7% and 16.3% were right and left eye dominant respectively. Moreover, various statistical analysis revealed that general tendency of eye dominance was varied by age, gender, hand dominance and visual acuity. It was thus found from these results that people sighting their eyes differently depending on the eye dominance when they sight things.

• Journal of the Korea Safety Management & Science
• /
• v.1 no.1
• /
• pp.101-110
• /
• 1999

QFD is a market driven design and development methodology for products and services to meet or exceed customer's needs and expectations, This method enables to specify clearly the customer's needs and then evaluate the product capability in terms of its impact on meeting those needs. Process of satisfying customers begins with effectively soliciting their different needs and wants which may be non-technical and imprecise in nature. Although the HoQ is a comprehensive tool for showing the relationships between attributes, it lacks the flexibility to deal with the inherent inexactness and vagueness in the voice of customer. In this paper, fuzzy theory is introduced to overcome this limitation. Qualitative customer requirements are interpreted quantitative data through fuzzy inference procedure, and then target value is determined.

• Proceedings of the Safety Management and Science Conference
• /
• 2004.05a
• /
• pp.295-298
• /
• 2004

Situation to develop Kyonggi Province area to universal tourist attraction area keeping in step with national large size event holding such as sun of Korean visit with opening a port of the In-chon International airport, the world ceramics Expo, World Cup was made up. Growth possibility is big to culture tourism resources and representative tourist resort of the Korea that use view of nature photon circle properly such as ceramics that target area possesses. Area development plan through growth possibility should be arranged to international ceramics production complex and distribution complex. Therefore, plan analyzing future district theme establishment and strength in priority via past and present of target area.

• Journal of the Korea Safety Management & Science
• /
• v.11 no.1
• /
• pp.205-211
• /
• 2009

In reality, distribution planning for a supply chain is established using a certain probabilistic distribution estimated by forecasting. However, in general, the demands used for an actual distribution planning are of deterministic value, a single value for each of periods. Because of this reason the final result of a planning has to be a single value for each period. Unfortunately, it is very difficult to estimate a single value due to the inherent uncertainty in the probabilistic distribution of customer demand. The issue addressed in this paper is the selection of single demand value among of the distributed demand estimations for a period to be used in the distribution planning. This paper proposes an efficient demand selection scheme for minimizing total inventory costs while satisfying target service level under the various experimental conditions.