• Title/Summary/Keyword: Safety critical software

Search Result 193, Processing Time 0.027 seconds

Installation Standards of Urban Deep Road Tunnel Fire Safety Facilities (도심부 대심도 터널의 방재시설 설치 기준에 관한 연구(부산 승학터널 사례를 중심으로))

  • Lee, Soobeom;Kim, JeongHyun;Kim, Jungsik;Kim, Dohoon;Lim, Joonbum
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.41 no.6
    • /
    • pp.727-736
    • /
    • 2021
  • Road tunnel lengths are increasing. Some 1,300 tunnels with 1,102 km in length had been increased till 2019 from 2010. There are 64 tunnels over 3,000 m in length, with their total length adding up to 276.7 km. Safety facilities in the event of a tunnel fire are critical so as to prevent large-scale casualties. Standards for installing disaster prevention facilities are being proposed based on the guidelines of the Ministry of Land, Infrastructure and Transport, but they may be limited to deep underground tunnels. This study was undertaken to provide guidelines for the spacing of evacuation connection passages and the widths of evacuation connection doors. Evacuation with various spacing and widths was simulated in regards to evacuation time, which is the measure of safety, using the evacuation analysis simulation software EXODUS Ver.6.3 and the fire/smoke analysis software SMARTFIRE Ver.4.1. Evacuation connection gates with widths of 0.9 m and 1.2 m, and spacings of 150 m to 250 m, were set to every 20 m. In addition, longitudinal slopes of 6 % and 0 % were considered. It was determined to be safe when the evacuation completion time was shorter than the delay diffusion time. According to the simulation results, all occupants could complete evacuation before smoke spread regardless of the width of the evacuation connection door when the longitudinal slope was 6 % and the interval of evacuation connection passage was 150 m. When the evacuation connection passage spacing was 200 m and the evacuation connection gate width was 1.2 m, all occupants could evacuate when the longitudinal slope was 0 %. Due to difference in evacuation speed according to the longitudinal slope, the evacuation time with a 6 % slope was 114 seconds shorter (with the 190 m connection passage) than with a 0 % slope. A shorter spacing of evacuation connection passages may reduce the evacuation time, but this is difficult to implement in practice because of economic and structural limitations. If the width of the evacuation junction is 1.2 m, occupants could evacuate faster than with a 0.9 m width. When the width of a connection door is 1.2 m with appropriate connection passage spacing, it might provide a means to increase economic efficiency and resolve structural limitations while securing evacuation safety.

A Study on Driver Perception-Reaction Time in High-Speed Driving Situations (고속주행상황의 운전자 인지·반응시간에 관한 연구)

  • Choi, Jaisung;Jeong, Seungwon;Kim, Jeongmin;Kim, Taeho;Shin, Joonsoo
    • International Journal of Highway Engineering
    • /
    • v.19 no.1
    • /
    • pp.107-119
    • /
    • 2017
  • PURPOSES : The desire of drivers to increase their driving speeds is increasing in response to the technological advancements in vehicles and roads. Therefore, studies are being conducted to increase the maximum design speed in Korea to 140 km/h. The stopping sight distance (SSD) is an important criterion for acquiring sustained road safety in road design. Moreover, although the perception-reaction time (PRT) is a critical variable in the calculation of the SSD, there are not many current studies on PRT. Prior to increasing the design speed, it is necessary to confirm whether the domestic PRT standard (2.5 s) is applicable to high-speed driving. Thus, in this study, we have investigated the influence of high-speed driving on PRT. METHODS : A driving simulator was used to record the PRT of drivers. A virtual driving map was composed using UC-Win/Road software. Experiments were carried out at speeds of 100, 120, and 140 km/h while assuming the following three driving scenarios according to driver expectation: Expected, Unexpected, and Surprised. Lastly, we analyzed the gaze position of the driver as they drove in the simulated environment using Smarteye. RESULTS : Driving simulator experimental results showed that the PRT of drivers decreased as driving speed increased from 100 km/h to 140 km/h. Furthermore, the gaze position analysis results demonstrated that the decrease in PRT of drivers as the driving speed increased was directly related to their level of concentration. CONCLUSIONS : In the experimental results, 85% of drivers responded within 2.0 s at a driving speed of 140 km/h. Thus, the results obtained here verify that the current domestic standard of 2.5 s can be applied in the highways designated to have 140 km/h maximum speed.

