• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1385_1386
• /
• 2009

In this paper, we examined the faulted cable joint through the external form analysis, material analysis, experimental verification and it's cause diagnosis system. It was not observed the voild, sharp material from the external form analysis and material variation. From the experimental verification, the thickness decrease of an insulator decreased ac breakdown strength suddenly and the breakdown traces of the insulator that was damaged by knife displayed elliptic shape. Thus, the faulted cable is assumed to accident that become dielectric breakdown by the deterioration of insulation performance that can happen when work.

• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1209-1215
• /
• 2007

To establish the national railway safety system, the railway total safety technology development project has been promoted by Ministry of Construction and Transportation (MOCT) since August 2004. The project is mainly focused on the prevention of a critical railway accident and the reduction of accident/mortality rate. To achieve its goal effectively, the project is composed of 15 sub-projects each of which can be categorized into three different technological area. This work deals with the verification results for the outcomes of the sub-projects carried out at the 2nd year of the project. A new verification procedure is developed and applied to the project based on the system engineering. Three criterions - The suitability of the realization of a function, the suitability of a physical structure, the suitability of a design analysis report - are used for the verifications. The verification results are investigated by calculating standard deviations of scores of each results.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.2
• /
• pp.275-285
• /
• 2019

Web-assemblies are a new binary standard designed to improve the performance of Web browser JavaScript. Web-assemblies are becoming a new web standard that can run at near native speed with efficient execution, concise representation, and code written in multiple languages. However, current Web-assembly vulnerability verification is limited to the Web assembly interpreter language, and vulnerability verification of Web-assembly binary itself is insufficient. Therefore, it is necessary to verify the safety of the web assembly itself. In this paper, we analyze how to operate the web assembly and verify the safety of the current web-assembly. In addition, we examine vulnerability of existing web -assembly and analyze limitations according to existing safety verification method. Finally, we introduce web-assembly API based fuzzing method to overcome limitation of web-assembly safety verification method. This verifies the effectiveness of the proposed Fuzzing by detecting crashes that could not be detected by existing safety verification tools.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.21 no.5
• /
• pp.197-217
• /
• 2022

As automated vehicle(AV) accidents continue to occur, the importance of safety verification to ensure the safety and reliability of automated driving system(ADS) is being emphasized. In order to encure safety and reliability, it is necessary to define an operational design domain(ODD) of the ADS and verify the safety of the ADS while evaluating its ability to respond in situations outside of the ODD. To this, international associations such as SAE, BSI, NHTSA, ISO, etc. stipulate ODD standards. However, in Korea, there is no standard for the ODD, so automated vehicles's ODD expression method and safety verification and evaluation are not properly conducted. Therefore, this study analyzed overseas ODD standards and selected suitable ODD for safety verification and evaluation, and presented evaluation elements for ADS safety verification and evaluation. In particular, evaluation elements were selected by analyzing the evaluation environment of the automated driving experimental city (K-City) that supports the development of ADS technology.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1187-1192
• /
• 2007

Recently, many organizations such as, including government, railroad operational, railroad facilities managemental and research authorities have made a lot of efforts to identify and prevent hazards from leading to accidents and solve them all over the railroad industry. Railroad total safety technology development project conducted as one of national R&D projects has established business formation structure based on system engineering as an effort to define and give a solution to facing problems in the field of railroad. This paper is building procedures to verify the outcomes derived from this project. The verification process is the one for verifying the outcome produced in the final stage of the project or during the project. It makes sure that the system is satisfying the system requirements through verification of the outcomes produced after conducting the project for verification. We've made verification plan for technically reasonable verification using verification process developed through this research, and established master verification plan in the level of 15 detailed projects for interim and final outcomes produced.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.6
• /
• pp.548-554
• /
• 2012

Verification and validation of operational software of the flight control computer, which is flight safety critical, is very important to prove correctness and faultness of the software. To verify the real-time softare requirement on operational software of flight control computer, real-time software internal parameter and variable monitoring technics on hardware-in-the-loop environment, similar to on-flight environment, is required. This paper describes flight safety critical software validation and verificiation environment using standard debugging interface, NEXUS 5001.

• Journal of Advanced Navigation Technology
• /
• v.21 no.2
• /
• pp.155-162
• /
• 2017

In recent years, aviation-related safety-critical systems have been developed in Korea, but these products have not satisfied the specified requirements and thus have not been commercialized or commercialized. Due to increasing complexity of the modern aviation system, traditional verification and validation techniques are not sufficient to identify and reduce latent risks in the system. To overcome this shortcoming, a new method which is called 'Independent verification and validation (IV&V)' is suggested. However, academic researches on the effectiveness of this independent verification and validation have not been conducted domestically, and it is performed very rarely even overseas. Therefore, in this paper, we investigated the application of independent verification and validation of the safety-critical aviation systems performed by advanced aviation organizations, and analyzed various positive effects on projects. As a result of the analysis, IV&V shows that early error detection rate is increased, potential risk is mitigated early, and the complex reworking probability, which appears later in the development life cycle, is reduced, greatly preventing the development schedule and costs from increasing.