• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권4호
• /
• pp.167-176
• /
• 2017

자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의 전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 $1^{st}$ edition이 릴리즈 되었으며, 2016년 하반기에 $2^{nd}$ edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.

• 한국산학기술학회논문지
• /
• 제16권7호
• /
• pp.4863-4870
• /
• 2015

현재 철도신호 시스템/제품(Generic Product)에 대한 안전성 확보가 최우선시 되면서 그에 대한 정량적인 척도로 안전무결성 요구사항(SIR) 만족에 대한 검증은 필수사항으로 요구되고 있다. 안전무결성 요구사항(SIR) 검증은 시스템 안전성 분석을 기반으로 수행되지만 아직까지는 국내에서 수행한 경험이 없기 때문에 시스템 안전성 분석을 위한 기본 데이터의 확보율이 현저하게 떨어졌다. 따라서 지금까지는 정성적인 시스템/제품 안전성 분석에 의존할 수밖에 없었다. 정성적 분석은 리스크 매트릭스, 리스크 그래프와 같은 방법으로 사고의 폭은 넓지만 결과의 신뢰성이 떨어진다는 단점을 가지고 있다. 따라서 정성적 분석의 단점을 보완하기 위해서는 시스템/제품에 대한 정량적인 안전성 분석이 병행되어져야 한다. 본 논문에서는 정성적 분석의 단점을 극복하기 위해 정량적인 안전성 분석방법을 제시하고 신뢰성이 향상된 안전무결성 요구사항(SIR)의 검증방안을 제시한다. 검증 결과, Vital 데이터 처리장치에 대한 위험고장 발생 빈도는 $1.172279{\times}10^{-9}$으로 산출되었으며, 이 수치는 요구된 안전무결성 목표보다 상회하는 것으로 검증되었다.

• 한국철도학회논문집
• /
• 제9권3호
• /
• pp.264-270
• /
• 2006

In this paper we present a safety plan to be applied to the development of the TCS(Train Control System). The safety plan that can be applied to the life cycle of a system, from the conceptual design to the dismantlement, shows the whole process of the paper work in detail through the establishment of a goal, analysis and assessment, the verification. In this paper we study about the making a plan, the preliminary hazard analysis, the hazard identification and analysis to guarantee the safety of the TCS. The process far the verification of the system safety is divided into several steps based on the target system and the approaching method. The guarantee of the system safety and the improvement of the system reliability is fellowed by the recommendation of the international standards.

• 대한건축학회논문집:계획계
• /
• 제34권3호
• /
• pp.53-60
• /
• 2018

When planning buildings, safety should be considered as a priority over any other performance. The study aims to derive and systematize elements that can be reflected in the design stage, which affects the safety of construction workers and building users. The elements for safety of workers are classified by type of work, and the elements for safety of users are classified by fields. Elements that are difficult to be reflected in design stage or those whose effects are insignificant are excluded. In addition, application scenarios have been proposed for each element so that the elements created in this study can be directly applied and utilized in practice. This will contribute to lowering the accident rate of construction projects by evaluating the harmful risks of construction projects at the design stage.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.2202-2203
• /
• 2011

AC substation of urban transit supplies a suitable AC power on electricity vehicles. AC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for AC traction system are unprepared on pre-operation inspection, the general safety and performance verification of AC traction system are very insufficient. Therefore this paper analyze the test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of AC traction system and present a suitable test items and test standard in domestic.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.499-504
• /
• 2008

DC substation of urban transit supplies a suitable DC power on electricity vehicles by being supplied from KEPCO. DC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for DC traction system are unprepared on pre-operation inspection, the general safety and performance verification of DC traction system are very insufficient. Therefore this paper analyze the overseas test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of DC traction system and present a suitable test items and test standard in domestic.

• 전기전자학회논문지
• /
• 제25권3호
• /
• pp.571-577
• /
• 2021

