• Title/Summary/Keyword: safety verification

Search Result 1,127, Processing Time 0.028 seconds

Study on the Shifting Transients by Interfacing ECU with Simulation Program (자동변속장치 ECU와 프로그램의 Interface에 의한 변속과도특성 연구)

  • 조한상;박영일
    • Journal of the Korean Society of Safety
    • /
    • v.10 no.3
    • /
    • pp.21-29
    • /
    • 1995
  • The automotive transmission is the principal component of the power transmission system which converts the engine power into the adjustable power for the vehicle driving system. To the unskilled driver the automization of transmission is required for the safety and fuel economy. In this study, the dynamic model of the automotive power transmission system was presented and simulation program and interface board which interface IBM-PC with ECU was devloped. Through the traveling simulation by interfacing ECU with simulation program, the shifting transients are investigated. For verification of simulation experiment was carried out, the results of simulation was agreed well with those of simulation.

  • PDF

Formal Modeling for Security System and the Development of Formal Verification Tool for Safety Property (보안시스템의 정형화설계 및 안전성 검증 도구 개발)

  • ;;;;;Dmitry P. Zegzhda
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2003.12a
    • /
    • pp.533-537
    • /
    • 2003
  • 보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

  • PDF

A Case Study on Safety Case for the Verification of Railway Safety (철도시스템의 안전운영 검증을 위한 Safety Case 사례연구)

  • Kwak Sang-Log;Kim Sang-Ahm;Wang Jong-Bae;Cho Yun-Ok
    • Proceedings of the KSR Conference
    • /
    • 2005.11a
    • /
    • pp.618-622
    • /
    • 2005
  • Railway safety case is an important measure for demonstrates operating company's capability, commitment and competence in accordance with Railway Regulation 2000 in UK. Safety case describes the scope of operation, definition and boundary of activity, risk analysis, system safety activity, annul safety plan. Relationships between' these components and company's policy, organization, human resource, control measure, investment plan are also included. A case study for Network Rail (infrastructure manager)'s safety case is described in this paper for the construction of safety rule and safety planning.

  • PDF

The Structural Analysis and Experimental Verification for the Next Generation High Speed EMU (분산형 고속전철의 하중조건에 따른 정적 하중시험 평가)

  • Choi, Jeong-Yong;Jeong, Won-Wha;Park, Geun-Soo;Woo, Kwan-Je
    • Proceedings of the KSR Conference
    • /
    • 2011.05a
    • /
    • pp.307-313
    • /
    • 2011
  • Hyundai Rotem Company has designed and manufactured the next generation high speed EMU bodyshell (M3-car). Korean Railway Safety Law specifies the loads vehicle bodies shall be capable of withstanding, identifies what material data shall be used and presents the principles to be used for design verification by analysis. Therefore, in order to fulfill the structural requirements, Hyundai Rotem Company has carried out Finite Element Analysis (FEA) and static load test to verify whether the carbody structure has enough strength to withstand the loads specified by Korean Railway Safety Law. This research contains the results obtained by the FE analysis and static load test. The FE analysis is carried out using NX I-DEAS 6.1 and specially designed test jigs and equipment are used for the load tests.

  • PDF

Development of Automated Structural Design and Analysis Aided-Program of Aluminum Extrusion Carbody Structures for Railway Vehicle (알루미늄 압출재 철도차량 차체 구조물의 자동화 구조 설계 및 해석 지원 프로그램 개발)

  • Kim, Jun-Hwan;Shin, Kwang-Bok;Kang, Seung-Gu;Lee, Young-Ju
    • Proceedings of the KSR Conference
    • /
    • 2011.10a
    • /
    • pp.2679-2683
    • /
    • 2011
  • The purpose of this study is to develop automated structural design and analysis aided-program of aluminum extrusion carbody structures for railway vehicle. This developed program is possible to perform simultaneously structural design and design verification of aluminum extrusion profiles independent of expertise and experience of design engineers. Design engineers was able to design it using database of existing aluminum extrusion profiles or user-defined function. The design verification was programmed to evaluate its structural integrity according to Korean Railway Safety Law or Urban Transit Safety Law. Also, this program could automatically generate an executable file of various commercial finite element program and CAD files such as stp and iges by GUI environment applications using MFC(Microsoft Foundation Classes). In conclusion, it is expected to contribute to reduce product development time and improve product quality of aluminum extrusion profile and structures in railway industry.

  • PDF

