• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.635-637
• /
• 1998

시험 단계나 운용 단계에서 발견된 소프트웨어의 오류를 수정하기 위해서는 많은 비용을 투자해야 한다. 시스템 개발 초기 단계인 설계 단계에서 소프트웨어 시스템의 신뢰도에 영향을 많이 미치는 부분을 찾아 오류를 사전에 방지하는 연구가 많이 진행되고 있다. 모듈의 신뢰도를 설계 단계에서 예측할 수 있다면 프로젝트 관리자는 결함 경향이 강한 모듈 개발에 더 많은 자원을 할당함으로써 보다 신뢰성 있는 소프트웨어를 생산 할 수 있다. 본 논문에서는 실시간 소프트웨어의 설계 결과에 대한 복잡도 측정치를 토대로 신뢰도를 예측하는 모델을 제안하다. 유전자 알고리즘으로 찾아낸 이 모델을 사용하여 결함 경향이 강한(fault prone) 모듈과 그렇지 않은 모듈은 96%의 정확도로 선별해 낼 수 있다.

• 정보처리학회 논문지
• /
• 제13권5호
• /
• pp.227-235
• /
• 2024

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

• 마이크로전자및패키징학회지
• /
• 제17권3호
• /
• pp.1-9
• /
• 2010

본고에서는 마이크로 접합을 위한 솔더볼 또는 범프의 기계적 신뢰성 평가에 사용되는 전단시험의 표준화 규격에 대해 고찰해 보았다. 전단시험에서 중요한 실험 조건 중 하나인 전단속도는 low speed shear test와 high speed shear test로 구분 된다. 전단속도가 빨라질수록 솔더볼에 가해지는 충격이 커지기 때문에, 소성변형에 대한 저항성이 커지게 되고, 전단강도가 커지게 된다. 그리고 이 결과는 전산모사를 통하여 확인할 수 있다. 또 하나의 중요한 실험 조건으로 전단툴의 높이가 있다. 일반적으로 전단툴의 높이가 높을수록 전단강도 값은 낮아지게 되는데, 여러 국제 규격에서 제시한 솔더볼 높이의 25% 지점을 초과한 높이에서 전단시험을 진행했을 때에는 전단시험이 진행되는 접합 계면의 면적이 줄어들어 실험결과의 신뢰도가 떨어지게 된다. 이와 같이 전단속도와 툴의 높이 등의 실험조건들이 구체적으로 규격화 되어있지 않은 채 진행 되면, 실험 결과의 신뢰도가 떨어지고, 각 계에서 진행된 연구결과를 상호 비교하기가 어렵다. 따라서 효율성을 고려한 간접 시험법 개발 및 최신 패키징기술을 반영된 특성평가 시험법의 규격, 그리고 다양한 시험 표준화는 결국 마이크로 전자패키지의 고 신뢰성으로 나타날 것이라 생각된다.

• 전자통신동향분석
• /
• 제18권5호통권83호
• /
• pp.63-72
• /
• 2003

소프트웨어의 신뢰성을 정량적으로 평가하는 데 있어서 소프트웨어 개발 프로세스의 시험단계나 사용자의 운용단계에 처한 동적 환경상태에서 소프트웨어 고장발생기능 현상을 기술한 소프트웨어 신뢰도성장모델을 많이 제안하고 있다. 대다수의 모델이 발생된 소프트웨어 고장의 발생원인에 대한 완전한 수정을 요구하는 완전 디버깅 환경을 가정하고 있다. 그러나 실제 개발자가 디버깅 작업을 수행할 때 완전한 수정이 불가능하기 때문이다. 다시 말해서 여러 소프트웨어 개발자가 경험한 이러한 디버깅 작업을 행하는 경우에는 결함을 제거하는 데 한계가 있기 때문에 수정 작업시 새로운 결함이 삽입되는 경우가 많다. 즉, 결함 수정은 불완전 환경에 처한다. 본 논문에서는 결함 수정시 신규 결함의 삽입 가능성을 고려하고 불완전 디버깅 환경에 대한 소프트웨어 신뢰도 성장모델을 제안한다. 소프트웨어 동작 환경 하에서 발생된 소프트웨어 고장과 시험 전 소프트웨어 내의 고유 결함에 의한 고장과 동작중에 랜덤하게 삽입된 결함에 의해 발생되는 고장 등 2종류의 결함을 고려하여 비동차 포아송과정(NHPP)에 의한 소프트웨어 고장발생 현상을 기술한다. 또한 소프트웨어 신뢰성 평가에 유용한 정량적인 척도를 도출하고 실측 데이터를 이용하여 적용한 결과를 제시하고 기존의 모델과의 적합성을 비교, 분석한다.

