• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.1167-1173
• /
• 2011

This study is described for the RAMS activities of performed to 2008.12 ~ 2010.10 KTX CTC Project. RAMS activities follow EN50126, EN50128, EN50129. CENELEC standards(EN50126, EN50128, EN50129) to the System Development Life-cycle are defined. This study is RAMS activities of life-cycle that can be found to satisfy SIL2. In addition, assessment of the ISA was completed. This paper is describe RAMS activities results of each phase and Safety Case according to Verification/Validation result.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.456-461
• /
• 2011

Recently the design specification has been advanced with preventing earthquake disaster in Korea because of increasing occurrence of large size earthquake. A composite plate with ductile fiber is proposed, which can enhance the performance of built tunnel in both strength and ductility. This study is to focus to verify the effect of strengthening of existing tunnels which is built without earthquake type load scenario, so that it can provide the safety of existing urban subway system against earthquakes.

• Proceedings of the KIEE Conference
• /
• 1988.11a
• /
• pp.206-209
• /
• 1988

Fixed boundary MHD static equilibrium for the axisymmetric toroidal plasma is analyzed numerically. The Grad-Shafranov equation is solved using FFM. The toroidal current tenn is expressed by plasma pressure p($\psi$) and toroidal field function g($\psi$). The numerical results are compared to the Solovev analytic equilibrium for the verification of the analysis. For SNUT-79 tokamak device in Seoul National University, flux surfaces and toroidal current profiles according to the variation of p and g profiles are observed. Also the safety factor q and average beta are obtained.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1999.04a
• /
• pp.421-426
• /
• 1999

The purpose of this study is to investigate the durability design method of reinforced concrete structure in order to establish a rationally combined design system of structural and durability design, that is to say performance-based design. In literature study, the integrated design of concrete structure studied JCI committe is very intensive durability design method for reinforced concrete structure. Specially, B root durability design method for selection of verification level is very effective method in the view of modeling of materials and structural properties to analyze safety and serviceability of RC structures.

• 한국기계연구소 소보
• /
• s.10
• /
• pp.11-20
• /
• 1983

Photoelasticity is an experimental technique for stress and strain analysis that is particularly useful for members having complicated geometry, complicated loading conditions, or both. The principle and engineering applications of photoelastic stress analysis are briefly reviewed. Experimental stress analysis with Reflection Polariscope at KIMM Structural Mechanics Laboratory was applied to the following practices: Stress analysis of the crosshead of the structural fatigue testing machine; Experimental safety verification of domestic excavator.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.86-86
• /
• 2003

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.157-161
• /
• 2004

Urban transit is system that offer target Performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target Performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

• Journal of Korea Ship Safrty Technology Authority
• /
• s.35
• /
• pp.52-62
• /
• 2013

2012년 2월 5일을 기점으로 하여 소방검정 시스템에 대하여 전반적인 변화가 있었다. "소방시설 설치 유지 및 안전관리에 관한 법률" 개정시행과 동시에 행정안전부령인 "소방용 기계 기구의 형식승인 등에 관한 규칙"이 "소방용품의 품질관리에 관한 규칙"으로 명칭이 변경되었다. 이에 따라 제품검사방법에 제조업체에서 유통 전에 생산시마다 검사하는 생산제품검사와 제조업체의 품질관리에 따라 검사하는 품질제품검사를 도입하는 등 소방검정시스템이 크게 바뀌었으며 이에 따른 주요 변경사항과 소방검정시스템에 대하여 소개하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.823-825
• /
• 2003

보안 시스템에 대해서 고등급 평가를 받기 위해서는 정형적 방법론을 사용하여, 보안 모델을 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 정형적 설계 방법을 통해 보안모델을 설계하고 검증하기 위한, SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.415-417
• /
• 2002

실시간 시스템은 신뢰성이 중요하다. 특히 고안전성 시스템 (Safety-Critical System)은 안전과 직결되므로 높은 신뢰도가 요구된다. 본 논문에서는 Reactive System 의 모델링 및 검증을 위해 개발된 정형 검증 언어인 SyncCharts를 이용한 실시간 시스템의 스케줄가능성 분석(Schedulability Analysis)을 통해 시스템에 대한 요구조건의 만족여부와 태스크들의 수행가능성을 검증하는 방법을 제시한다.