• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.4
• /
• pp.382-391
• /
• 2016

For safety-critical systems including railways, there has been a growing need for effective and systematic safety management processes. The outcomes of efforts in this area are international safety standards, such as IEC 61508, 62278, and ISO 26262. One of the principal activities in the safety process is hazard analysis. For this reason, considerable efforts have been directed toward methods of hazard analysis. On the other hand, the hazard analysis methods reported thus far appear to be unclear in terms of their relationship with the system design process. In addition, in some cases, the methods appear to rely heavily on information regarding the hardware and software components, the number of which is increasing. These aspects can become troublesome when design changes are necessary. To improve the situation, in this paper, hazard analysis was carried out using the result of functional analysis early in the concept development stage for a safety-critical system design. Because hazard analysis is carried out at the system level and the result is then used to develop the safety requirements, improvements can be expected in terms of the development time and cost when design changes are required due to changes in the requirements. As a case study, the generation of safety requirements for the development of light rail transit stations is presented.

• Journal of Advanced Navigation Technology
• /
• v.20 no.1
• /
• pp.1-7
• /
• 2016

Since 2014, MOLIT (Ministry of Land, Infrastructure, and Transport) is carrying out a KASS project to develop and construct Korean SBAS. KASS can cause damage of human & properties if it has some problem during operation. Therefore, system safety assessment for KASS development is very important. Principal point of system safety assessment is the allocation of DAL(design assurance level) based on the hazard identification and classification. In this parer, the author conducts the allocation of DAL for KASS & its sub-systems based on the international standard(SAE ARP4761), which suggests a best practice of aviation system safety assessment. The result of this paper are the first step of system safety assessment, and can be used for further system safety assessment of KASS project.

• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.2
• /
• pp.179-188
• /
• 2009

WIG crafts are a high speed vessel with features of dynamic supported craft. These crafts, which are predominantly of light weight and operate any substantially greater speeds than conventional craft such as bulk carrier, tanker, container ship, etc., could not be accommodated under traditional maritime safety instruments. It means that there is the need for risk and safety levels to be assessed on a holistic basis, recognizing that high levels of operator training, comprehensive and thoroughly implemented procedures, high levels of automation and sophisticated software can all make significant contributions to risk reduction. To response this requirement, the Interim Guideline for WIG craft(MSC/Circ.1054) were developed in the view of the configuration of WIG craft, which fall between the maritime and aviation regulatory regimes. This paper reviews a safety assessment process and methodology to be used in the design phase of a new ship. The process and methodology is based on the risk-based approach and is applied to safety assessment in concept development phase of small WIG craft in the 20-person class.

• Nuclear Engineering and Technology
• /
• v.53 no.1
• /
• pp.131-141
• /
• 2021

Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. This paper proposes two sets of structural coverage adequacy criteria for the FBD simulation, toggle coverage and modified condition/decision coverage, which can estimate the thoroughness of simulation scenarios for FBD programs, as recommended by international standards for functional safety. We developed two supporting tools to generate numerous simulation scenarios and to measure automatically the coverages of the scenarios. The results of our experiment on five FBD programs demonstrated that the measures and tools can help software engineers estimate the thoroughness and improve the simulation scenarios quantitatively.

• Proceedings of the IEEK Conference
• /
• 2005.11a
• /
• pp.1205-1208
• /
• 2005

By adding user interface to the usual router, an improved functional router is implemented in this paper. Due to the massive amount of spatial data processing, spatial information processing area has been rapidly grown up in recent years based on powerful computer hardware and software development. Spatial index structures are the core engine of geographic information system(GIS). Analyzing and processing of spatial information using GIS has a lot of applications and the number application will be increased in the future. However, study on the under ground is in its infancy due to invisible characteristic of this information. This paper proposes the sub-surface fault detection system using the sub-surface layer information gathered from elastic wave. Detection of sub-surface fault provides very important information to the safety of above and sub-surface man made structures. Development of sub-surface fault detection system will serve as a pre-processing system assisting the interpretation of the geologist.

• Journal of Venture Innovation
• /
• v.7 no.2
• /
• pp.143-152
• /
• 2024

Recently, as a lot of software with AI functions has been developed, the number of software products with various prediction functions is increasing, and as a result, the importance of software quality has increased. In particular, as consideration for functional safety of products with AI functions increases, software quality management is being conducted at a national level. In particular, the GS Quality Certification System is a quality certification system for software products that is being implemented at the national level, and the GS Certification System is also researching quality evaluation methods for AI products. In this study, we attempt to present an evaluation model that satisfies the basic conditions of software quality based on international standards among the various quality evaluation models presented to verify software reliability. Considering the software quality characteristics of the artificial intelligence sector, we study quality evaluation models, diagnose quality, and predict failures. .In this study, we propose an international standard model for artificial intelligence based on the software reliability growth model, present an evaluation model, and present a method for quality diagnosis through the model. In this respect, this study is considered to be important in that it can predict failures in advance and find failures in advance to prevent risks by predicting the failure time that will occur in software in the future. In particular, it is believed that predicting failures will be important in various safety-related software.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.13 no.3
• /
• pp.24-34
• /
• 2005

The automobile seat must satisfy various safety regulations for the passenger's safety. In many design practices, each component is independently designed by concentrating on a single related regulation. However, since multiple regulations can be involved in a seat component, there may be design confliction among the various safety regulations. Therefore, a new design methodology is required to effectively design an automobile seat. The axiomatic approach is employed for considering multiple regulations. The Independence Axiom is used to define the overall flow of the seat design. Functional requirements (FRs) are defined by safety regulations and components of the seat are classified into groups which yield design Parameters (DPs). The classification is carried out to have independence in the FR-DP relationship. Components in a DP group are determined by using orthogonal away of the design of experiments (DOE). Numerical analyses are utilized to evaluate the safety levels by using a commercial software system for nonlinear transient finite element analysis.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.10
• /
• pp.871-877
• /
• 2021

Aircraft defects are important matters directly related to the operation of the aircraft and the life of the pilot. The defects in the mission software that occur during aircraft control seriously affect the pilot's mission performance and safety. Therefore, the organization in charge of aircraft development or software defects are reinforced in the process to identify and eliminate defects in the early stages of development, and a lot of labor and time are spent, but due to the nature of the mission software, strong functional coupling with other avionics and high complexity, so there are restrictions on the identification and removal of software defects through the existing test method. This study analyzes the effect of securing mission software integrity and reducing test cost through data integrity verification by developing a tool that automates the verification of expected value of feedback data among communication data of mission computer interlocking equipment.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.10
• /
• pp.661-668
• /
• 2013

A safety critical system is a system that leads to injury of people, damage of property and environment due to functional failures or occurrence of undesired condition. Therefore, to ensure the safety of a system, system engineers should consider the inherent hazards of the system at design phase of the system development, and also should design the prevention actions to minimize damage when an accident occurred. The objective of these actions is preventing the serious damage from accidents that can occur due to unforeseen circumstance. Recently, many studies have been performed to identify and analyze their hazards at design phase of safety critical systems. This paper suggests a safety analysis technique for analyzing the collision among those prevention actions to reduce accident and its effect by the collision of these actions that did not mentioned in previous studies. Through the proposed technique, it would improve robustness of safety and would help the design of prevention actions into system for the occurrence of accidents.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.