• 전기전자학회논문지
• /
• 제15권1호
• /
• pp.43-48
• /
• 2011

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 무한고장수를 가진 비동질적인 포아송 과정에 기초하고 수명분포는 최소 및 최대값을 적합 시키는데 효율성을 가진 극값 분포를 이용한 최적 방출시기에 관한 문제를 제시하여 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하여 기존의 로그 포아송 실행시간 모형과 로그 파우어 모형의 대안으로서 극값 분포모형이 또 하나의 대안이 될 수 있음을 입증하였다.

• 융합보안논문지
• /
• 제11권4호
• /
• pp.85-91
• /
• 2011

소프트웨어 시스템의 대규모 응용 프로그램으로 인해, 소프트웨어 신뢰성은 소프트웨어 개발에서 중요한 역할올 담당하고 있다. 본 연구에서는 소프트웨어 신뢰성장 모형 중에서 고장 시간 절단 모형인 로그 로지스틱 분포에 근거한 모형이 제안되었다 고정시간에 따른 강도함수, 평균값함수, 신뢰도를 추정하였고 모수 추정은 최우 추정 법을 사용하였다. 실중분석에서는 이 분야에서 기본 모형인 포아송 실행 시간 모형과 비교 분석하였다. 그 결과 로그-로지스틱 모형이 기존의 로그 포아송 실행 시간 모형보다 신뢰성 측면에서 더 효율적이기 때문에 이 분야에서 기존 모형의 대안으로 로그-로지스틱모형을 사용할 수 있음을 확인 할 수 있었다.

• 한국통신학회논문지
• /
• 제34권7B호
• /
• pp.744-750
• /
• 2009

본 논문에서는 신뢰성을 명가하는 데 있어서 소프트웨어 및 하드웨어 측면을 고려한 통합된 마코브 모델링(Markov modeling)으로 AVTMR(AlI Voting Triple Modular Redundancy) 시스템의 신뢰성을 분석한다. 본 시스템의 모델링은 하드웨어의 경우에 고장율이 시불변 특성을 가지며, 소프트웨어 경우에는 시 가변 특성으로 모델링되어 AVTMR 시스템과 단일 시스템에 대한 신뢰성 비교를 한다. 특히, 소프트웨어적인 특성은 G-O/NHPP 기법을 이용하여 분석이 되며, AVTMR 시스템의 전체적인 특성을 소프트웨어 및 하드웨어적인 관점에서 고장율 따른 특성을 이해할 수 있게 된다. 평가된 AVTMR 은 엄베디드 통신 시스템, 항공기 등의 결함 허용 시스댐에 요구되는 스팩에 맞도록 설계를 하기 위한 기반을 제시한다.

• 한국정보전자통신기술학회논문지
• /
• 제11권4호
• /
• pp.460-466
• /
• 2018

정보기술의 발달로 컴퓨터 소프트웨어 시스템의 규모는 끊임없이 확장되고 있다. 소프트웨어 개발에 대한 신뢰성 및 비용은 소프트웨어 품질에 큰 영향을 미치고 있다. 본 연구에서는 소프트웨어 고장 간격시간 자료를 바탕으로 NHPP 모형에서 Type-2 Gumbel과 Erlang 분포의 형상모수를 따르는 수명분포에 근거한 소프트웨어 개발 비용모형에 관한 특성을 비교하고, 분석하였다. 그 결과, Go-Okumoto 모형 및 제시한 모형인 Erlang 모형과 Type-2 Gumble 모형에 대한 비용곡선의 추세는 모두 초기단계에서 감소하다가, 고장시간이 지나는 후반부에 가서는 점차 증가하는 결과를 보였다. 또한, Erlang 모형과 Type-2 Gumble 모형을 비교한 결과, Erlang 모형이 소프트웨어 출시시기가 빠르고, 출시시점의 비용도 경제적임을 알 수 있었다. 본 연구를 통하여, 소프트웨어 운용자들은 소프트웨어 출시시기 이후에 결함이 감소되도록 운영단계보다 테스팅 단계에서 결함들을 제거해야 하며, 소프트웨어 개발비용에 관한 특성을 파악하는데 필요한 사전정보을 연구할 수 있을 것으로 기대된다.

