• International Journal of Safety
• /
• 제8권2호
• /
• pp.31-36
• /
• 2009

In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

• 항공우주시스템공학회지
• /
• 제7권2호
• /
• pp.29-34
• /
• 2013

Safety requirements for aircraft and system functions include minimum performance constraints for both availability and integrity of the function. These safety requirements should be determined by conducting a safety assessment. The depths and contents of aircraft system safety assessment vary depending on factors such as the complexity of the system, how critical the system is to flight safety, what volume of experience is available on the type of system and the novelty and complexity of the technologies being used. Requirements that are defined to prevent failure conditions or to provide safety related functions should be uniquely identified and traceable through the levels of development. This will ensure visibility of the safety requirements at the software and electronic hardware design level. This paper has prepared to study on promoting the efficiency of establishing hierarchical safety requirements from aircraft level function to item level through system safety processes.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2007년도 춘계학술대회
• /
• pp.425-435
• /
• 2007

This paper presents various information technologies of software product evaluation such as process for evaluators, process for developers, and process for acquirers. This study also introduces system life cycle processes and its application guide.

• 한국구조물진단유지관리공학회 논문집
• /
• 제5권3호
• /
• pp.191-201
• /
• 2001

In spite of the increasing construction of segmental PSC box girder bridges, the techniques associated with real-time monitoring, construction control and safety assessment during construction have been less developed compared with the construction techniques. Thus, the development of an integrated system including real-time measurement and monitoring, control and safety assessment system during construction is necessary fur more safe and precise construction of the bridges. This study presents a prototype integrated monitoring system for preventing abnormal behavior and accidents under construction stages, that consist of behavior control system for precise construction, reliability-based safety assessment system, and structural analysis. Also, a prototype software system is developed on the basis of the proposed model. It is successfully applied to the Sea-Hae Grand Bridge built by FCM. The integrated system model and software system can be utilized for the safe and precise construction of segmental PSC bridges during construction.

• 소프트웨어공학소사이어티 논문지
• /
• 제29권1호
• /
• pp.7-12
• /
• 2020

최근 기능 안전에 대한 관심이 높아짐에 따라 다양한 산업 분야에서 기능 안전 표준의 적용이 요구되고 있다. 기능 안전 표준은 시스템의 오작동을 방지하기 위해 필요한 기능 안전 관련 활동들을 정의한 문서이다. 이 표준에 정의된 모든 활동들은 시스템의 위험 분석 및 평가를 통해 산출된 등급 분류 결과에 따라 차등적으로 요구된다. 국내 무기체계 분야에는 방위사업청에서 발간한 무기체계 소프트웨어 개발 및 관리 매뉴얼이 존재한다. 이 매뉴얼은 기능 안전 관련 활동으로 소프트웨어 정적 및 동적 분석 활동을 요구한다. 하지만 해당 매뉴얼에는 선행 활동으로 요구되는 위험 분석 및 평가를 통한 등급 분류 활동 관련 내용이 구체적으로 언급되고 있지 않다. 따라서 본 연구에서는 대표적인 기능 안전 표준들을 기반으로 무기체계 소프트웨어 개발 및 관리 매뉴얼의 문제점을 분석하고 이에 대한 개선 방안을 제시하도록 한다.

• Nuclear Engineering and Technology
• /
• 제33권6호
• /
• pp.596-604
• /
• 2001

This paper quantitatively presents the effects of important factors of the probabilistic safety assessment (PSA) of safety-critical digital systems. The result which is quantified using fault tree analysis methodology shows that these factors remarkably affect the system safety. In this paper we list the factors which should be represented by the model for PSA. Based on the PSA experience, we select three important factors which are expected to dominate the system unavailability. They are the avoidance of common cause failure, the coverage of fault tolerant mechanisms and software failure probability. We Quantitatively demonstrate the effect of these three factors. The broader usage of digital equipment in nuclear power plants gives rise to the safety problems. Even though conventional PSA methods are immature for applying to microprocessor-based digital systems, practical needs force us to apply it because the result of PSA plays an important role in proving the safety of a designed system. We expect the analysis result to provide valuable feedback to the designers of digital safety- critical systems.

• 한국안전학회지
• /
• 제34권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.

• 대한안전경영과학회지
• /
• 제7권4호
• /
• pp.141-163
• /
• 2005

The international SPICE (Software Process Improvement and Capability determination) Project ISO/IEC 15504(SPICE : Software Process Improvement and Capability determination) is an emerging International Standard on SPA(Software Process Assessment). A prime motivation for developing this standard has been the perceived need for an internationally recognized software process assessment framework that pulls together the existing public and proprietary models and methods. A SPICE assessment can be considered as one of representative SPA model since assessors assign ratings to indicators and metrics to measure the capability of software process. But this models doesn't provide a systematic measurement procedures and dynamic method for SPI(Software Process Improvement). Through the evaluation of SPICE is capable of providing a substantiated basis for using the notion of capability, as well as providing information for nacessary improvements to the standard using 6sigma process. As a result, this paper propose a measurement procedure and guidelines for application of 6sigma process to guarantee the reliability in SPI and suggest the structure to support SPI on overall organization.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• 한국화재소방학회논문지
• /
• 제17권4호
• /
• pp.57-63
• /
• 2003

본 연구에서는 지하가의 피난 안전성 평가 모델의 기반을 제시하고 그에 따른 프로그램을 개발하였다. 또한, 피난 안전성 평가에 필수적인 각종 자료들을 통합형 데이터베이스 기반으로 구축하여 적은 시간과 인력으로 효율적인 피난 안전성 평가를 수행할 수 있는 모델 제시 및 시스템을 구축하였고, 국내 지하가의 사례연구를 토대로 피난안전성평가시스템의 현장 적용성 및 신뢰성을 검증하였다.