• Title/Summary/Keyword: Safety-critical System

Search Result 876, Processing Time 0.035 seconds

Development of Evaluation System for the Cognitive Performance of Marine Officers (항해사 인지능력 평가시스템)

  • Kim, Hong-Tae;Hong, Seoung-Kwon;Barnett, Mike
    • 한국HCI학회:학술대회논문집
    • /
    • 2009.02a
    • /
    • pp.650-653
    • /
    • 2009
  • Decrease in crew performance is frequently cited as a major causal factor in maritime accidents. Although considerable researches on working hours undertaken by seafarers have been conducted through interviews and record analyses, experimental studies on 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 managements in the work patterns of their operators. Such tools for mariners would assist shipboard crews, marine pilots, and shore managers for planning and improving work schedules. The overall aim of this paper is to determine a fatigue factor that can be applied to human performance data as a part of a software program that calculates total cognitive performance. This program enables us to establish the levels of cognitive performance in a group of marine pilots in order 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 effects of different work patterns on the cognitive performance of a marine pilot.

  • PDF

On-board and Ground Autonomous Operation Methods of a Low Earth Orbit Satellite for the Safety Enhancement (저궤도 위성의 안전성 향상을 위한 위성체 및 지상의 자율 운영 방안)

  • Yang, Seung-Eun
    • Journal of Satellite, Information and Communications
    • /
    • v.11 no.3
    • /
    • pp.51-57
    • /
    • 2016
  • Many kinds of telemetry should be monitored to check the state of spacecraft and it leads the time consumption. However, it is very important to define the status of satellite in short time because the contact number and time of low earth orbit satellite is limited. Also, on-board fault management should be prepared for non-contact operation because of the sever space environment. In this paper, on-board and ground autonomous operation method for the safety enhancement is described. Immediate fault detection and response is possible in ground by explicit anomaly detection through satellite event and error information. Also, satellite operation assistant system is proposed for ground autonomy that collect event sequence in accordance with related telemetry and recommend or execute an appropriate action for abnormal state. Critical parameter monitoring method with checking rate, mode and threshold is developed for on-board autonomous fault management. If the value exceeds the limit, pre-defined command sequence is executed.

Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety (차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교)

  • Kim, Dongwoo;Choi, Yunja
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.5 no.12
    • /
    • pp.615-622
    • /
    • 2016
  • Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

Prediction of coal and gas outburst risk at driving working face based on Bayes discriminant analysis model

  • Chen, Liang;Yu, Liang;Ou, Jianchun;Zhou, Yinbo;Fu, Jiangwei;Wang, Fei
    • Earthquakes and Structures
    • /
    • v.18 no.1
    • /
    • pp.73-82
    • /
    • 2020
  • With the coal mining depth increasing, both stress and gas pressure rapidly enhance, causing coal and gas outburst risk to become more complex and severe. The conventional method for prediction of coal and gas outburst adopts one prediction index and corresponding critical value to forecast and cannot reflect all the factors impacting coal and gas outburst, thus it is characteristic of false and missing forecasts and poor accuracy. For the reason, based on analyses of both the prediction indicators and the factors impacting coal and gas outburst at the test site, this work carefully selected 6 prediction indicators such as the index of gas desorption from drill cuttings Δh2, the amount of drill cuttings S, gas content W, the gas initial diffusion velocity index ΔP, the intensity of electromagnetic radiation E and its number of pulse N, constructed the Bayes discriminant analysis (BDA) index system, studied the BDA-based multi-index comprehensive model for forecast of coal and gas outburst risk, and used the established discriminant model to conduct coal and gas outburst prediction. Results showed that the BDA - based multi-index comprehensive model for prediction of coal and gas outburst has an 100% of prediction accuracy, without wrong and omitted predictions, can also accurately forecast the outburst risk even for the low indicators outburst. The prediction method set up by this study has a broad application prospect in the prediction of coal and gas outburst risk.