• 전자통신동향분석
• /
• 제15권3호통권63호
• /
• pp.42-49
• /
• 2000

소프트웨어 검증에 사용되는 신뢰도 평가를 위한 기초 고장데이터를 수집하는 시스템 시험 방법과 소프트웨어 종합화에 고려되어야 할 사항들에 대해 제안한다. 그 외에 ATM 교환시스템 개발에서 얻은 경험을 정리하여 차세대 시스템 개발의 소프트웨어 품질 향상과 신뢰도 평가에 활용되도록 하였다.

• 한국정보처리학회논문지
• /
• 제7권11호
• /
• pp.3384-3393
• /
• 2000

소프트웨어를 테스팅하는 동안 얻어지는 고장 데이터를 분석하여 소프트웨어의 신뢰성이 성장하는 과정을 평가하기 위해 여러 가지 소프트웨어 신뢰성 성장 모델들이 개발되었다. 그러나 이들 신뢰성 성장 모델들은 소프트웨어 개발과 사용환경에 관한 여러 가지 가정에 기반하고 있기 때문에, 이 가정이 적합하지 않은 상황이나 결함이 드물게 발생되는 소프트웨어에 대해서는 적절하지 않다. 입력영역에 기초한 소프트웨어 신뢰성 모델은 일반적으로 이러한 가정을 요구하지 않는데 디버깅 전의 소프트웨어와 디버깅 후의 소프트웨어를 별개의 것으로 다루어 많은 테스트 입력을 요하는 단점이 있다. 본 논문에서는 이러한 가정이 요구되지 않고 디버깅 전과 후의 소프트웨어를 동시에 테스트하는 방법에 기반을 둔 입력 영역 기반 소프트웨어 성장모델을 제안하고 그 통계적 특성을 조사한다. 이 모델은 모든 데이터를 다 활용하기 때문에 기존 입력영역 소프트웨어 신뢰성 모델에 비해 적은 테스트 입력을 필요로 할 것으로 기대된다. 그리고 소프트웨어의 유지보수 단계에 적용하기 위해 개발된 유사한 방법들과 비교한다.

• 한국항행학회논문지
• /
• 제24권4호
• /
• pp.314-321
• /
• 2020

LASAR (logic automated stimulus and response) 소프트웨어는 디지털 전자 회로 카드에 대한 로직 기능시험 및 고장검출을 위한 자동점검프로그램 개발도구이다. LASAR 소프트웨어는 소자의 논리회로 기능 및 입·출력 정의된 정보가 필요하다. 소자 정보가 없으면 정상적인 부품 모델링이 불가능하다. 따라서 본 논문에서는 소자 정보가 없는 PLD (programmable logic device) 소자를 역설계 방법을 통하여 부품 모델링을 수행한다. 개발된 LASAR 프로그램은 고장 시뮬레이션 결과와 단일 고착 고장삽입 방법을 통해 고장 검출율을 확인하였다. 고장 검출율은 기존의 제한적인 모델링은 91%, 역설계를 통한 모델링은 94%로 3% 상승하였다. 또한, EP 310 PLD 소자에 대한 입·출력핀에 대한 22가지 고착결함의 경우 100% 검출하여 양호한 성능을 확인하였다.

• 한국전자통신학회논문지
• /
• 제18권5호
• /
• pp.935-944
• /
• 2023