Database Enhancement for Development of Open-pit Mine Monitoring System in Open Source Environments (오픈 소스 환경의 노천광산 모니터링시스템 개발을 위한 데이터베이스 고도화 방안)

  • Kim, Se-Yul;Yu, Ji-Ho;Yu, Young-Geol;Lee, Hyun-Jik
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.34 no.1
    • /
    • pp.21-32
    • /
    • 2016
  • Open-pit mines are the critical infrastructure for acquiring natural resources. Since it could be endangered by environmental and safety problems during operations, continuous monitoring is required for this type of mine. However, the domestic level management and accumulation of present state data of the topographical alteration are incurred by the development and restoration of open-pit mines relying on digital topographic maps and site surveys. Because of it, other than an expert cannot be viewed easily examines those changes information of open-pit mines in the domestic level. If the efficient management and public access of the open-pit mine is targeted, it is easy to build a web-based three-dimensional monitoring system, utilized in the space information software of open source. Therefore, we purposed on developing an open-pit mine monitoring system to support the development and restoration of the ecology-friendly environment, which could be easily monitored by the general public for those changes within terrain and environments due to operations of the mine.

Statistical Test for Performance Evaluation of Code Carrier Divergence Detection at a GBAS Reference Station (GBAS 기준국의 코드 반송파 발산 검출성능 평가를 위한 통계시험)

  • Yun, Young-Sun;Kim, Joo-Kyoung;Cho, Jeong-Ho;Heo, Moon-Beom;Nam, Gi-Wook
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.40 no.9
    • /
    • pp.760-770
    • /
    • 2012
  • In order to provide precision approach service based on GBAS, air navigation service providers should validate the GBAS system performance against international standard requirements and receive approval. The GBAS manufacturer should define integrity threat, analyze the integrity monitors and evaluate performance of the implemented monitors to verify integrity performance which is critical to the aircraft safety. This paper describes a statistical test result to evaluate performance of the code carrier divergence monitors implemented in KARI Integrity Monitor System software. The paper introduces analysis and test procedure which is developed for the performance evaluation and describes the analysis, the test scenario generation and the test results. The results show that the implemented monitors can detect the expected minimum detectable errors with satisfying the probability of missed detection requirements.

Effort Analysis of Unit Testing Conducted by Non-Developer of Source Code (원개발자 부재에 따른 원시코드 기반의 단위테스트 노력 분석)

  • Yoon, Hoijin
    • Journal of Information Technology Services
    • /
    • v.11 no.4
    • /
    • pp.251-262
    • /
    • 2012
  • Unit testing is one of the test levels, which tests an individual unit or a group of related units. Recently, in Agile Development or Safety-critical System Development, the unit testing plays an important role for the qualities. According to the definition of unit testing, it is supposed to be done by the developers of units. That is because test models for the unit testing refers to the structure of units, and others but its original developers hardly can understand the structures. However, in practice, unit testing is often asked to be done without the original developers. For example, it is when faults are revealed in customer sites and the development team does not exit any more. In this case, instead of original developers, other developers or test engineers take a product and test it. The unit testing done by a non-developer, who is not the original developer, would cause some difficulties or cause more cost. In this paper, we tests an open source, JTopas, as a non-developer, with building test models, implementing test codes, and executing test cases. To fit this experiment to practical testing situations, we designed it based on the practices of unit testing, which were surveyed through SPIN(Software Process Improvement Network). This paper analyzes which part of unit testing done by non-developers needs more effort compared to the unit testing done by original developers. And it concludes that Agile Development contributes on reducing the extra effort caused by non-developers, since it implements test codes first before developing source code. That means all the units have already included their own tests code when they are released.

A Review of Roundabout Capacity Model (회전교차로 용량분석 방법에 대한 고찰)

  • An, Hong Ki;Kim, Dong Sun
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.41 no.2
    • /
    • pp.143-150
    • /
    • 2021
  • Roundabouts have been spreading out all over the world quickly with their attractions including capacity enhancement, safety increase and pollutant emission decrease. The history of Korean roundabout has already been 10 years. However, due to the accumulation of unclear right of way and insufficient data, the advantages of the roundabout are not fully utilized so far. Moreover, there are some differences in the capacity model of roundabouts compared to overseas capacity models. In addition, most research tend to concentrate in evaluation of roundabout performance using computer software. This paper, therefore, investigated overseas typical roundabout capacity models; empirical model and gap acceptance model, and then KHCM 2013 was compared to SIDRA model and USHCM 2010 model. It is expected that this paper will assist and guide practitioners in analyzing and estimating roundabout capacity more precise.

A Study on the Efficient Compliance Method for Airworthiness Certification in the field of Flying Qualities of Military Aircraft (군용항공기 비행성 분야의 효율적인 감항인증 입증방법에 대한 고찰)

  • Kang, Myungsoo;Kim, Chong-sup;Koh, GiOk;Lim, Sang-soo;Kim, Byoung soo
    • Journal of Aerospace System Engineering
    • /
    • v.16 no.4
    • /
    • pp.95-108
    • /
    • 2022
  • Airworthiness certification is critical, in ensuring the flight safety of military aircraft for development tests and production operations. The MIL-HDBK-516C, latest airworthiness certification document, handles the field of flying qualities in Chapter 6 (flight technology), and refers to specific chapters of MIL-STD-1797B, which is the specification document for developing military aircraft. Since the MIL-STD-1797B released in 2006 by the U.S. Department of Defense is not disclosed to other countries, the Chapter 6 (flight technology) of MIL-HDBK-516B Expanded, the former certification standards pursuant to flying qualities, has to be applied to military aircraft being developed in the Republic of Korea. However the requirements of Chapter 6 of MIL-HDBK-516B Expanded comprise unclear sentences, because of contents from various development specifications. Also, clarification is needed in that the same requirements have to be verified in different criteria. In this paper, the results of this study present an effective verification method, for acquiring the airworthiness certification in field of flying qualities based on MIL-HDBK-516B Expanded.