• 응용통계연구
• /
• 제12권2호
• /
• pp.621-631
• /
• 1999

재료의 피로 파괴과정은 균열의 발생과 전파 및 성장의 과정을 거쳐 마침내 결정적 균열의 크기가 일정한도를 넘어서면 재료의 파괴가 일어난다. 이 때까지의 시간, 즉 피로 수명이 역정규분포를 따를 때 재료의 수명과 스트레스 수준과 관계를 나타 내는 S-N곡선에 대한 대수선형모형(log-linear model)을 제시하고, 이 모형하에서 피로수명시험에 대한 통계적 최적시험설계방법을 찾는다. 통계적 최적여부에 대한 판단기준으로 설계 스트레스 수준하의 특정 시점에서의 신뢰도에 대한 최우추정량의 점근분산을 최소화하는 방법을 사용하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2007년도 제29회 추계학술대회논문집
• /
• pp.3-6
• /
• 2007

본 논문에서는 화약작동식 밸브 개발에 관해 전반적으로 설명하였다. 화약작동식 밸브는 추진기관의 연료와 공기를 조절하는 파이로장치이므로 신뢰도를 확보하는게 무엇보다도 중요하다. 그러므로, 해석과 성능시험을 통해 작동 신뢰도를 증가시키는데 역점을 두었다.

• 한국지반공학회논문집
• /
• 제17권5호
• /
• pp.157-164
• /
• 2001

말뚝의 항타공식(또는 동적공식)은 간단하고 품질관리를 수행할 수 있는 실용적인 방법으로 이용되어 왔지만 신뢰도는 가정조건의 문제점으로 인해 매우 낮은 것으로 평가되고 있다. 실제적으로 동적공식은 항타시스템 및 항타과정 측면에서 보면 근본적으로 문제가 있는데, 그간의 많은 연구들은 이러한 사실을 고려하지 않은 상태에서 이루어 졌다. 본 연구에서는 동적공식의 문제점에 대해 평가해 보고 이를 바탕으로 새로운 동적공식을 제안하였다. 그리고 현장에서 항타분석기로 실측된 항타시 및 항타후 시험자료를 이용하여 새로운 동적공식의 신뢰도와 적용성을 평가하였으며 그 결과 새로운 동적공식의 실용성을 확인할 수 있었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2006년도 학술발표회 논문집
• /
• pp.688-692
• /
• 2006

산지 소하천 유역을 대상으로 물순환 과정을 규명하기란 대단히 어려운 실정이다. 1차적으로는 수문자료의 부재가 제일 크며, 자료가 있다 하더라도 홍수기 중심 및 단기간 자료의 축적에 불과하다. 이중 설마천 시험유역은 한국건설기술연구원의 11년간 운영경험을 바탕으로 비교적 장기간의 수문자료를 축적하고 있다. 최근 6년간은 신뢰할 만한 양질의 수문자료를 구축하였으며, 현재는 신뢰도의 완성을 높이는 연구가 활발히 진행 중에 있다. 설마천 시험유역의 유역의 물순환 구조는 자연계의 유입과 유출이 지배적이며, 이들의 수문성분을 규명하기 위해서는 각각의 수문성분들의 관측 및 해석이 필요하며, 각 수문성분들의 물수지 분석을 통하여 정량적인 합의 결과를 가시적으로 확보함이 매우 중요하다. 신뢰도와 정확성에 근거한 관측자료를 이용한 물수지 분석결과는 수문성분들의 총체적 표현이라 할 수 있는 모형(model)의 중요 입력자료이며, 모형의 분석결과를 검증할 수 있는 중요한 기준이 된다. 모형의 결과와의 비교 검토를 통해 산지 소하천 유역의 물순환 관계를 규명하는 기반을 확보하게 될 것이다. 본 연구에서는 신뢰성 있는 수문관측 자료를 이용하여 물수지 분석을 수행하였다. 물수지 분석의 대상유역인 설마천 시험유역의 신뢰할 만한 관측자료에는 강우량, 유출량, 지하수이용량이며, 증발산량 산정을 위한 기상관측 및 대형증발계를 통한 실제 증발량 관측은 이루어지나 유역을 대표하는 증발산량의 관측이 연속적으로 이루어지지 못하는 실정이다. 그러나, 설마천 시험유역은 소규모이며, 대체로 동질성 있는 유역이라고 가정하여 1개 기상관측소에서 운영하는 기상자료를 이용하여 증발산량을 산정하고 물수지에 적용하였다. 또한, 그 동안 관측하지 못했던 지하수위 관측을 실시함으로써 정확한 물순환 해석을 할 수 있는 기반을 확보 하였으며, 가용한 장 단기간의 관측자료와 물수지 분석 연산식의 추정치를 바탕으로 관측자료에 의한 물수지 분석을 수행하였다. 분석 결과로 산지 소하천 유역인 설마천 시험유역의 각 수문요소의 물이동간의 정량적인 값을 알 수가 있었으며, 앞으로 추가적이고 지속적인 수문모니터링이 운영되고 물순환 해석 모형에 의한 검증이 수행된다면 정량적인 물순환 관계를 규명할 수 있을 뿐만 아니라 이와 관련된 수문요소기술을 확보할 수 있을 것이다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2007년도 학술발표회 논문집
• /
• pp.1493-1497
• /
• 2007

