• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.3
• /
• pp.169-177
• /
• 2021

Recently, the use of electric and electronic control systems is increasing in the automobile industry. This increase in the electric and electronic control system greatly increases the complexity of designing a vehicle, which leads to an increase in the malfunction of the system, and a safety problem due to the malfunction is becoming an issue. Based on IEC 61508 relating to the functional safety of electrical/electronic/programmable electronics, the ISO 26262 standard specific to the automotive sector was first established in 2011, and a revision was published in 2018. Malfunctions due to system failure are covered by ISO 26262, but ISO/PAS 21448 is proposed to deal with unintended malfunctions caused by changes in the surrounding environment. ISO 26262 sets out safety-related requirements for the entire life cycle. Functional safety analysis includes FTA (Fault Tree Analysis), FMEA (Failure Mode and Effect Analysis), and HAZOP (Hazard and Operability). These analysis have limitations in dealing with failures or errors caused by complex interrelationships because it is assumed that a failure or error affecting the risk occurs by a specific component. In order to overcome this limitation, it is necessary to apply the STPA (System Theoretic Process Analysis) technique.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1523-1529
• /
• 2011

Light Rail Transit is system that offer target Performance and function because various sub-system such as vehicles, power supply, signaling, communication, mechanical, track, civil is consisted as large complex system. Light Rail Transit and the complex system of safety, reliability to be a behavior, and target performance and function properly to system's configuration, design, manufacture, installation and test verification, through operations system requirements to accurately describe what It is more important. With this study, light rail system KSX ISO/IEC 15288 system life cycle process by applying engineering techniques utilizing light rail system in the early stages of construction from the concept, design, production, operation, maintenance and end-use to the disposal stage throughout the entire life cycle, from the beginning of construction until the end of construction of the stakeholder to define requirements, analyze the introduction of the system developers and system requirement of those who wish to be described accurately by selecting the best system and system requirement in order to achieve their purpose.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.385-386
• /
• 2006

A brake disk in railway vehicle is safety part. Requirements not only in performance but also in comfort, serviceability and working lifetime are high and rising. In this study, we carried out fatigue test and thermal stress analysis. To determine a pressure distribution, contact pressure analysis precede thermal stress analysis. Especially, characteristics of the brake disk were analyzed in considering intial velocity, and thickness of a frictional plate. Form the comparing the results of experiment and FEM analysis, fatigue characteristic and fatigue life assessment ok a brake disk of railway vehicle were performed.

• Journal of Internet Computing and Services
• /
• v.20 no.3
• /
• pp.1-11
• /
• 2019

Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.1
• /
• pp.417-421
• /
• 2006

ICAO defines performance requirements of navigation system such as accuracy, integrity, continuity and availability. The integrity is most significant performance requirement in aviation where safety of life is crucial. Many researches on this topic anticipate that GPS with SBAS or Galileo can meet APV requirements and GPS with GBAS or Galileo with GBAS will meet CAT II and III requirements. These performance expectations are based on global analysis. In this paper regional integrity analysis in Korea using various combinations of modernized GPS, Galileo and SBAS is given. The simulation results show that CAT I requirement can be met using modernized GPS and Galileo alone, however, CAT II and III are not met even augmenting SBAS because of VPL. A more efficient augmentation such as GBAS which can reduce VPL dramatically is required to meet CAT II and III in Korean region.

• Food Science and Industry
• /
• v.49 no.2
• /
• pp.83-97
• /
• 2016

This review was performed to outline the food ethics to the professionals in the field of food science and industries. Food ethics is the ethics or ethical consideration concerning food; while, the keywords of food ethics are a life, happiness and the wisdom. The ultimate goal as well as the first principle of food ethics is a sustainable living of human race. In order to reach the goal a coexistence of humans and nature, coexistence of humans and humans, and the fulfillment of essential requirements of a food are needed. The needs yield six categorical imperatives such as a respect for life, preservation of nature, distributive justice without deception or fakes, prior consideration of consumer, moderation and balance neither overs nor shorts, and the assurance of safety. The core principles corresponding to the categorical imperatives include a respect for life, environmental preservation, justice, priority of consumer, dynamic equilibrium, and the priority of safety. The core principles approach is a simple, clear, and practical method in solving ethical issues. The code of food ethics is also based on the core principles.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.209-210
• /
• 2008

In the case of unauthorized individuals, systems and entities or process threatening the instrumentation and control systems of nuclear facilities using the intrinsic vulnerabilities of digital based technologies, those systems may lose their own required functions. The loss of required functions of the critical systems of nuclear facilities may seriously affect the safety of nuclear facilities. Consequently, digital instrumentation and control systems, which perform functions important to safety, should be designed and operated to respond to cyber threats capitalizing on the vulnerabilities of digital based technologies. To make it possible, the developers and licensees of nuclear facilities should perform appropriate cyber security program throughout the whole life cycle of digital instrumentation and control systems. Under the goal of securing the safety of nuclear facilities, this paper presents the KINS' regulatory position on cyber security program to remove the cyber threats that exploit the vulnerabilities of digital instrumentation and control systems and to mitigate the effect of such threats. Presented regulatory position includes establishing the cyber security policy and plan, analyzing and classifying the cyber threats and cyber security assessment of digital instrumentation and control systems.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.638-645
• /
• 2007

Computers are increasingly being introduced into safety and reliability critical systems. The safe and reliable operation of these systems cannot be taken for granted. Malfunctions of these systems can have potentially catastrophic consequences and they have already been involved in serious accidents. Software fault prevention, fault tolerance, fault removal and fault forecasting are the techniques to be used, implemented and verified for embedded software in critical systems as the contributors to safety and reliability of the software. To use them when developing a software product, a relationship must be established between them and the development processes, the methods and techniques to be used to develop software, as well as with the different product architectures. Railroad signaling system software is a safety-critical embedded software with realtime and high reliability requirements. The primary purpose of the safety management is to prevent the loss of lives or physical damages arising from potential hazards in the railroad signaling system. This study provides a systematic approach to analysis of potential hazards for their management during the system life cycle to assure the identification and definition of the most appropriate hazards.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.5
• /
• pp.127-133
• /
• 2002

The general requirements to achieve the structural integrity of the airframe are described in the military specification, MIL-STD-1530A. One of these requirements is the durability and damage tolerance of the airframe, which should be shown through the analysis and test based on the related specifications. This paper introduces the full scale durability test to evaluate the structural safety and durability of the basic trainer, KT-1. The test was performed according to the procedure in the military specification. The flight by flight load spectrum was developed by KT-1 fatigue load criteria and used for the durability test. The durability test had been performed for 4 service lives and was completed successfully. Therefore, it was shown that KT-1 airframe satisfied the durability requirements.