• Title/Summary/Keyword: SIL verification

Search Result 70, Processing Time 0.028 seconds

Design of Automatic Model Verification for System Integration Laboratory (통합시험환경 모델 검증 자동화 설계)

  • Yang, Seung-Gu;Cho, Yeon-Je;Jo, Kyoung-Yong;Ryu, Chang-Myung
    • Journal of Advanced Navigation Technology
    • /
    • v.23 no.5
    • /
    • pp.361-366
    • /
    • 2019
  • In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.

A Study on the Verification Method for Railway System SIL (철도시스템 안전무결성레벨(SIL)의 검증방안에 대한 연구)

  • Park, Young-Soo
    • Proceedings of the KSR Conference
    • /
    • 2007.05a
    • /
    • pp.936-940
    • /
    • 2007
  • This paper is about the study on the verification method for railway system SIL which is frequency of hazard, composing Risk, one of the measurement standards for railway system safety. Frequency of hazard can be identified by using FMECA, or HAZOP, and the assessment of identified dangerous failure rate should be done by systematic methods such as FTA. Therefore, this paper provides the hazard identification level for SIL verification and the requirements necessary to verify the integrity of analysis activity.

  • PDF

A Study on the SIL Allocation and Demonstration for Train Control System (열차제어시스템 SIL할당 및 입증에 관한 연구)

  • Shin, Duc-Ko;Baek, Jong-Hyen;Lee, Kang-Mi;Lee, Jae-Ho
    • Proceedings of the KSR Conference
    • /
    • 2009.05a
    • /
    • pp.855-859
    • /
    • 2009
  • In this paper, we introduce the estimation method by Risk or SIL(Safety Integrity Level) for the criterion of safety assurance and summarize each application method and target. IEC 62278(EN 50126) which is international standard for the specification and verification of the railway system RAMS indicate a criterion of safety assurance. Especially, it recommend the safety verification by continuous verification as the order of requirement establishment, design, manufacture, installation, operation, and maintenance for the equipment not easy to quantify the operation environment. In this paper, we study the SIL requirement allocation method relating to internal new system development and existing system improvement by analysing SIL recommendations which were used to understand SIL for a train control equipment in 1990s in IRSE and theoretically their allocation background. This paper help the safety management of Korea train control system to develope the quantitative management procedure as international level by analyzing the SIL requirement allocation by operation agency and the right SIL verification procedure by manufacture and indicating the example to assure safety because it is necessary for improvement and localization for the Korea train control system having highly dependence on aboard technology.

  • PDF

Development of System Integration Laboratory for the Verification of UAV Avionics System Requirements (무인기 항공전자시스템 요구도 검증을 위한 통합시험환경 개발)

  • Jo, Young-Wo;Kim, Bong-Gyu;Park, Jae-Sung;Lee, Jae-Uk
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.40 no.5
    • /
    • pp.446-453
    • /
    • 2012
  • As part of the integration phases in developing a UAV, a System Integration Laboratory (SIL) has been developed to provide integrated test capability for the verification of avionics system requirements. The SIL has realized primary functions that are common in manned aircraft SIL's, and specialized laying stress on test data visualization and test automation under the closed-loop structure of the ground control simulation, aircraft simulation and flight simulation components. Those design results have led to easy and sure verification of lots of complex requirements of the UAV avionics system. The functions and performances of the SIL have been proved in four gradational test steps and checked to operate successfully in aircraft System Integration Test Environment for the integration of UAV ground station and aircraft.

A Study on Test Environment and Process for Interface Verification of Unmanned Aerial Systems (무인항공기 체계 연동검증을 위한 시험환경 및 검증절차에 관한 연구)

  • Cho, Sunme
    • Journal of Aerospace System Engineering
    • /
    • v.13 no.3
    • /
    • pp.40-47
    • /
    • 2019
  • This paper proposes the environment construction and test method of system integration laboratory (SIL) and system integration test (SIT) for verification of interface between onboard equipment and ground control equipment of unmanned aerial systems (UAS). This research also describes the interface environment between subsystems built in SIL and verification methods for the systems' operation logic through simulated flights. Similarly, the paper handles the ground integration test process of UAS in the real testing environments.

Development of Unmanned Aerial Vehicle System Integration Laboratory(UAV SIL) for the Integrated Verification (무인항공기 체계의 통합검증을 위한 무인항공기 체계통합실험실(UAV SIL) 개발)

  • Jae Ick Shim;Hee Chae Woo;Sang Jin Kim;Sang Jun Jung
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.27 no.1
    • /
    • pp.70-79
    • /
    • 2024
  • This paper describes the results of the development of the the unmanned aerial vehicle system integration laboratory(UAV SIL) for the integrated verification. This UAV SIL is designed to test the robustness of the UAV system including the operational logics and the flight control system behaviors under many abnormal and emergency conditions such as data-link losses, airborne subsystem failures, engine shut down conditions, and ground control station faults. This paper presents how to build the UAV SIL and how to verify the in-development UAV system through the UAV SIL.

