• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.5
• /
• pp.345-353
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do parameter inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision to market software, the conditional failure rate is an important variables. In this case, finite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of polynomial hazard function.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.8 no.6 s.40
• /
• pp.31-43
• /
• 2004

Seismic risk assessment of bridge is presented using fragility curves which represent the probability of damage of a structure virsus the peak ground acceleration. In theseismic fragility analysis, the structural damage is defined using the rotational ductility at the base of the bridge pier, which is obtained through nonlinear dynamic analysis for various input earthquakes. For the assessment of seismic risk of bridge, peak ground accelerations are obatined for various return periods from the seismic hazard map of Korea, which enables to calculate the probability density function of peak ground acceleration. Combining the probability density function of peak ground acceleration and the seismic fragility analysis, seismic risk assessment is performed. In this study, seismic fragility analysis is developed as a function of not the surface motion which the bridge actually suffers, but the rock outcrop motion which the aseismic design code is defined on, so that further analysis for the seismic hazard assessment may become available. Besides, the effects of the friction pot bearings and the friction pendulum bearings on the seismic fragility and risk analysis are examined. Lastly, three regions in Korea are considered and compared in the seismic risk assessment.

• Convergence Security Journal
• /
• v.12 no.3
• /
• pp.19-26
• /
• 2012

In this study, software products developed in the course of testing, software managers in the process of testing software and tools for effective learning effects perspective has been studied using the NHPP software. The log type hazard function applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than autonomous errors-detected factor that is generally efficient model could be confirmed. This paper, a failure data analysis of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$(coefficient of determination).

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.1
• /
• pp.383-386
• /
• 2006

The safety of the railway system is important because the system is a mass transit system and the results of the accident are inconceivable. The railway system is operated by train operation system such as train control system. So the train control system requires safety critical characteristics. In the European railway, ETCS (European Train Control System) project has been finished to accomplish the interoperability of each national railway signaling system. According to the interoperability degree, ETCS levels are suggested. As the highest level, ETCS level 3 suggests a radio communication. Also recently urban railway system is operated by driverless and automatic train control system. In this circumstance, more safety is required than before in the railway system. In order to accomplish the safety of a system, the requirements considering safety have to be suggested. The requirement is a set of several functions such as general function, environment, safety etc. For the safety critical system, safety function is more important than any other functions. The safety functions are deduced by safety analysis. In order to perform the safety analysis, the system hazards have to be identified and then risk analysis for each hazard should be performed. The risk is related to the frequency and the severity of each hazard. And then countermeasures for each risk have to be prepared. The summary of the countermeasures is about a kind of safety functions in a system. In this paper, the safety functions for a train control system are presented according to the above procedure.

• The Pure and Applied Mathematics
• /
• v.5 no.2
• /
• pp.123-132
• /
• 1998

Let F and G denote the distribution functions of the failure times and the censoring variables in a random censorship model. Susarla and Van Ryzin(1978) verified consistency of $F_{\alpha}$, he NPBE of F with respect to the Dirichlet process prior D($\alpha$), in which they assumed F and G are continuous. Assuming that A, the cumulative hazard function, is distributed according to a beta process with parameters c, $\alpha$, Hjort(1990) obtained the Bayes estimator $A_{c,\alpha}$ of A under a squared error loss function. By the theory of product-integral developed by Gill and Johansen(1990), the Bayes estimator $F_{c,\alpha}$ is recovered from $A_{c,\alpha}$. Continuity assumption on F and G is removed in our proof of the consistency of $A_{c,\alpha}$ and $F_{c,\alpha}$. Our result extends Susarla and Van Ryzin(1978) since a particular transform of a beta process is a Dirichlet process and the class of beta processes forms a much larger class than the class of Dirichlet processes.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.10 no.6
• /
• pp.119-130
• /
• 2010

The universal model for the parameter estimation of the Storage Function Model(SFM) was developed through the applications of the distributed model for various hypothetical watersheds and runoff conditions. The existing parameter estimation equations are based on observations and these equations which are derived from the restricted conditions are not sensitive to the variation of physical characteristics of a watershed. This study developed the universal model for the parameter estimation through the runoff simulations of 35,000 times. As the simulation results, we have known that the lag time is related to the longest stream channel characteristics and the storage coefficient is related to the watershed characteristics.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.8 no.2
• /
• pp.149-158
• /
• 2008

The parameters of each basin, required for the accurate analysis of flood runoff using Storage Function Model, are estimated. Prior to the estimation, sensitivity analysis and extraction of new regional topographic factors for Han River basin are conducted. Based on the result, the outflow constant of basin model is calculated through regression analysis in relation with pre-flood runoff depth. The storage constant of basin model is derived by the optimum storage constant equation, according to the flood event of each basin. The model using the mentioned parameters was compared with K-Water model of Korea Water Resources Corporation and the model of Han River Flood Control Office, and proved to correspond to the observed hydrograph more.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.607-617
• /
• 2019

Global warming and climate change are increasing the intensity of typhoons and hurricanes and thus increasing the risk effects of typhoon and hurricane hazards on nuclear power plants (NPPs). To reflect these changes, a new NPP should be designed to endure design-basis hurricane wind speeds corresponding to an exceedance frequency of $10^{-7}/yr$. However, the short typhoon and hurricane observation records and uncertainties included in the inputs for an estimation cause significant uncertainty in the estimated wind speeds for return periods of longer than 100,000 years. A logic-tree framework is introduced to handle the epistemic uncertainty when estimating wind speeds. Three key parameters of a typhoon wind field model, i.e., the central pressure difference, pressure profile parameter, and radius to maximum wind, are used for constructing logic tree branches. The wind speeds of the simulated typhoons and the probable maximum wind speeds are estimated using Monte Carlo simulations, and wind hazard curves are derived as a function of the annual exceedance probability or return period. A logic tree decreases the epistemic uncertainty included in the wind intensity models and provides reasonably acceptable wind speeds.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.3
• /
• pp.9-17
• /
• 2015

The ISO 26262 standard requires a preliminary hazard analysis and risk assesment early in the development for automotive system. This is a first step for the development of an automotive system to determine the necessary safety measures to be implemented for a certain function. In this paper, we propose an ontology-based hazard analysis and risk assessment method for automotive functional safety. We use ontology to model the hazard and SWRL(Semantic Web Language) to describe risk analysis. The applicability of the proposed method is evaluated by the case study of an ESCL(electronic steering column lock) system. The result show that ontology deduction is useful for improving consistency and accuracy of hazard analysis and risk assessment.

• 한국방재학회:학술대회논문집
• /
• 2008.02a
• /
• pp.257-259
• /
• 2008

Acceleration time history (ATH) used in the seismic analysis should envelop a target power spectral density (PSD) function in addition to the design response spectrum in order to have sufficient energy at each frequency for the purpose of ensuring adequate load. Even though design regulations require the ATH used in seismic analysis to meet a target PSD function, the reason that ATHs meet to a target PSD function is not described. Thus, artificial ATHs for high PSD function and artificial ATHs for low PSD function are generated. And then elastic and inelastic single-degree-of-freedom (SDOF) systems are loaded with these artificial time histories as the earthquake load. As a result, linear response and inelastic response of SDOF systems are affected by PSD function.