An Experimental Study on Sloshing Impact Pressures with Two Identically Shaped Rectangular 2-Dimensional Model Tanks with Different Sizes (동일 형상의 서로 다른 크기를 가지는 2차원 4각 탱크의 슬로싱 충격 압력에 관한 실험적 연구)

  • Hwang, Yoon-Sik;Jung, Jun-Hyung;Kim, Dae-Woong;Ryu, Min-Cheol
    • Special Issue of the Society of Naval Architects of Korea
    • /
    • 2008.09a
    • /
    • pp.16-28
    • /
    • 2008
  • Recent growth in LNG market has led dramatic increase in new buildings of LNG carriers and several large LNG carriers are now being constructed by shipbuilders in Korea. Large size LNG carriers has brought keen concerns on the issue regarding safety of cargo containment systems and sloshing impact load which is the critical source of loads on the membrane type containment systems. Up to the present, the best way to properly assess sloshing impact pressures on surrounding walls is a model testing for wide-ranged excitation conditions. These impact pressures obtained from model tests sometimes need to be interpreted to full-scale values and in the near future this necessity will be strengthened for more rigorous and direct safety assessment of LNG cargo containment system. In this paper, a basic experimental study is carried out with two different sized, 2D identically shaped model tanks excited in simple translational motions. Relationships between pressures of different sized model tanks are investigated Model tanks are filled with fresh water and equipped with same sized pressure sensors.

  • PDF

Analysis of Communication Interface Test for Interoperability Verification of Train Control System (열차제어시스템의 상호운영성 확인을 위한 통신 인터페이스 시험분석)

  • Baek, Jong-Hyen;Lee, Kang-Mi;Kim, Yong-Kyu
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.11
    • /
    • pp.4496-4502
    • /
    • 2010
  • In this paper, for the purpose of improving the future domestic train control systems and securing interoperability according to the global development trends of train control systems, we present the test results of communication interfaces to verify the interoperability between CBTC wayside units tentatively installed in Bundang line that is one of the metropolitan area rail transit systems, and the CBTC onboard units developed through the national R/D project. The CBTC onboard equipment developed, has finished its installation and trial tests in the Bundang shunting yard. For the interoperability test, we should make an interface test with wayside equipment tentatively installed in Bundang line. Due to the safety-critical characteristics of train systems, the site test in the section where the wayside equipment is installed, leads to a danger against safety. Therefore, by way of constructing a simulation environment of train control systems, we confirm the T/R data systems of the equipment for interoperability and test the interoperability by applying these systems to developed CBTC onboard equipment.

Uptake and Translocation of Ethoprophos Mixed with Soil for Cultivation of Preceding Crop into Succeeding Crop (전작물 재배를 위해 토양에 혼화처리된 Ethoprophos의 후작물 흡수이행)

  • Kwak, Se-Yeon;Lee, Sang-Hyeob;Kim, Hyo-Young;Shin, Byung-Gon;Kim, Jang-Eok
    • Korean Journal of Environmental Agriculture
    • /
    • v.40 no.2
    • /
    • pp.92-98
    • /
    • 2021
  • BACKGROUND: Unintentional residual pesticide in soil derived from preceding crops and the transfer to succeeding crops was considered a critical barrier for positive list system (PLS). Thus, an uncertain risk is predicted for ethoprophos applied at cultivation of preceding crop (Korean cabbage) to succeeding crop (spinach). METHODS AND RESULTS: Ethoprophos was treated on soil following the recommended dose and 5 times dose according to the safe use guidelines for Korean cabbage after seeding. On the 4 days after harvesting of preceding crop, spinach was sowed. The initial residual amounts of ethoprophos on soil (7.081-19.493 mg/kg) were decreased to 3.832-7.218 mg/kg until the harvest of Korean cabbage, and then finally decreased to 0.011-0.079 mg/kg after spinach cultivation. The uptake rates of ethoprophos from soil by Korean cabbage were 0.01-0.03% and distributed to root (0.150-0.903 mg/kg) and shoot (0.021-0.151 mg/kg), respectively. The residual amounts of uptake and translocation from preceding crop cultivated soil to spinach edible part were found to be below LOQ. CONCLUSION: The plant back internal (PBI) for ethoprophos is not recommended during sequential cultivation of leafy vegetables, since the residual amounts of ethoprophos in spinach were less than MRL (0.02 mg/kg).

