• The Journal of the Korea Contents Association
• /
• v.11 no.10
• /
• pp.49-58
• /
• 2011

Fault Tree Analysis(FTA) builds fault trees to perform safety analysis of systems. However, building fault trees depends on domain knowledge and expertize on target systems and consumes lots of time and efforts. In this paper, we propose a technique that builds fault trees systematically based on state-transition models which are software design artifacts. For the end, this paper identifies conditions that should be satisfied to guarantee safety of state-transition models and develop templates for fault tree construction. This paper also describes the results of appling the proposed method to railway crossing control system.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2022.10a
• /
• pp.227-228
• /
• 2022

전통적인 HRA(Human Reliability Analysis)방법은 특정 애플리케이션 또는 산업을 염두에 두고 있으며. 또한 이러한 방법은 종종 복잡하며, 시간이 많이 걸리고 적용하는 데 비용이 많이 들며 직접 비교하기에는 적합하지 않다. 제안된 HFHM(Human Factors Hazard Model: 인적 요인 위험 모델)은 기검증되고 시간 테스트를 거친 FTA(Fault Tree Analysis:결함 트리 분석)및 ETA(Event Tree Analysis:이벤트 트리 분석)의 확률 분석 도구 및 새로 개발된 HEP(Human Error Probability:인적 오류 확률)예측 도구와 통합되고, 인간과 관련된 PSF(Performance Shaping Factors:성능 형성 요인)를 중심으로 새로운 접근 방식으로 개발되었다. 인간-시스템은 상호작용으로 인한 재난사고 가능성을 모델링하는 위험분석 접근법 HFHM은 다음과 같은 상용 소프트웨어 도구 내에서 예시되고 자동화된다. HFHM에서 생성된 데이터는 SE 분석가 및 설계에 대한 표준화된 가이드로 사용될 수 있다. 본 연구에서는 인적 위험을 예측하는 이 새로운 접근 방식을 통해, 전체 시스템에 대한 포괄적인 재난안전 분석을 가능하게 한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.1
• /
• pp.7-18
• /
• 2013

These days, the teaching and learning system has been increasing for the rapid advancement of the information technologies. We can access education systems of good quality anytime, anywhere and we can use the individually personalized teaching and learning system depending on developing the wireless communication technology and the multimedia processing technology. The more the various systems develop, the more software security systems become important. There are a lot kind of fault analysis methods to evaluate software security systems. However, the only assessment method to evaluate software security system is not enough to analysis properly on account of the various types and characteristic of software systems by progressing information technology. Therefore, this paper proposes an integrative method of Fault Tree Analysis (FTA) and Fault Modes and Effect Analysis(FMEA) to evaluate the security of e-teaching and learning system as an illustration.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

• Journal of Korea Multimedia Society
• /
• v.16 no.1
• /
• pp.87-99
• /
• 2013

The demands of IC card payment system has been increased according to the rapid advancement of the IT convergence application technologies. Recently IC card payment systems are in demands of the usage space at anytime and anywhere by developing the wireless communication technology and its related multimedia processing technology. Therefore the security of IC card payment system becomes more important and necessary. There are many fault analysis methods to evaluate the security and safety of information systems according to their characteristics and usages. However, the only assessment method to evaluate the security of information systems is not enough to analyse properly on account of the various types and characteristics of information systems by the progress of IT convergence and their applications. Therefore, this paper proposes an integrative method of the Fault Tree Analysis (FTA) and Fault Modes and Effect Analysis/Criticality (FMEA/C) based on criticality to evaluate and improve the security of IC card payment system as an illustration.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2006.06a
• /
• pp.497-498
• /
• 2006

본 논문에서는 전력기기의 고체 절연물내에서 발생하는 전기트리의 진전양상 및 그에 대한 PD 분포 특성을 Hn(q), $Hn(\Psi)$, $Hq_{avg}{\Psi})$, $Hq_{max}(\Psi)$로 표현하였다. 또한 통계적 분포의 변화정도를 나타내어 정량적으로 확인을 하고자 하였다. 논문에서 사용한 트리 결함은 침-평판 트리, 보이드트리, 고체절연물내 이물트리 등 세 가지 경우이며, 각각의 트리 진전에 대한 특성은 서로 다른 특성을 보이는 것으로 나타났다.

• Journal of Korea Multimedia Society
• /
• v.15 no.1
• /
• pp.115-130
• /
• 2012

These days, most of safety-critical systems, which are systems those failures or malfunction may result in death or serious injury to people, or loss or severe damage to social systems, or environmental harm, are being built of embedded software or loaded controlling software systems on computers, electrical and electronic components or devices. There are a lot kind of fault analysis methods to evaluate safety of the safety-critical systems equipped computers, electrical and electronic components or devices with software. However, the only assessment method to evaluate software safety of a safety-critical system is not enough to analysis properly on account of the various types and characteristic of software systems by progress of information technology. Therefore, this paper proposes the integrated evaluation method and carries out a case study for the software safety of safety-critical system which embedded or loaded software sizes are small and control response times are not sensitive by use of two security analysis methods which are Fault Tree Analysis (FTA) and Fault Modes and Effect Analysis (FMEA) for ubiquitous healthcare system.

• Journal of Korean Society of Water and Wastewater
• /
• v.28 no.6
• /
• pp.699-711
• /
• 2014

This study was carried out to analyze water suspension in the water supply system through fault tree analysis. And quantitative factors was evaluated to minimize water suspension. Consequently the aim of this study is to build optimal planning by analyzing scenarios for water suspension. Accordingly the fault tree model makes it possible to estimate risks for water suspension, current risks is $92.23m^3/day$. The result of scenario analysis by pipe replacement, risks for water suspension was reduced $7.02m^3/day$ when replacing WD4 pipe. As a result of scenario analysis by water district connections, the amount of risk reduction is maximized when it is connecting to network pipe of D Zone. Therefore, connecting to network pipe for D Zone would be optimal to reduce risk for water suspension.

• Journal of The Korean Association of Information Education
• /
• v.13 no.1
• /
• pp.96-104
• /
• 2009

We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.12
• /
• pp.541-552
• /
• 2013

Recently software security of the smart phone is an important issue in the field of information science and technology due to fast propagation of smart technology in our life. The smart phone as the security critical systems which are utilizing in terminal systems of the banking, ubiquitous home management, airline passengers screening, and so on are related to the risk of costs, risk of loss, risk of availability, and risk by usage. For the security issues, software hazard analysis of smart phone is the key approaching method by use of observed failures. In this paper, we propose an efficient integrative framework for software security analysis of the smart phone using Fault Tree Analysis (FTA) and Failure Mode Effect Analysis (FMEA) to gain a convergence security and reliability analysis technique on hand handle devices. And we discuss about that if a failure mode effect analysis performs simpler, not only for improving security but also reducing failure effects on this smart device, the proposed integrative framework is a key solution.