• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.114.1-114
• /
• 1999

• Journal of Convergence Society for SMB
• /
• v.2 no.1
• /
• pp.11-18
• /
• 2012

As scale of software has been expanded and complicated, it is difficult to detect hazards which induce functional failure of software. Functional failure of safety-critical system (nuclear power plant, air traffic control systems, railway operating system) could result in a disaster (personal injury, environmental pollution). Therefore, it is necessary to conduct a safety analysis for preventing functional failure and increasing safety of the software. However, there are some reasons (time and effort problem, low knowledge of various safety analysis techniques, selecting conventional technique in company, organization) which disturb selecting an apposite one. This paper presents some traditional safety analysis techniques, recently presented techniques and combined models. We expect that it helps stakeholders to choice adequate one for target system.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1669-1679
• /
• 2010

Related to the on-going "Train Control System Project of Pilot Line Construction for Urban MAGLEV Train", activities by each phase shall be conducted to achieve SIL4 level and obtain safety certification from the Independent Safety Assessment(ISA), based on the IEC standards((IEC 62278/62279 and IEC 62425) for the first time in Korea. This thesis describes the introduction of IEC standards, system assurance activities (such as plan, analysis, test, verification and validation) in compliance with requirements management and project life-cycle and relations with the safety assessment activities; and certification activities (such as document reviews and audits) through system RAMS activities, software quality assurance activities and safety assessment, for the purpose of achieving a successful safety certification at the time of completing the project as system assurance activities including software and safety certification activities in order to acquire the safety certification for train control system which does not exist at all in domestic cases. It is believed that overall system safety assurance activities in this project will contribute to develop more upgraded products of the domestic train control system on the quality and safety point of view, find overseas markets and establish a bridgehead in the future.

• Journal of the Korean Society of Safety
• /
• v.34 no.2
• /
• pp.28-33
• /
• 2019

After the Tianjin Port explosion on 2015, it is highlighted that securing safety for dangerous goods in Korea and try to establish safety standards for railroad dangerous substances transport. In Korea, the regulation for the transport of dangerous goods is stipulated to need 3 buffer cars. However, It is inefficient that 3 buffer cars. because 3 buffer cars, increase transportation too much costs in transit and it is too strict compared to other country rules. The purpose of this study was to improve transportation efficiency by mitigating the criteria for isolated railroads through rational safety assessment. In order to verify this, we used a risk assessment software which is PHAST 7.2 developed by DNV GL. We calculated safety distances that could prevent ignitions setting up scenarios when relief system work installed on a train loaded with propylene, nonane. As a result, we confirmed that buffer cars can be reduced from three to one. This result would be implemented in the application of Korail.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• Journal of Korea Multimedia Society
• /
• v.21 no.10
• /
• pp.1203-1210
• /
• 2018

As the use of public transportation is increasing, a service considering the convenience of passengers is being launched utilizing the Internet (IoT) data collected through the bus information system. However, the bus information system only provides limited information such as the current location of the bus (GPS) and the expected arrival time at the stop. Additional IoT sensor information is needed to provide various services for the safety and convenience of passengers. In this paper, to improve the safety and convenience of passengers, we have added the boarding doors imaging sensor, temperature and humidity sensors, and sensor for measuring the number of passengers. The proposed IoT bus system can attach various sensors to buses to provide high-quality safety services to passengers.

• Journal of the Korean Society of Safety
• /
• v.21 no.1 s.73
• /
• pp.72-78
• /
• 2006

In many chemical plants the change or modification is carried out without proper technical review and hazard analysis, and also without adequate technical staff and procedures for comprehensive monitoring of potential hazards resulting from the change. Such changes sometimes affect to the process safety badly if it is not managed properly. Therefore, in order to prevent major industrial accidents caused by change or modification, and also in order to apply Management of Change procedure easily in the field and minimize economic burden of company caused by plant changes, K-MOC(KOSHA-Management of Change) software has been developed and provided to the chemical industry.

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.1
• /
• pp.21-34
• /
• 2021

The use of Field-Programmable Gate Arrays (FPGAs) in the development of safety-related Human-Machine Interface (HMI) systems has gained much momentum in nuclear applications. Recently, one of the application areas for the Advanced Power Reactor 1400 (APR1400) is in the development of the advanced Component Interface Module (CIM) of the Engineered Safety Features Actuation System (ESFAS). Using systems engineering approach, we have developed a new FPGA-based advanced CIM software. The first step of our software development process involves the Preliminary Hazard Analysis (PHA) based on the previous CIM design. In this paper, we describe the qualitative approach used in performing the preliminary hazard analysis. The paper presents the methodology for applying a modified Hazard and Operability (HAZOP) procedure for the conduct of PHA which resulted in a qualitative risk-ranking scheme that informed the decisions for the safety criteria in the requirements specification phase. The qualitative approach provided the justification for design changes during the advanced CIM software development process.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.9
• /
• pp.1379-1384
• /
• 2017

To guarantee safety and reliability, RAMS(Reliability Availability Maintainability and Safety) activity for a communication software in train communication network is studied. In this paper, preliminary hazard analysis in RAMS activities is studied for the communication software. Preliminary hazard analysis is done through library for communication software that the specification is defined by IEC 61375. The hazards are defined, then causes and consequence for each hazard are defined. The total 36 preliminary hazards are classified. For high severity hazards are changed to acceptable level by upgrading of system requirement specification.