• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.4
• /
• pp.737-743
• /
• 2008

I compare my parameter estimation methodoloay with existing method, considering both of testing effort and fault detecting rate simultaneously in software reliability modeling. Generally speaking, fault detection/removal mechanism depends on how apply previous fault detection/removal and testing effort of S/W. The fault removal efficiency makes large influence to the reliability growth, testing and removal cost in developing stage S/W. This is very useful measure during all the developing stages and much helpful for the developer to estimate debugging efficiency, and furthermore, to anticipate additional working amount.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.15 no.6
• /
• pp.9-16
• /
• 2007

This paper describes the design and implementation of the fault diagnosis on the Electronic Throttle Control(ETC) System. The proposed fault diagnosis consists of an input signal, actuator and a processor diagnosis. The input signal diagnosis can detect the faults of the ETC system's input signals such as the position sensor fault, source voltage fault, load current fault, and desired position fault. The actuator diagnosis is able to detect the actuator fault due to the actuator aging and an obstacle which interfere in the movement of the actuator. The processor diagnosis detects the fault which prevents the microprocessor from operating the ETC software. In order to protect the breakdown of the ETC system and assure the driving safety, appropriate reactions are also proposed according to the detected faults. The safety and reliability of the ETC system can be improved by the proposed fault diagnosis.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.6
• /
• pp.601-607
• /
• 2010

For commercial success of emerging service robots, the fault tolerant technology for system reliability and human safety is crucial. Traditionally fault tolerance methods have been implemented in application level. However, from our studies on the common design patterns in fault tolerance, we argue that a framework-based approach provides many benefits in providing reliability for system development. To demonstrate the benefits, we build a framework-based fault tolerant engine for OPRoS (Open Platform for Robotic Services) standards. The fault manager in framework provides a set of fault tolerant measures of detection, isolation, and recovery. The system integrators choose the appropriate fault handling tools by declaring XML configuration descriptors, considering the constraints of components and operating environment. By building a fault tolerant navigation application from the non-faulttolerant components, we demonstrate the usability and benefits of the proposed framework-based approach.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.553-560
• /
• 2003

Can presume number of software failure or remaining fault that is expected with test data that is collected by decided time using SRGM that is studied until present. Therefore, can forecast software reliability achievement degree and software reliability use step. But, reliability evaluation according to if choose any model can change. Therefore, we present SRGM that consider test cost to error detection and error delete cost as SRGM that consider error delete cost in this research. Using this SRGM, can presume number of remaining fault in software, reliability and optimal release time.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.5
• /
• pp.11-16
• /
• 1998

We analyze the software reliability growth models for the specified period from the viewpoint of theory of differential equations. we defien a genralized form of reliability growth models as follws: dN(t)/dt = b(t)f(N(t)), Where N(t) is the number of remaining faults and b(t) is the failure rate per software fault at time t. We show that the well-known three software reliability growth models - Goel - Okumoto, s-shaped, and Musa-Okumoto model- are special cases of the generalized form. We, also, extend the generalized form into an extended form being dN(t)/dt = b(t, .gamma.)f(N(t)), The genneralized form can be obtained if the distribution of failures is given. The extended form can be used to describe a software reliabilit growth model having weibull density function as a fault exposure rate. As an application of the generalized form, we classify three mentioned models according to the forms of b(t) and f(N(t)). Also, we present a case study applying the generalized form.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.3
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.

• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.405-414
• /
• 2012

In this paper, we propose a reliability estimation method for DI&C systems. At the system level, a fault tree model is suggested and Boolean algebra is used to obtain the minimal cut sets. At the component level, an exponential distribution is used to model hardware failures, and Bayesian estimation is suggested to estimate the failure rate. Additionally, a binomial distribution is used to model software failures, and a recently developed software reliability estimation method is suggested to estimate the software failure rate. The overall system reliability is then estimated based on minimal cut sets, hardware failure rates and software failure rates.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.6
• /
• pp.101-109
• /
• 2012

To develop high quality software, quality control plan is required about fault correction that is latent within software. We should describe fault correction profile properly for this. The tank and pipe model performs complex processes to calculate fault that is remove and escapes. Also, we have to know in which phase the faults were inserted, removed and escaped and know the fault detection rate at any phases. To simplify such complex process, this paper presented model to fault filtering concept. Presented model has advantage that can describe fault more shortly because need not to consider whether was involved in fault that escaped fault is inserted at any step at free step. Also, presented effort estimating model that do fetters in function of fault removal quality and productivity measure and is required in fault detection.

• Journal of Korea Multimedia Society
• /
• v.18 no.11
• /
• pp.1342-1350
• /
• 2015

Due to rapid development of mobile device technologies, the mobile banking through Internet has become a major service of banking information systems as a security-critical information systems. Recently, lots of mobile banking information systems which handle personal and transaction information have been exposed to security threats in vulnerable security control and management processes, mainly software systems. Therefore, in this paper, we propose a process model for software security improvements in mobile banking information system by application of fault tree analysis(FTA) and failure modes and effects analysis(FMEA) on the most important activities such as 'user authentication' and 'access control' and 'virus detection and control' processes which security control and management of mobile banking information systems are very weak.

• Journal of Software Engineering Society
• /
• v.14 no.1
• /
• pp.4-18
• /
• 2001

폴트 트리 분석(Fault Tree Analysis)은 시스템의 안전성을 분석하는데 유용한 방법으로 쓰이고 있으나, 보통 수작업으로 이루어지며, 체계적인 구성 방법 없는 실정이어서 부정확할 수 있는 약점을 가진다. 이러한 약점을 보완하기 위해, 본 논문에서는 모델 체팅(Model Checking) 방법을 이용하여 폴트 트리를 좀 더 정확하게 보정하는 방법을 제안한다. 폴트 트리를 정확히 고치기 위해서, 먼저 폴트 트리의 노드에 대해서 공식을 만들고, 이 공식을 실시간 모델 체커 UPPAAL을 이용해 검증한다. 그리고 나서, 검증 결과를 분석하며, 이를 통해 얻어진 정보를 이용해 폴트 트리에 반영하게 된다.