• 제목/요약/키워드: Safety critical software

검색결과 193건 처리시간 0.024초

차량신호를 이용한 주요 전장품의 고장 분석 (Fault Analysis of Electric Equipment Using Vehicle Signal)

  • 한영재;김기환;김상수;이병석;정상훈;조병찬
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2006년도 추계학술대회 논문집
    • /
    • pp.1488-1494
    • /
    • 2006
  • The most important thing to secure safety and reliability of railway vehicles is to verify performance characteristics of equipments, and related companies or research institutes had many efforts to verify performances and functions of equipments synthetically and efficiently. KHST(Korean High Speed Train) has been developed by KRRI(Korea Railroad Research Institute). An electric railway system is composed of high-tech subsystems, among which main electric equipment such as transformers and converter are critical components determining the performance of rolling stock. We developed a measurement system for on-line test and evaluation of performances of KHST. The measurement system is composed of software part and hardware part. Perfect interface between multi-users is possible. A new method to measure temperature was applied to the measurement system. By using the system, fault diagnosis and performance evaluation of electric equipment in Korean High Speed Train was conducted during test running.

  • PDF

Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법 (A Development Methodology for Reliability Improvement of ESTEREL based Embedded Software)

  • 양진석;심재환;김진현;강인혜;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
    • /
    • pp.334-336
    • /
    • 2005
  • 본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

  • PDF

Numerical investigation of geocell reinforced slopes behavior by considering geocell geometry effect

  • Ardakani, Alireza;Namaei, Ali
    • Geomechanics and Engineering
    • /
    • 제24권6호
    • /
    • pp.589-597
    • /
    • 2021
  • The present study evaluates geocell reinforced slope behavior. A three dimensional analysis is carried out to simulate soil and geocell elastoplastic behavior using the finite difference software FLAC3D. In order to investigate the geocell reinforcement effect, the geocell aperture size, thickness, geocell placement condition and soil compaction had been considered as variable parameters. Moreover, a comparison is evaluated between geocell reinforcing system and conventional planar reinforcement. The obtained results showed that the pocket size, thickness and soil compaction have considerable influence on the geocell reinforcement slope performance. Moreover, it was found that the critical sliding surface was bounded by the first geocell reinforcement and the slope stability increases, by increasing the vertical space between geocell layers. In addition, the comparison between geocell and geogrid reinforcement indicates the efficiency of using cellular honeycomb geosynthetic reinforcement.

Prediction of rock slope failure using multiple ML algorithms

  • Bowen Liu;Zhenwei Wang;Sabih Hashim Muhodir;Abed Alanazi;Shtwai Alsubai;Abdullah Alqahtani
    • Geomechanics and Engineering
    • /
    • 제36권5호
    • /
    • pp.489-509
    • /
    • 2024
  • Slope stability analysis and prediction are of critical importance to geotechnical engineers, given the severe consequences associated with slope failure. This research endeavors to forecast the factor of safety (FOS) for slopes through the implementation of six distinct ML techniques, including back propagation neural networks (BPNN), feed-forward neural networks (FFNN), Takagi-Sugeno fuzzy system (TSF), gene expression programming (GEP), and least-square support vector machine (Ls-SVM). 344 slope cases were analyzed, incorporating a variety of geometric and shear strength parameters measured through the PLAXIS software alongside several loss functions to assess the models' performance. The findings demonstrated that all models produced satisfactory results, with BPNN and GEP models proving to be the most precise, achieving an R2 of 0.86 each and MAE and MAPE rates of 0.00012 and 0.00002 and 0.005 and 0.004, respectively. A Pearson correlation and residuals statistical analysis were carried out to examine the importance of each factor in the prediction, revealing that all considered geomechanical features are significantly relevant to slope stability. However, the parameters of friction angle and slope height were found to be the most and least significant, respectively. In addition, to aid in the FOS computation for engineering challenges, a graphical user interface (GUI) for the ML-based techniques was created.