산지 소하천 유역을 대상으로 물순환 과정을 규명하기란 대단히 어려운 실정이다. 1차적으로는 수문자료의 부재가 제일 크며, 자료가 있다 하더라도 홍수기 중심 및 단기간 자료의 축적에 불과하다. 이중 설마천 시험유역은 한국건설기술연구원의 12년간 운영경험을 바탕으로 비교적 장기간의 수문자료를 축적하고 있다. 최근 7년간은 신뢰할 만한 양질의 수문자료를 구축하였으며, 현재는 신뢰도의 완성을 높이는 연구가 활발히 진행 중에 있다. 설마천 시험유역의 유역의 물순환 구조는 자연계의 유입과 유출이 지배적이며, 이들의 수문성분을 규명하기 위해서는 각각의 수문성분들의 관측 및 해석이 필요하며, 각 수문성분들의 물수지 분석을 통하여 정량적인 합의 결과를 가시적으로 확보함이 매우 중요하다. 신뢰도와 정확성에 근거한 관측자료를 이용한 물수지 분석결과는 수문성분들의 총체적 표현이라 할 수 있는 모형(model)의 중요 입력자료이며, 모형의 분석결과를 검증할 수 있는 중요한 기준이 된다. 모형의 결과와의 비교 검토를 통해 산지 소하천 유역의 물순환 관계를 규명하는 기반을 확보하게 될 것이다. 본 연구에서는 신뢰성 있는 수문관측 자료를 이용하여 물수지 분석을 수행하였다. 물수지 분석의 대상유역인 설마천 시험유역의 신뢰할 만한 관측자료에는 강우량, 유출량, 지하수이용량이며, 증발산량 산정을 위한 기상관측 및 대형증발계를 통한 실제 증발량 관측은 이루어지나 유역을 대표하는 증발산량의 관측이 연속적으로 이루어지지 못하는 실정이다. 그러나, 설마천 시험유역은 소규모이며, 대체로 동질성 있는 유역이라고 가정하여 1개 기상관측소에서 운영하는 기상자료를 이용하여 증발산량을 산정하고 물수지에 적용하였다. 또한, 그 동안 관측하지 못했던 지하수위 관측을 실시함으로써 정확한 물순환 해석을 할 수 있는 기반을 확보 하였으며, 가용한 장 단기간의 관측자료와 물수지 분석 연산식의 추정치를 바탕으로 관측자료에 의한 물수지 분석을 수행하였다. 분석 결과로 산지 소하천 유역인 설마천 시험유역의 각 수문요소의 물이동간의 정량적인 값을 알 수가 있었으며, 앞으로 추가적이고 지속적인 수문모니터링이 운영되고 물순환 해석 모형에 의한 검증이 수행된다면 정량적인 물순환 관계를 규명할 수 있을 뿐만 아니라 이와 관련된 수문요소기술을 확보할 수 있을 것이다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.117-123
• /
• 2006

최근 들어 전통적인 (가속)수명시험으로도 고 신뢰도 제품의 신뢰도 평가가 힘들므로 제품의 성능열화를 관측하여 수명 정보를 추정하는 열화 시험에 대한 관심이 증대되고 있다. 본 논문은 대수정규분포를 따르는 확률계수 열화율 모형 하에서 분포 모수 및 수명분포의 분위수를 추정하는 세 가지 통계적 분석법(근사적, 해석적, 수치적 방법)의 통계적 성능을 비교하였다. 즉, 다양한 수치실험상황 하에서 모형에 포함되는 (측정)오차의 영향을 고려하여 세 방법의 우월성을 조사하였다.