본 논문에서는 자율주행자동차의 안전성 및 보안성을 보장하기 위해서 설계하고 검증하는 방법을 규정한 국제 표준인 ISO/TR 4804에 대해 다룬다. ISO/TR 4804는 자율주행자동차가 (1) 인간 운전자보다 훨씬 더 안전하고 (2) 타당하지 않은 위험이 없도록 하는 것을 목표로 하며, 이를 위해 12개의 안전성 및 보안성 원칙을 제시한다. 설계 과정에서는 (1) 안전성 및 보안성 원칙을 달성하는데 필요한 13개의 역량, (2) 이 역량을 수행하기 위해 필요한 하드웨어 및 소프트웨어 요소, (3) 이 요소를 결합한 논리적, 일반적인 아키텍쳐 등을 규정한다. 검증 과정에서는 (1) 안전성 및 보안성을 검증하기 위한 5개의 과업, (2) 이 과업을 완수하기 위한 테스트 목표, 플랫폼, 솔루션, (3) 시뮬레이션 방법 및 필드 운영 방법, (4) 하드웨어 및 소프트웨어 요소의 검증 방법 등을 규정한다. 특히 심층 신경망을 하나의 소프트웨어 요소로 간주하고, 심층 신경망이 적용된 자율주행자동차를 설계하고 검증하는 방법을 규정한다.

• Journal of Computing Science and Engineering
• /
• 제11권1호
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• 한국안전학회지
• /
• 제32권4호
• /
• pp.7-15
• /
• 2017

International standards such as IEC-61508 and IEC-61511 require Safety Integrity Levels (SILs) for Safety Instrumented Functions (SIFs) in process industries. SIL verification is one of the methods for process safety description. Results of the SIL verification in some cases indicated that several Safety Instrumented Functions (SIFs) do not satisfy the required SIL. This results in some problems in terms of cost and risks to the industries. This study has been performed to improve the reliability of a safety instrumented function (SIF) installed in hydrodesulfurization reactor heater using Partial Stroke Testing (PST). Emergency shutdown system was chosen as an SIF in this study. SIL verification has been performed for cases chosen through the layer of protection analysis method. The probability of failure on demands (PFDs) for SIFs in fault tree analysis was $4.82{\times}10^{-3}$. As a result, the SIFs were unsuitable for the needed RRF, although they were capable of satisfying their target SIL 2. So, different PST intervals from 1 to 4 years were applied to the SIFs. It was found that the PFD of SIFs was $2.13{\times}10^{-3}$ and the RRF was 469 at the PST interval of one year, and this satisfies the RRF requirements in this case. It was also found that shorter interval of PST caused higher reliability of the SIF.

• Computers and Concrete
• /
• 제2권1호
• /
• pp.31-53
• /
• 2005

In the present structural codes the safety verification is based on a linear analysis of the structure and the satisfaction of ultimate and serviceability limit states, using a semi-probabilistic security format through the consideration of partial safety factors, which affect the action values and the characteristic values of the material properties. In this context, if a non-linear structural analysis is wanted a difficulty arises, because the global safety coefficient, which could be obtained in a straightforward way from the non-linear analysis, is not directly relatable to the different safety coefficient values usually used for the different materials, as is the case for reinforced concrete structures. The work here presented aims to overcome this difficulty by proposing a methodology that generalises the format of safety verification based on partial safety factors, well established in structural codes within the scope of linear analysis, for cases where non-linear analysis is needed. The methodology preserves the principal assumptions made in the codes as well as a reasonable simplicity in its use, including a realistic definition of the material properties and the structural behaviour, and it is based on the evaluation of a global safety coefficient. Some examples are presented aiming to clarify and synthesise all the options that were taken in the application of the proposed methodology, namely how to transpose the force distributions obtained with a non-linear analysis into design force distributions. One of the most important features of the proposed methodology, the ability for comparing the simplified procedures for second order effects evaluation prescribed in the structural codes, is also presented in a simple and systematic way. The potential of the methodology for the development and assessment of alternative and more accurate procedures to those already established in codes of practice, where non-linear effects must be considered, is also indicated.