Development of a Portable Detection System for Simultaneous Measurements of Neutrons and Gamma Rays (중성자선과 감마선 동시측정이 가능한 휴대용 계측시스템 개발에 관한 연구)

  • Kim, Hui-Gyeong;Hong, Yong-Ho;Jung, Young-Seok;Kim, Jae-Hyun;Park, Sooyeun
    • Journal of radiological science and technology
    • /
    • v.43 no.6
    • /
    • pp.481-487
    • /
    • 2020
  • Radiation measurement technology has steadily improved and its usage is expanding in various industries such as nuclear medicine, security search, satellite, nondestructive testing, environmental industries and the domain of nuclear power plants (NPPs). Especially, the simultaneous measurements of gamma rays and neutrons can be even more critical for nuclear safety management of spent nuclear fuel and monitoring of the nuclear material. A semiconductor detector comprising cadmium, zinc, and tellurium (CZT) enables to detect gamma-rays due to the significant atomic weight of the elements via immediate neutron and gamma-ray detection. Semiconductor sensors might be used for nuclear safety management by monitoring nuclear materials and spent nuclear fuel with high spatial resolution as well as providing real-time measurements. We aim to introduce a portable nuclide-analysis device that enables the simultaneous measurements of neutrons and gamma rays using a CZT sensor. The detector has a high density and wide energy band gap, and thus exhibits highly sensitive physical characteristics and characteristics are required for performing neutron and gamma-ray detection. Portable nuclide-analysis device is used on NPP-decommissioning sites or the purpose of nuclear nonproliferation, it will rapidly detect the nuclear material and provide radioactive-material information. Eventually, portable nuclide-analysis device can reduce measurement time and economic costs by providing a basis for rational decision making.

Applicability Analysis of Measurement Data Classification and Spatial Interpolation to Improve IUGIM Accuracy (지하공간통합지도의 정확도 향상을 위한 계측 데이터 분류 및 공간 보간 기법 적용성 분석)

  • Lee, Sang-Yun;Song, Ki-Il;Kang, Kyung-Nam;Kim, Wooram;An, Joon-Sang
    • Journal of the Korean Geotechnical Society
    • /
    • v.38 no.10
    • /
    • pp.17-29
    • /
    • 2022
  • Recently, the interest in integrated underground geospatial information mapping (IUGIM) to ensure the safety of underground spaces and facilities has been increasing. Because IUGIM is used in the fields of underground space development and underground safety management, the up-to-dateness and accuracy of information are critical. In this study, IUGIM and field data were classified, and the accuracy of IUGIM was improved by spatial interpolation. A spatial interpolation technique was used to process borehole data in IUGIM, and a quantitative evaluation was performed with mean absolute error and root mean square error through the cross-validation of seven interpolation results according to the technique and model. From the cross-validation results, accuracy decreased in the order of nonuniform rational B-spline, Kriging, and inverse distance weighting. In the case of Kriging, the accuracy difference according to the variogram model was insignificant, and Kriging using the spherical variogram exhibited the best accuracy.

Case Study of Electronic Fuel Injection Powertrain System FMEA Using Model-Based Fault Injection technique (모델 기반 결함 주입 기법을 이용한 Electronic Fuel Injection 전장 시스템 FMEA 사례연구)

  • Ye-ju Kim;Ye-won Na;Dong-min Lee;Ju-Young Kim;Jong-whoa Na
    • Journal of Advanced Navigation Technology
    • /
    • v.27 no.4
    • /
    • pp.436-446
    • /
    • 2023
  • In the field of safety-critical systems, analyzing the effects of various failure factors (failure modes) is essential through Failure Mode and Effects Analysis (FMEA). However, with the increasing importance of software in systems, applying FMEA analysis to the design phase has become challenging. This paper proposes the use of Automatic FMEA, which can automatically perform FMEA using model-based design techniques, and presents a case study of FMEA for automotive engines. A comparison is made between the model-based Automatic FMEA analysis tool and existing FMEA tools. The study aims to demonstrate the performance of the Automatic FMEA analysis tool and propose future research plans.