• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.06a
• /
• pp.485-488
• /
• 2001

소프트웨어의 신뢰도모델을 적용하는 중요한 일 중의 하나는 소프트웨어 발행시각을 결정하는 일이다. 이 문제에 대해서 여러 연구자들이 그동안 많은 연구논문을 발표하였다. 본 논문에서는 최적발행시각을 결정하는 문제를 심도있게 다루고자 하였다. 특정한 발행시각을 결정하는데 있어서 신뢰도 요건 및 비용 모델 모두를 고려하여 고찰한다. 신뢰도 목표로서 허용치 이내의 고장강도를 사용해야 하며, 최적 발행방책은 순차적인 접근법에 근거하여 검토

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.569-571
• /
• 1999

소프트웨어의 신뢰도는 하드웨어의 신뢰도와 고장메타니즘이 다르므로 하드웨어의 신뢰도 모델을 그대로 이용할 수 없다. 소프트웨어의 신뢰도를 추정하기 위한 방법은 그동안 Jelinski-Moranda(JM) 모델을 비롯하여 많은 기법이 연구되었다. 그러나, 아직까지 만족하다고 인정할 만한 신뢰도모델링은 개발되지 않았다. 본 연구에서는 소프트웨어의 테스트를 통하여 검출되는 에러 개수의 추세를 가지고 비제차포아송과정(NHPP)의 파라미터를 찾아 신뢰도함수를 구하고자 하며, 아울러, 테스트중단시간을 결정하고자 한다. 파라미터를 찾는 방법은 maximum likelihood estimate(MLE) 기법을 이용하며, 테스트 중단시간은 구해진 파라미터를 신뢰도 함수에 대입하여 결정한다.

• Convergence Security Journal
• /
• v.11 no.6
• /
• pp.73-80
• /
• 2011

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 delayed software S-shaped reliability model 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 automatic error that is generally efficient model could be confirmed. This paper, numerical example 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).

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.5
• /
• pp.125-132
• /
• 2010

Decision problem called an optimal release policies, after testing a software system in development phase and transfer it to the user, is studied. The applied model of release time exploited infinite non-homogeneous Poisson process. This infinite non-homogeneous Poisson process is a model which reflects the possibility of introducing new faults when correcting or modifying the software. The failure life-cycle distribution used exponential and non-exponential family which has various intensity. Thus, software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement becomes an optimal release policies. In a numerical example, after trend test applied and estimated the parameters using maximum likelihood estimation of inter-failure time data, estimated software optimal release time.

• 전기의세계
• /
• v.52 no.9
• /
• pp.33-40
• /
• 2003

원전 안전등급 계측제어계통이 디지털화 되고 있으나 안전계통을 소프트웨어로 구현하는 과정에는 소프트웨어 공통모드고장(Common Mode Failure)과 같은 위험 요소가 존재한다. 일반 산업체와는 달리 원전에서 발생하는 사고는 일반 공중에게 방사능 누출 가능성을 내재하고 있어 디지털 안전계통은 원자로를 안전하게 정지시키는 것을 보장하고, 방사능이 누출되는 사고에 대해서도 그 피해를 최소화시키거나 방지할 수 있는 기능을 확보해야 한다. 이와 같은 원전 안전계통 디지털화의 성공과 원전의 안전성을 확보하기 위해서는 소프트웨어 신뢰성과 안전성 확보가 관건이며 안전-필수 소프트웨어 검증 기술개발이 절실히 요구된다. 본 기고에서는 원전 디지털 안전-필수 소프트웨어에 대한 개발방법과 규제요건, 규제방법 및 규제대처방법 등에서 공통적으로 고려해야 할 안전-필수 소프트웨어 개발 및 검증의 기술적 측면과 안전-필수 소프트웨어의 개발 및 검증의 각 단계에 대해서 기술한다.

• Convergence Security Journal
• /
• v.7 no.1
• /
• pp.45-53
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, Goel-Okumoto and Yamada-Ohba-Osaki model was reviewed, proposes the hyper-exponential distribution reliability model, which maked out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. For model determination and selection, explored goodness of fit (the error sum of squares). The methodology developed in this paper is exemplified with a software reliability random data set introduced by of Weibull distribution (shape 0.1 & scale 1) of Minitab (version 14) statistical package.

• Convergence Security Journal
• /
• v.7 no.2
• /
• pp.1-8
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault (intensity function). In this paper, intensity function of Goel-Okumoto model was reviewed, proposes Kappa (2) and the Burr distribution, which maked out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. For model determination and selection, explored goodness of fit (the error sum of squares) The methodology developed in this paper is exemplified with a software reliability real data set introduced by NTDS (Naval Tactical Data System)

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.2025-2026
• /
• 2011

위성의 가장 큰 제한 중에 하나는 발사하면 더 이상의 수리가 불가능하다는 것이다. 그래서 사용하는 위성의 부품 및 시스템에 대하여 신뢰성 검증이 지상에서 많이 이루지고 있지만 모든 고장을 막을 수 있는 것은 불가능함으로 이에 대한 감시 및 고장시 대처하는 기능이 필요하다. 위성의 고장운영(fault management)은 탑재소프트웨어나 하드웨어로 구현하여 운영 중 시스템의 이상상황(anomaly)을 모니터링하고 이상상황이 발생한 경우 시스템이 안전하도록 조치하는 것이다. 본 논문은 천리안위성의 FDIR구조를 소개하였고 탑재체접속장치 경우 설계된 FDIR를 분석하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2010.07a
• /
• pp.440-441
• /
• 2010

IT 분야는 최근 고도의 신뢰성을 요구하는 국방, 의료, 건설, 자동차, 선박, 항공의 다양한 분야와 융복합화가 이루어지고 있다. 본 논문은 고장 감내 기법을 적용하여 신뢰성 있는 임베디드 시스템을 구축하기 위한 고장 처리 프로세스의 구현에 대해 기술한다. 임베디드 시스템은 자원의 제약으로 인하여 기존의 자원 중복에 의한 결함 허용 기법을 적용하기 어렵다. 제안하는 고장 처리 프로세스는 하드웨어 또는 소프트웨어 중복 없이 시스템의 최악의 상황에서 동작하며 다양한 결함 허용 기법을 적용할 수 있도록 기본 동작 환경을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.510-512
• /
• 2000

소프트웨어 분야의 급격한 발전으로 인해 소프트웨어 품질의 중요성이 더욱 높아지고 있다. 그러나 많은 소프트웨어 개발 프로젝트들이 정해진 일정 때문에 충분한 품질관리가 이루어지지 못하고 잠재적인 위험 요소들을 지닌 채 제품화되어 출시되고 있는 것이 현실이다. 이러한 위험 요소들은 소프트웨어의 결함으로 잠재하면서 언제든 고장(failure)을 일으킬 수 있는 가능성을 지니고 있다. 소프트웨어 개발 과정에서 발생하는 오류는 초기 단계의 오류일수록 최종 소프트웨어 제품에 미치는 영향이 크므로 초기 단계에 문제점을 점검하는 것이 더욱 중요한 문제일 뿐 아니라 생명주기 전 단계에 걸쳐 각 단계에 적합한 시험 항목을 개발하여 적용하는 것이 고품질의 소프트웨어를 개발하는 최선의 방법이 될 수 있을 것이다. 본 연구에서는 생명주기 단계 중 분석 단계에 관한 테스트 항목을 개발하여 분석 단계에서 야기될 수 있는 문제점들을 최소화할 수 있는 방안을 마련하였다.