• Nuclear Engineering and Technology
• /
• v.44 no.6
• /
• pp.663-672
• /
• 2012

As software based digital I&C (Instrumentation and Control) systems are used more prevalently in nuclear plants, enhancement of software dependability has become an important issue in the area of nuclear I&C systems. Critical attributes of software dependability are safety and reliability. These attributes are tightly related to software failures caused by faults. Software testing and V&V (Verification and Validation) activities are hence important for enhancing software dependability. If the risky modules of safety-critical software can be predicted, it will be possible to focus on testing and V&V activities more efficiently and effectively. It should also make it possible to better allocate resources for regulation activities. We propose a prediction technique to estimate risky software modules by adopting machine learning models based on software complexity metrics. An empirical study with various machine learning algorithms was executed for comparing the prediction performance. Experimental results show SVMs (Support Vector Machines) perform as well or better than the other methods.

• Nuclear Engineering and Technology
• /
• v.29 no.6
• /
• pp.433-443
• /
• 1997

In this work, an analytic approach to the dependability of software in the operational phase is suggested with special attention to the hardware fault effects on the software behavior : The hardware faults considered are memory faults and the dependability measure in question is the reliability. The model is based on the simple reliability theory and the graph theory which represents the software with graph composed of nodes and arcs. Through proper transformation, the graph can be reduced to a simple two-node graph and the software reliability is derived from this graph. Using this model, we predict the reliability of an application software in the digital system (ILS) in the nuclear power plant and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in the normal operation phase. We also found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase, especially for the software which is executed frequently. This modeling method is particularly attractive for the medium size programs such as the microprocessor-based nuclear safety logic program.

• Proceedings of the Safety Management and Science Conference
• /
• 2006.11a
• /
• pp.207-221
• /
• 2006

Corporations are faced with the key strategic task of adopting a comprehensive management system of a new paradigm in order to enhance their products' quality, safety, and reliability, as well as to minimize the cost of quality. The purpose of this paper is to present a methodology that can be used by corporations to ensure a product's reliability, safety, and maintainability, with minimal costs, by measuring dependability levels and conducting DEA analysis. The methodology will be a way for corporations to adopt an optimal dependability management system based on a quality management system of ISO 9001:2000 standards.

• Proceedings of the Korean Reliability Society Conference
• /
• 2001.06a
• /
• pp.267-268
• /
• 2001

We consider some guidance on specifying required dependability characteristics in product and equipment specifications, together with specifications of procedures and criteria for verification.

• Proceedings of the Safety Management and Science Conference
• /
• 2001.05a
• /
• pp.217-225
• /
• 2001

We consider some alternative management models(IEC300, NASA AHB 5300.1, IEC1508) based on dependability, especially reliability and safety, including resources on world- wide leading standard- bodies and informations.

• Proceedings of the Safety Management and Science Conference
• /
• 2007.04a
• /
• pp.457-465
• /
• 2007

This paper introduces determination rules for specifications of quality characteristics and dependability requirements. This study also presents guidelines for various inclusions in standards such as environmental aspects, safety aspects, third-party certification systems, medical devices, and the needs of older persons and persons with disabilities.

• Proceedings of the Korean Reliability Society Conference
• /
• 2006.05a
• /
• pp.192-198
• /
• 2006

IEC의 신뢰성에 관한 국제표준어(IEV-191) 'dependability'의 대응 한국용어에 대한 고찰을 하였다. 현 KS에서는 '신인성'으로 정의하였는데, 현재 각 국가의 표현을 살펴보고 대응 한국용어의 타당성 및 다른 대안은 어떠한지에 대해서 살펴본다.

• The Mathematical Education
• /
• v.57 no.1
• /
• pp.55-74
• /
• 2018

The purpose of this study is first to examine the relative influence of each error source and to investigate the optimal measurement conditions to ensure satisfactory multiple reliability coefficients based on the teaching aptitude and personality test for pre-service teachers. Participants were 33 students enrolled in mathematics education in a graduate school of education located in the Seoul metropolitan area from 2013 to 2017. The main results were as follows. First, the estimated variance due to residual was highest, followed by nesting of items within domains, graduate students, interactions of graduate students with domains, and domains. Second, total 96 items, with 12 domains containing 8 items in each domain, with cut score of 598, and original 210 items, with 14 domains containing 15 items in each domain, with cut scores of 615 or 716 were optimal measurement conditions to reach acceptable reliability levels based on the joint consideration of dependability coefficients, cut score dependability coefficients, adjusted dependability coefficients, and standard errors of measurement. Third, larger deviations between the arithmetic mean and the cut score indicated higher reliability coefficients of the test results. Finally, this study suggests ways for practitioners to consider how to apply generalizability theory for criterion-referenced tests and how to develop future research based on limitations.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7B
• /
• pp.744-750
• /
• 2009

In this paper, the unified Markov modeling of hardware and software for AVTMR(AlI Voting Triple Modular Redundancy) system is proposed and the dependability is analyzed. In hardware case, a failure rate is fixed to no time varying parameter. But, in software case, failure rate is applied with time varying parameter. Especially, the dependability(Reliability, Availability, Maintainability, Safety) of software is analyzed with G-O/NHPP for Markov modeling. The dependability of single and AVTMR system is analyzed and simulated with a unified Markov modeling method, and the characteristic of each system is compared accroding to failure rate. This kind of fault tolerat system can be applied to an airplane and life critical system to meet the requirement for a specific requirement.

• Journal of Advanced Navigation Technology
• /
• v.14 no.1
• /
• pp.87-92
• /
• 2010

The design of avionic embedded systems requires high-dependability. In this paper, we studied the dependability of the triple modular redundancy (TMR) hardware for highly reliable aviation embedded system. In order to evaluate the dependability of the base ARM processor and the TMR ARM processor, we developed the simulation model of the reduced ARM and TMR ARM processors and performed the simulation fault injection for the analysis of the dependability of the two targets. In the fault injection experiments, we calculated the error recovery rate of the two the processor models. From the experimental results, we could confirm that the reliability of the TMR ARM processor was greater than the single ARM processor by ten times in some cases.