• Nuclear Engineering and Technology
• /
• v.40 no.5
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• Journal of the Korean Data and Information Science Society
• /
• v.16 no.2
• /
• pp.263-270
• /
• 2005

The reliability guarantee insurance policy for parts and materials was introduced to the market in 2003. This policy indemnifies manufactures for the repair/failure costs, recall expenses. In this paper, owing to the nature of the policy, we propose a new rate-making system considering the type of product and industry, quality control circumstances, record of guarantee performance, and exposures.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.7
• /
• pp.49-56
• /
• 2015

In this paper, we introduce recent cloud system security technologies categorizing them according to Reliability, Availability, Serviceability, Integrity, and Security (RASIS), terms that evaluate robustness of the computer system. Then we describe examples of security attacks and corresponding security technologies for each of them. We introduce security technologies based on Software Defined Network (SDN) for Reliability, security technologies based on hypervisor and virtualization for Availability, disaster restoration systems for Serviceability, authorization and access control technologies for Integrity, and encryption algorithms for Security. We believe that this paper provide wise view and necessary information for recent cloud system security technologies.

• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• pp.25-30
• /
• 2002

The problem of qualitative reliability system is very important issue in the digitalized nuclear power plant, because the failure of its system brings about extravagant economic loss, extensive environment destruction, and fatal damage of human. Therefore this study is to develop the reliability evaluation model through the normalized scoring model by the quantitative and qualitative factors considering the advanced safety factors In the Advanced Pressurized water Reactor 1400MWe(APR 1400) under uncertainty Especially, the qualitative factors considering the information and human factors for the systematic and rational justification have been closely analyzed. The reliability evaluation model can be simply applied in real fields in order to minimize the industrial accident and human error in the digitalized nuclear power plant.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.36 no.3
• /
• pp.1-7
• /
• 2013

This paper is a case study of reliability assessment with field warranty data of Clutch Master Cylinder (CMC) in hydraulic clutch system. We estimate lifetime distribution using field warranty data which contain much useful information for understanding reliability of the system in the real-world environments. However, the estimated parameters are far from existing reference values, which seems to be caused right censored field warranty data. To modify the parameters, we use the information of the durability test which is performed to verify that the lifetime of the item meets the required level. After that, we can observe that the modified parameters are closer to the existing reference values. This case study shows a possible idea to supplement lack of right censored field warranty data and its applicability.

• Journal of Applied Reliability
• /
• v.15 no.2
• /
• pp.101-107
• /
• 2015

In this paper, we review the domestic reliability standards and its global counterparts IEC/TC 56 international reliability standards. Recently private transfers of reliability certification control tower has established in Korea. Some check points to consider regarding the control tower transfer process to the non-government organization are suggested. Also the IEC/TC 56 and its relevant reliability standards are introduced. Understanding of the IEC/TC56 system will be helpful for the time of non-government organization control tower transfer in the reliability certificate specification

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.4
• /
• pp.13-24
• /
• 2016

Defense Acquisition Program Administration's weapon system software development and management guideline specifies the criteria of software reliability tests including static and dynamic tests mainly on C/C++ languages. Recently, Defense Acquisition Program Administration expanded the scope of software reliability test for the various languages including C#, java etc. but specific criteria for them are not established. This study suggests the reliability test procedures and standards on C# programming software in weapon system. For the static test, considering the nature of the C# which depends on .NET framework, this paper introduces applying coding rules recommended by Microsoft Corp. Visual Studio 2012. Block coverage provided by Visual Studio is applied on dynamic tests and the achievement objectives for block coverage according to the software levels(A, B, C) are suggested. Also, the software reliability test procedures and standards proposed by this paper are properly verified through the case study. The result of this study can be used for establishing the specific criteria of the software reliability test for C# programming software in weapon system.

• International Journal of Reliability and Applications
• /
• v.2 no.4
• /
• pp.269-280
• /
• 2001

The objective of this paper is to provide a model for effective implementation of costing RAM management in the design and procurement of production facility considering the system cost-performance trade-off. This research proposes a two-step approach of costing RAM design and test of system RAM for production facility. In Step 1, a static model is proposed to find an initial system configuration to meet the required performance based on system RAM and LCC and analyzes the trade-off relationships between various factors of RAM and LCC. In the second Step, we developed time and failure truncated models for system reliability test and analysis. For the computational purpose, we developed computer programs and have shown the sample results. By the sample test run, the proposed model has shown the possibilities to provide a good method to analyze system performance evaluation for both design and operational phase, This model can be applied to a wide variety of systems not only for costing RAM of the production facilities but also for the other kinds of equipment.

• 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

• Journal of the Korean Data and Information Science Society
• /
• v.15 no.1
• /
• pp.239-250
• /
• 2004

We shall propose maximum likelihood, Bayesian and generalized maximum likelihood estimation for the reliability of the two-unit hot standby system with Rayleigh lifetime distribution that switch is perfect. Each estimation will be compared numerically in terms of various mission times, parameter values and asymptotic relative efficiency through Monte Carlo simulation.