본 연구에서는 신뢰성 연구에 적합하다고 알려진 Inverse-type(: Inverse-Exponential, Inverse-Rayleigh) 수명분포를 유한고장 NHPP(: Nonhomogeneous Poisson Process) 기반의 소프트웨어 개발비용 모형에 적용한 후, 성능을 결정하는 속성을 분석하였다. 또한, 모형의 효율성을 평가하기 위해 Goel-Okumoto 기본 모형과 함께 비교하였다. 고장 시간 데이터를 이용하여 모형의 성능을 분석하였고, 모수의 계산은 MLE(: Maximum Likelihood Estimation)를 적용하였다. 결론적으로, 첫째, 개발비용을 결정하는 m(t)를 분석한 결과, Inverse-Exponential 모형이 참값에 대한 오차가 적어 효율적이었다. 둘째, 개발비용과 함께 방출시간을 분석한 결과 Inverse-Rayleigh 모형이 가장 좋은 것으로 확인되었다. 셋째, 제안된 모형의 속성(m(t), 비용, 방출시간)을 종합적으로 평가한 결과, Inverse-Rayleigh 모형의 성능이 가장 우수하였다. 따라서 소프트웨어 개발자가 초기 프로세스에서 본 연구 데이터를 효율적으로 활용할 수 있다면, 비용에 영향을 미치는 속성들을 사전에 탐색하고 분석할 수 있을 것이다.

• 한국정보전자통신기술학회논문지
• /
• 제12권6호
• /
• pp.554-560
• /
• 2019

본 연구에서는 소프트웨어 신뢰성 분야에서 많이 사용하는 유한고장 NHPP Rayleigh 분포 모형과 NHPP Inverse Rayleigh 분포 모형을 소프트웨어 개발비용 모형에 적용한 후, 개발비용과 최적의 방출시간에 대한 속성을 비교, 분석하였다. 소프트웨어 개발비용의 속성을 분석하기 위하여 소프트웨어 고장시간 자료를 사용하였고, 모수추정은 최우추정법을 적용하였으며, 비선형 방정식은 이분법을 사용하여 계산하였다. 그 결과, Rayleigh 모형이 Inverse Rayleigh 모형보다 소프트웨어 개발비용이 비교적 적고, 소프트웨어 방출시점도 빨라서 상대적으로 우수한 모형임을 확인할 수 있었다. 본 연구를 통하여 기존 연구사례가 없는 Rayleigh 모형과 Inverse Rayleigh 모형의 개발비용 속성을 새롭게 분석하였으며, 더불어 소프트웨어 개발자들이 소프트웨어 신뢰도 향상 방법 및 개발비용의 속성을 탐색하는 데 필요한 기본지침으로 활용할 수 있을 것으로 기대한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권8호
• /
• pp.730-740
• /
• 2000

고가용성 다중계 시스템의 소프트웨어 재활 기법은 시스템의 결함 발생 이후에 수동적으로 대처하기보다는 결함이 발생하기 전에 이를 미연에 방지하는 능동적 차원의 결함 허용 방법이다. 특히 멀티미디어 이동 컴퓨팅에서 사용되는 소프트웨어는 통신 단절, 데이터 유실 등으로 인한 노화 진행이 일반 소프트웨어보다 상당히 빠르게 진행되기 때문에 소프트웨어 재활에 의한 결함 예방 방법은 대규모 멀티미디어 이동 컴퓨팅 시스템에 사용될 가능성이 높다고 볼 수 있다. 본 연구에서는 서버에서 수행되는 소프트웨어의 재활 주기, 재활 소요시간, 서버의 고장률, 수리률, 동시에 가동되는 서버의 수, 서버의 가동 기간 및 가동 방식 등의 시스템 운영 파라미터에 기초하여, 소프트웨어 재활 정책에 대한 평가를 위한 평형 상태에서의 확률, downtime, 가용도, 손실 비용 등을 계산하였다 수학적 분석을 통해 구한 재활 모델의 closed-form 해는 다양한 시스템 운영 상태에 대한 실험을 통해 검증하였으며, 소프트웨어 재활을 통한 예방적 결함허용 기법의 적용 가능성이 높다는 것을 확인하였다. 또한 서버의 고장률 및 불안정률이 소프트웨어 재활 정책 결정에 중요한 요소임을 파악하였다.