Development of Real Time Simulation Environment Based on DEVS Formalism Applicable to Avionics System Integration Laboratory (항공용 SIL에 적용 가능한 DEVS 형식론 기반의 시뮬레이션 환경 개발)

  • Seo, Min-gi;Shin, Ju-chul;Baek, Gyong-hoon;Kim, Seong-woo
    • Journal of Advanced Navigation Technology
    • /
    • v.23 no.5
    • /
    • pp.345-351
    • /
    • 2019
  • Avionics System Integration Laboratory is an integrated test environment for the integration and the verification of avionics systems. Recently, in order to fully consider the requirements verification of avionics system from the aspect of the entire system integration, the participation in the development of the SIL field is advanced from the requirement analysis of the aircraft. Efforts are being made to minimize the cost and the period of development of a SIL so that it does not affect the overall schedule of the aircraft development. We propose the avionics simulation model framework (ASMF) based on the modeling formalism applicable to SIL in order to reduce development period/cost and increase maintenance by standardizing the modeling methods of SIL.

A Study on the Improvement of Reliability of Safety Instrumented Function of Hydrodesulfurization Reactor Heater (수소화 탈황 반응기 히터의 안전계장기능 신뢰도 향상에 관한 연구)

  • Kwak, Heung Sik;Park, Dal Jae
    • Journal of the Korean Society of Safety
    • /
    • v.32 no.4
    • /
    • pp.7-15
    • /
    • 2017
  • International standards such as IEC-61508 and IEC-61511 require Safety Integrity Levels (SILs) for Safety Instrumented Functions (SIFs) in process industries. SIL verification is one of the methods for process safety description. Results of the SIL verification in some cases indicated that several Safety Instrumented Functions (SIFs) do not satisfy the required SIL. This results in some problems in terms of cost and risks to the industries. This study has been performed to improve the reliability of a safety instrumented function (SIF) installed in hydrodesulfurization reactor heater using Partial Stroke Testing (PST). Emergency shutdown system was chosen as an SIF in this study. SIL verification has been performed for cases chosen through the layer of protection analysis method. The probability of failure on demands (PFDs) for SIFs in fault tree analysis was $4.82{\times}10^{-3}$. As a result, the SIFs were unsuitable for the needed RRF, although they were capable of satisfying their target SIL 2. So, different PST intervals from 1 to 4 years were applied to the SIFs. It was found that the PFD of SIFs was $2.13{\times}10^{-3}$ and the RRF was 469 at the PST interval of one year, and this satisfies the RRF requirements in this case. It was also found that shorter interval of PST caused higher reliability of the SIF.

Towards the Application of Safety Integrity Level for Improving Process Safety (공정안전향상을 위한 Safety Integrity Level의 적용 방향)

  • Kwon, Hyuck-Myun;Park, Hee-Chul;Chun, Young-Woo;Park, Jin-Hyung
    • Journal of the Korean Society of Safety
    • /
    • v.27 no.5
    • /
    • pp.64-69
    • /
    • 2012
  • The concept of SIL is applied in the most of all standards relating to functional system safety. However there are problems for the people to apply SIL to their plants. as these standards don't include sufficient informations. In this regards, this paper will suggest the direction of SIL application and concept based on IEC 61508 and IEC 61511. A Safety Integrity Level(SIL) is the discrete level(one out of possible fours), corresponding to a range of the probability of an E/E/PE (Electric/Electrical/Programmable Electrical) safety-related system satisfactorily performing the specific safety functions under all the stated conditions within a stated period of time. SIL can be divided into the target SIL(or required SIL) and the result SIL. The target SIL is determined by the risk analysis at the analysis phase of safety lifecycle and the result SIL is calculated during SIL verification at the realization phase of safety lifecycle. The target SIL is determined by the risk analysis like LOPA(Layer Of Protection Analysis), Risk Graph, Risk Matrix and the result SIL is calculated by HFT(Hardware Fault Tolerance), SFF(Safe Failure Fraction) and PFDavg(average Probability of dangerous Failure on Demand). SIL is applied to various areas such as process safety, machinery(road vehicles, railway application, rotating equipment, etc), nuclear sector which functional safety is applied. The functional safety is the part of the overall safety relating to the EUC and the EUC control system that depends on the correct functioning of the E/E/PE safety-related systems and other risk reduction measures. SIL is applied only to the functional safety of SIS(Safety Instrumented System) in safety. EUC is the abbreviation of Equipment Under Control and is the equipment, machinery, apparatus or plant used for manufacturing, process, transportation, medical or other activities.

Conceptual Variation of TalYeong-SilJeong in the Medical History (역대(歷代) 의서(醫書)에서 탈영실정(脫營失精)의 의미(意味) 변화(變化))

  • Hong, Sae-Young;Lee, Jae-Hyok
    • Journal of Oriental Neuropsychiatry
    • /
    • v.25 no.2
    • /
    • pp.203-212
    • /
    • 2014
  • Objectives: The aim of this study is to bring new light on TalYeong-SilJeong (exhaustion of Yeonggi and loss of Essence) through the verification of both the original intention of Hwangjenaegyeong and the conceptual variation afterwards. Methods: Of various East Asian medical texts, those inferring to TalYeong-SilJeong includeing Hwangjenaegyeong itself were closely examined under the aspect of its conception. Results: TalYeong-SilJeong was suggested as the first representative tool and accurate diagnostic method of questioning in order to determine the mental state of a patient. However, medical scholars have suggested different levels of meaning. Some used the term for the broad coverage of mental illnesses, understanding Hwangjenaegyeong's discrimination as symbolic gesture, while others projected an unchallenged value on it and weaved it into the concrete set of a disease. Conclusions: The treatment of TalYeong-SilJeong is suggested according to the varying viewpoints of each medical text. By understanding multiple layers of the conception beyond, a clinician is expected to gain an exuberant image of conception on the one hand and an insight for more effective treatment on the other hand.