LASPI: Hardware friendly LArge-scale stereo matching using Support Point Interpolation (LASPI: 지원점 보간법을 이용한 H/W 구현에 용이한 스테레오 매칭 방법)

  • Park, Sanghyun;Ghimire, Deepak;Kim, Jung-guk;Han, Youngki
    • Journal of KIISE
    • /
    • v.44 no.9
    • /
    • pp.932-945
    • /
    • 2017
  • In this paper, a new hardware and software architecture for a stereo vision processing system including rectification, disparity estimation, and visualization was developed. The developed method, named LArge scale stereo matching method using Support Point Interpolation (LASPI), shows excellence in real-time processing for obtaining dense disparity maps from high quality image regions that contain high density support points. In the real-time processing of high definition (HD) images, LASPI does not degrade the quality level of disparity maps compared to existing stereo-matching methods such as Efficient LArge-scale Stereo matching (ELAS). LASPI has been designed to meet a high frame-rate, accurate distance resolution performance, and a low resource usage even in a limited resource environment. These characteristics enable LASPI to be deployed to safety-critical applications such as an obstacle recognition system and distance detection system for autonomous vehicles. A Field Programmable Gate Array (FPGA) for the LASPI algorithm has been implemented in order to support parallel processing and 4-stage pipelining. From various experiments, it was verified that the developed FPGA system (Xilinx Virtex-7 FPGA, 148.5MHz Clock) is capable of processing 30 HD ($1280{\times}720pixels$) frames per second in real-time while it generates disparity maps that are applicable to real vehicles.

Numerical Simulation of CNTs Based Solid State Hydrogen Storage System (탄소나노튜브 기반의 고체수소저장시스템에 관한 전산해석)

  • Kim, Sang-Gon;HwangBo, Chi-Hyung;Yu, Chul Hee;Nahm, Kee-Suk;Im, Yeon-Ho
    • Korean Chemical Engineering Research
    • /
    • v.49 no.5
    • /
    • pp.644-651
    • /
    • 2011
  • Storing hydrogen in solid state hydride is one of the best promising methods for the future hydrogen economy. The total performance of such systems depends on the rate at which the amount of mass and heat migration is supplied to solid hydride. Therefore, an accurate modeling of the heat and mass transfer is of prime importance in optimizing the design of such systems. In this work, Hydrogen storage in Pt-CNTs hydrogen reactor has been intensively investigated by solving 2 dimensional mathematical models. Using a CFD computer software, systematic studies have been performed to elucidate the effect of heat and mass transfer during hydrogen charging periods. It was revealed that the optimized design of hydrogen storage vessel can prevent the increase of system temperature and the charging time due to the convective cooling effects inside the vessels at even high charging pressure. Because none has reported the critical issues of heat and mass transfer for CNT based hydrogen storage system, this work can support the first insight of the optimal design for solid state hydrogen storage system based on CNT in the near future.

Development of Collision Scenario-Based Evaluation System for the Cognitive Performance of Marine Officers (충돌시나리오 기반의 항해사 인지능력 평가시스템 개발)

  • Kim, Hong-Tae;Barentt, Mike;Yang, Won-Jae
    • Journal of Navigation and Port Research
    • /
    • v.31 no.8
    • /
    • pp.629-635
    • /
    • 2007
  • Reduced crew performance is frequently cited as a major causal factor in maritime accident causation. Although considerable research has been conducted on the hours of work undertaken by seafarers through interviews and the analysis of records, experimental studies to observe the effects of factors such as high workload, shift patterns, stress, sleep deprivation and disturbance on the cognitive performance of mariners have been limited. Other safety-critical transport industries, such as aviation and rail, have developed fatigue management tools to help manage the work patterns of their operators. Such a tool for mariners would assist shipboard crew, marine pilots and shore management in planning and improving work schedules. The overall aim of this paper is to determine a fatigue factor, which can be applied to human performance data, as part of a software program that calculates total cognitive performance. This program enables us to establish the levels of cognitive performance of a group of marine pilots to test a decision-making task based on radar information. This paper addresses one of the factors that may contribute to the determination of various fatigue factors: the effect of different work patterns on the cognitive performance of a marine pilot.