Experimental Verification of Displacement Estimation Algorithm using Velocity Time History (속도시간이력을 이용한 변위 추정 알고리즘에 관한 실험적 검증)

  • Joh, Sung-Ho;Jeon, Jun-Chang;Hwang, Seon Keun;Lee, Hee-Hyun
    • Journal of the Korean Society of Safety
    • /
    • v.30 no.4
    • /
    • pp.99-105
    • /
    • 2015
  • In this study, displacement estimation algorithm, which is not requiring an absolute reference point unlike the conventional displacement measurement method, is developed using the geophone. To estimate displacement of the bridge, measured velocity time signal is integrated in the frequency domain. And, the estimated displacement is compared with the measured result using a conventional method. Based on the dynamic field test results, it was found that the estimated displacement by the present algorithm is similar to that of a conventional method. The displacement estimation algorithm proposed in this paper can be effectively applied to measure the displacement of a structure, which is difficult to install a displacement transducer at the fixed point.

Fire Resistance Evaluation of SLIM AU Composite Beam (슬림 AU 합성보 내화성능 평가)

  • Oh, Myoung-Ho;Kim, Myeong-Han
    • Journal of Korean Association for Spatial Structures
    • /
    • v.16 no.4
    • /
    • pp.53-58
    • /
    • 2016
  • SLIM AU(A plus U-shaped) composite beam was developed for reducing the story height in the residential buildings, and saving the cosrtuction cost of floor structures. Structural performance and economic feasibility of the composite beam have been sufficiently approved through the structural experiments and the analytical studies. However, the verification for fire safety is necessary for the practical application of the composite beam. The fire resistance tests with and without loading were performed for the fire safety verification, and the test results were summarized in this paper.

A Study on the Analytic Technique Combination and Evaluation of Development Process for Software Safety (S/W 안전성을 위한 분석기법 조합과 개발 프로세스 평가에 대한 연구)

  • Lee, Young-Soo;Ahn, Jin;Ha, Seung-Tea;Cho, Woo-Sik;Han, Chan-Hee
    • Proceedings of the KSR Conference
    • /
    • 2006.11b
    • /
    • pp.1468-1476
    • /
    • 2006
  • The goal of this thesis is to support safety and reliability characteristics of software intensive critical systems. The verification method developed is innovative from current state of the art in what concerns the verification viewpoint adopted: focusing on software faults, and not, like many other approaches purely on fulfilling functional requirements. As a first step and based on a number of well defined criteria a comparison was made of available literature in the area of static non formal non probabilistic software fault removal techniques. But, None of the techniques evaluated fulfilled all criteria set in isolation. Therefore a new technique was developed based on a combination of two existing techniques: the FMEA and FTA. These two techniques complement each other very well. It is possible to integrate both techniques with commonly used techniques at system level. The resulting new technique can be shown to combine nearly all aspects of existing fault removal techniques.

  • PDF

Experimental Verification According to an Accident Model in a Metal-Clad Switchgear at 22.9kV (22.9kV 폐쇄 배전반내의 사고모델을 통한 실험적 검증)

  • Shong, Kil-Mok;Han, Woon-Ki;Choi, Chung-Seog
    • The Transactions of the Korean Institute of Electrical Engineers P
    • /
    • v.55 no.2
    • /
    • pp.110-114
    • /
    • 2006
  • This paper describes the accident analysis by modelling the current transformer mounting in a metal-clad switchgear at 22.9kV. In analyzing the accident, the reconstruction at the current transformer mounting(VCB connecting guide) has to be taken into account. The accident was modelled as a 3-phase ground fault occurring between the end plate of 22.9kV lines and the safety shutter at the current transformer mounting of the VCB inside the metal clad switchgear. Since the outside maintenance of the metal clad switchgear is restricted by the enclosed compartments, Its circumference has to be kept clean. Through the reconstruction results, it was confirmed that the fault of the enclosed switchboard could be reduced when the shutter made of Fe material was chanted into an insulation.

Development of ESAD with Flight Environment Sensing Function and Sled Test Method for Function Verification (비행환경 감지 기능을 보유한 ESAD 개발 및 기능 확인을 위한 슬레드 시험 방안)

  • Hanseong Jo
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.26 no.3
    • /
    • pp.273-280
    • /
    • 2023
  • Recently electronic safety and arming device(ESAD) has attracted increasing attention due to its design flexibility. However, ESAD can be armed unintentionally due to a malfunction of an external device or interface. Thus ESAD needs an internally generated arming signal independent from the external device. In this paper, a new sensor-hybrid ESAD(SHESAD) with a flight environment sensing function for generating arming signal internally is proposed and a sled test based method is also suggested for evaluating its functions. Through the test results, the operability of the flight environment sensing function was confirmed. Also, it is shown that the proposed test method is suitable for verification of ESAD with the flight environment sensing function.