NuSCR 정형 요구사항 명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구 (A CASE Tool for Automatic Generation of FBD Program from NuSCR Formal Specification)

  • 백형부;유준범;차성덕
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권4호
    • /
    • pp.265-269
    • /
    • 2009
  • 정형명세기법은 안전최우선시스템 소프트웨어의 안전성을 일정 수준 이상 보장할 수 있는 기법으로서, 원자력 발전소의 디지털 제어시스템의 개발에 사용되고 있다. 정형명세기법 NUSCR로부터 Programmable Logic Controller(PLC) 시스템을 구현하기 위한 소프트웨어인 Function Block Diagram(FBD) 프로그램을 자동으로 생성하는 기법[1]이 개발되었으나, 이를 지원하는 자동화 도구가 없어 이 기법이 널리 사용되지 못하였다. 본 논문에서는 이어 자동생성 기법을 지원하기 위하여 개발된 자동화 도구 NuSCRtoFBD를 소개한다. 본 연구에서 제안하는 NuSCRtoFBD 도구를 사용하여 NuSCR로부터 FBD를 자동생성 함으로써, 기존의 수동 프로그래밍 작업에서 발생했던 다수의 오류들을 줄일 수 있다.

A Vtub-Shaped Hazard Rate Function with Applications to System Safety

  • Pham, Hoang
    • International Journal of Reliability and Applications
    • /
    • 제3권1호
    • /
    • pp.1-16
    • /
    • 2002
  • In reliability engineering, the bathtub-shaped hazard rates play an important role in survival analysis and many other applications as well. For the bathtub-shaped, initially the hazard rate decreases from a relatively high value due to manufacturing defects or infant mortality to a relatively stable middle useful life value and then slowly increases with the onset of old age or wear out. In this paper, we present a new two-parameter lifetime distribution function, called the Loglog distribution, with Vtub-shaped hazard rate function. We illustrate the usefulness of the new Vtub-shaped hazard rate function by evaluating the reliability of several helicopter parts based on the data obtained in the maintenance malfunction information reporting system database collected from October 1995 to September 1999. We develop the S-Plus add-in software tool, called Reliability and Safety Assessment (RSA), to calculate reliability measures include mean time to failure, mean residual function, and confidence Intervals of the two helicopter critical parts. We use the mean squared error to compare relative goodness of fit test of the distribution models include normal, lognormal, and Weibull within the two data sets. This research indicates that the result of the new Vtub-shaped hazard rate function is worth the extra function-complexity for a better relative fit. More application in broader validation of this conclusion is needed using other data sets for reliability modeling in a general industrial setting.

  • PDF

컴퓨터에 의한 가스안전 제어시스템 소프트웨어 설계 (Software Design of Computerized Gas Safety Control System)

  • 김태옥;주우석;박현민;이헌창;장서일
    • 한국가스학회지
    • /
    • 제8권1호
    • /
    • pp.30-36
    • /
    • 2004
  • 최근 들어 가장 경제적인 에너지원 중의 하나인 가스의 사용이 확대되고 있으나 안전관리 미숙으로 수많은 가스사고가 발생하고 있다. 가스사고의 중요한 원인은 현행 가스안전제어시스템이 수동제어 매카니즘에 크게 의존하는데 있다 본 논문에서는 현장의 가스농도감지에서부터 차단밸브 제어까지 일련의 핵심적인 기능을 컴퓨터에 의해 자동화하고, 통합적으로 관리하기 위한 프로토 타입을 설계하고 구현하였다. 이러한 자동화 시스템은 디지털 네트워크로 연결되기 때문에 원격 제어가 가능하다는 특징이 있다. 특히, 본 논문에서 제안한 자동화 안전 시스템은 가스누출에 대한 상황파악 및 이에 대한 대처가 실시간대에 이루어지기 때문에 사고의 위험성과 피해를 대폭적으로 경감할 수 있다.

  • PDF

