• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

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

• Structural Monitoring and Maintenance
• /
• v.11 no.3
• /
• pp.173-185
• /
• 2024

Currently, the electro-hydraulic servo loading control system manufactured by MTS, OpenFresco hybrid test interface software and OpenSees finite element software are widely used in structure laboratories to carry out hybrid test, but there is no relevant public information about full structure pseudo-dynamic test based on the above software and hardware. In order to study the feasibility of using the above software and hardware to carry out full structure pseudo-dynamic test, the full structure pseudo-dynamic virtual experiments of a single degree of freedom (SDOF) structure and a two degrees of freedom (2DOFs) structure are carried out based on the MTS 793 Demo Mode, and the results are respectively compared with the finite element analysis method. The results show that the finite element analysis results and full structure pseudo-dynamic virtual experiment results are highly consistent, which verifies the feasibility of carrying out the full structure pseudo-dynamic test based on the above software and hardware. Then, a three story steel frame full structure pseudo-dynamic test is conducted, and the smooth implementation of full structure pseudo-dynamic test of the three story steel frame further verifies the reliability of thistesting method. The implementation method of carrying out the full structure pseudo-dynamic tests are introduced in detail, which can provide some reference for relevant research.

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