차세대 열차제어시스템 안전전송장치 설계에 관한 연구 (A Study on Design of Safety Transmission Unit for Next-Generation Train Control System)

  • 정태운;추호철;문채주
    • 한국전자통신학회논문지
    • /
    • 제18권4호
    • /
    • pp.563-570
    • /
    • 2023
  • 안전전송장치는 열차와 철도 시설 간에 통신을 제공하여 안전하고 효율적인 운영을 보장해야 하는 철도 시스템에서 사용되는 중요한 장치이다. 본 논문에서는 무선통신기반 차세대 열차제어시스템의 안전전송장치를 설계하고 시험하였다. 유럽규격과 국내규격을 분석하고 요구사항을 검토하여 국제적 수준의 안전전송장치의 HW 설계와 SW를 설계하여 제작하였다. 안전전송장치의 기능을 검증하기 위하여 시뮬레이터를 제작하여 설계된 기능이 구현되고 있는 것을 확인하였다.

항공기 시스템의 치명적인 공통 요인을 식별하기 위한 고장-안전 요구분석 절차 제안 (Proposal of a Fail-Safe Requirement Analysis Procedure to Identify Critical Common Causes an Aircraft System)

  • 임산하;이선아;전용기
    • 한국항공우주학회지
    • /
    • 제50권4호
    • /
    • pp.259-267
    • /
    • 2022
  • 기존의 국내 개발 회전익 항공기 시스템의 고장-안전 설계 요구사항 도출 방법은 최신 통합형 항공전자 시스템에 적용 시 단일 항목의 고장으로 인하여 치명적인 시스템 기능 고장을 발생시키는 요인을 누락할 수 있다. 그 원인은 고장-안전 설계 대상을 선정함에 있어 단일 품목의 체계 기능 고장 영향성을 그 기준으로 함에 있다. 본 연구에서는 이를 해결하기 위하여 민수 항공기 개발 국제 표준인 SAE ARP4754A의 기능적 위험요소 평가 및 개발보증수준 할당 절차를 활용하여, 시스템 구조의 고장-안전 설계 요구사항을 도출하기 위한 체계적인 분석 절차를 제시한다. 또한 본 연구에서 제시한 절차가 앞서 제시한 문제점을 해결할 수 있는지를 확인하기 위하여 치명적인 기능 고장을 발생시킬 수 있는 단일 요인을 내포한 시스템 구조를 가정하여 교차 검증을 수행하였다. 그 결과 기존 연구 방법으로는 누락되었던 치명적인 공통 요인을 식별할 수 있었고 이를 통제하기 위한 고장-안전 설계 요구사항이 도출됨을 확인하였다.

항공기 주익 구조물의 응력스펙트럼 및 피로수명 추정에 관한 연구 (Fatigue Life and Stress Spectrum of Wing Structure of Aircraft)

  • 강기원;고승기;최동수;김태성
    • 대한기계학회논문집A
    • /
    • 제34권9호
    • /
    • pp.1185-1191
    • /
    • 2010
  • 장기운영된 항공기에는 비행시간의 누적에 따라 다양한 피로균열이 발생하며 이는 운영상 안전성 및 가동률을 저하시키는 요인이 된다. 이의 해결을 위하여 피로임계위치(Fatigue critical location, FCL)에 대한 균열 진전 해석은 매우 중요하다. 그러나 이러한 장기 운영된 항공기의 경우, 균열 진전 해석에 필수적인 FCL에서의 응력 스펙트럼 획득은 거의 불가능한 실정이다. 본 연구에서는 장기운영된 항공기 주익 구조물의 FCL에서의 균열 진전 해석을 수행하기 위하여, 먼저 주익 구조물에 대한 2차원 하드카피 형태의 도면으로부터 구축된 3차원 CAD 모델에 대한 유한요소해석을 수행하였다. 또한 이러한 유한요소해석 결과 및 제한된 하중배수 자료를 기반으로 FCL에서의 전달함수와 응력 스펙트럼을 산출하였다. 상기 자료를 바탕으로 상용 균열 진전 해석 코드인 NASGRO를 이용하여 FCL에서의 균열진전해석을 수행하였다.