• 융합보안논문지
• /
• 제12권1호
• /
• pp.9-16
• /
• 2012

소프트웨어 시스템의 대규모자료의 적용 때문에 소프트웨어 신뢰도는 소프트웨어 개발에 중요한 역할을 해왔다. 본 연구에서는 고장시간에 관련된 소프트웨어 신뢰성장모형이 제안되었다. 이러한 검사시간은 미리 정해진 절단 고정 시간을 의미한다. 본 연구에서는 소프트웨어의 강도함수, 평균값 함수 및 신뢰도와 모수추정에 대하여 나열하고 파레토 분포를 수명분포로 적용한 비동질적인 포아송 과정을 적용하였다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우 추정 법을 이용하고 추세분석을 통하여 자료의 효율성을 입증한 후 평균자승오차와 $R_{SQ}$(결정계수)를 이용하고 예측 값과 실제 값의 차이에 의존한 효율적인 모형을 선택 비교하였다.

• 전자공학회논문지CI
• /
• 제40권2호
• /
• pp.26-37
• /
• 2003

소프트웨어 배포 문제는 프로젝트관리에 매우 중요하다. 왜냐하면 다양한 운용 환경 하에서 개발비용 및 에러의 발견, 수정 등에 밀접한 관계에 있기 때문이다. 본 논문은 대형 교환시스템 소프트웨어의 Release 시점을 예측할 수 있는 최적배포 문제로서 시스템의 안정도를 평가해 볼 수 있는 측면에서 소프트웨어 최적 배포 문제를 다루었다. 또, 신뢰도 평가 기준을 제시하여 제품의 적기 공급 및 개발자원의 효율적 이용 측면을 분석하고 신뢰성 평가 척도와 개발비용 고려한 최적 배포 문제를 기술하였다. 그밖에 소프트웨어 신뢰도 성장 모델 중 지수형 모델을 근거로 한 초기 고장데이터를 활용하여 교환시스템의 소프트웨어 개발비용과 신뢰성 평가기준을 고려한 최적 배포시기를 결정하고 시험시 발생된 고장데이터에 대한 분석 및 관리기법 등을 소개한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2006년도 춘계학술발표논문집
• /
• pp.449-452
• /
• 2006

본 논문에서는 전장부품에서 중요한 연결 장치인 커넥터의 고장 모드를 분석하기 위한 방법으로 HALT(Highly Accelerated Life Test)를 이용해 관측된 고장 데이터를 기반으로 ReliaSoft사의 소프트웨어인 ALTA PRO를 이용하여 분석하고자 한다. 커넥터를 이루는 주재료는 플라스틱과 금속으로 구성되어 있어 습도에 대한 반응 보다 열 변화와 진동에 의해 고장이 발생 한다. 이러한 커넥터의 특성을 고려하여 HALT는 온도와 진동 스트레스를 이용한 복합 스트레스 시험을 실시하였다. HALT에 사용된 시료는 20핀 커넥터 5개로 74시간 동안 시험하였으며, 9개의 핀에서 부러지는 고장이 관측 되었다. 관측된 고장 데이터를 단일 스트레스에 의한 고장으로 분석하기위해 시험에 사용된 온도와 진동 스트레스를 개별 스트레스로 하여 ALTA PRO를 이용하여 분석하였다. 분석을 위한 수명-스트레스관계식은 스텝 스트레스에 적합한 Cumulative Damage 선택하였으며 Likelihood Function을 이용 최적 분포는 Weibull 분포임을 확인하였다, ALTA Pro를 이용한 분석 결과 열에 대한 Mean Life는 2444.03 시간이며, 진동에 대한 Mean Life는 1784.27시간으로 진동에 대한 Mean Life가 659.76 시간만큼 작은 것을 확인 하였다. 고장 데이터를 이용한 수명 예측에서 Mean Life가 작다는 것은 스트레스에 의해 고장이 빠르게 발생 했다는 것을 의미한다. 가속수명시험을 통해 관측된 커넥터의 고장은 핀이 부러지는 현상이며, 고장에 대한 주요 원인으로 온도 스트레스 보다 Mean Life가 낮은 진동 스트레스인 것으로 판단된다.

• 융합보안논문지
• /
• 제8권3호
• /
• pp.33-39
• /
• 2008

소트프웨어 고장 시간은 테스팅 시간과 관계없이 일정하거나. 단조증가 혹은 단조 감소 추세를 가지고 있다. 이러한 소프트웨어 신뢰모형들을 분석하기 위한 자료척도로 자료에 대한 추세 검정이 개발되어 있다. 추세 분석에는 산술평균 검정과 라플라스 추세 검정등이 있다. 추세분석들은 전체적인 자료의 개요의 정보만 제공한다. 본 논문에서는 고장시간을 측정하는 도중에 지수가중 이동 평균 관리도를 이용하여 관리 상태에 있는 자료만 가지고 정보분석을 해야 효율성이 있을 것으로 판단된다. 따라서 본 논문에서는 기존의 추세 검정과 지수가중이동평균 관리도를 사용하여 실제 소프트웨어 자료를 비교 분석하는 것을 목표로 하고 있다.

• 항공산업연구
• /
• 통권68호
• /
• pp.38-63
• /
• 2006

디지털 하드웨어가 값이 싸다는 것과 그 외형적 크기도 작아지고 있으며 소모 전력도 적다는 경향 때문에 항공에서 디지털 시스템의 사용이 현저하게 증가하게 되었다. 일부에서는 디지털 실용화가 아날로그 기반의 설계를 대체하기까지 하고 있으며 전연 새로운 개념이 도입되고 있는데 이는 모두 디지털 시스템 덕분이다. 대부분의 경우 항공에서 디지털 시스템은 안전에 치명적인 특성을 가지며 해당 소프트웨어의 오류로 항공기의 지속적인 비행과 착륙을 할 수 없는 고장을 유발할 수 있다. 이러한 이유로 항공기에 적용되는 소프트웨어의 인증이 대두되는 것이다. 이 글에서는 향후 우리나라에서도 전개될 소프트웨어의 인증에 대비하여 인증의 기준으로 적용되고 있는 RTCA DO-178B의 내용을 살펴보고 전형적인 항공기 또는 TSOA 인증과정에서의 소프트웨어의 승인 프로세스를 살펴보았다.

• 한국콘텐츠학회논문지
• /
• 제8권8호
• /
• pp.37-46
• /
• 2008

발사통제시스템(Launch Control System)은 유도무기체계에서 유도탄의 발사와 관련된 일련의 절차들을 제어하는 시스템이다. 이 시스템은 지정된 시간 안에 목표물에 대한 교전계획을 생성하고 이 정보를 탄에 장입하며 탄의 발사 제어를 수행해야 한다. 이 때문에 시스템의 하드웨어, 소프트웨어 고장뿐만 아니라 정해진 수행 시간의 초과 때문에도 임무가 실패될 수 있다. 본 논문에서 제안한 것은 발사통제시스템과 같은 내장형 실시간 시스템을 위한 고장허용 이더넷으로 별도의 하드웨어나 소프트웨어 없이 기존 상용의 이더넷 디바이스를 이중화하여 네트워크에 고장허용 기능을 제공하는 방법이다. 이를 위해 시스템의 각 구성 노드들을 이중의 네트워크 채널로 중복 시키고, 네트워크 트래픽에 대한 고장탐지 및 복구를 위해 통신 미들웨어를 설계하고 개발하였다. 이중채녈 기반의 통신 미들웨어를 통해 처리 시간이 중요한 시스템에 네트워크 고장으로 인한 시스템 중지를 방지하고 노드에 통신 손실이 발생하지 않도록 하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2006년도 춘계 종합학술대회 논문집
• /
• pp.455-458
• /
• 2006

H/W와 달리 S/W는 개발당시부터 그 속에 오류로 존재하고 있다가 어떤 특수한 기능을 필요로 할 때 드디어 검출되게 된다. 이로 인하여 소프트웨어의 고장이 발생할 수 있다. 본 논문에서는 소프트웨어의 테스트 단계 및 운영단계에서 검출되는 오류 및 이로 인한 고장 원인을 분석한다. 테스트 단계와 운영단계중 어느 쪽이 어떤 오류가 더 많이 발생하는가를 현장 경험을 통한 오류데이타 수집에 의하여 분석한다.

• 한국통신학회논문지
• /
• 제33권1B호
• /
• pp.38-47
• /
• 2008

다양한 소프트웨어 기능들에 대해서 활발한 시장의 요구사항에 부응하기 위해서는 주어진 납기에 시스템시험을 마쳐야 한다. 특히, 사용자나 개발목표 시스템의 주요 핵심기능과 밀접한 주요 고장들은 시스템시험에서 반드시 검출, 제거되어야 한다. 대부분 제안되고 있는 시스템시험 방법은 효율적이고 가격 경쟁력을 갖춘 선택적인 시험 방법이 아닌 일상적인 방법이다. 이러한 방법들은 시스템 개발 초기나 단기간(short-term)의 효과적인 시험에 응용할 수 없으며, 새로운 기능의 추가에 따른 시험 준비에 많은 비용이 수반되므로 효과적인 시험이 되지 못한다. 이러한 문제를 극복하기 위한 새로운 시험방법으로 시험수행의 핵심적인 역할을 수행하는 선택적인 소프트웨어 시험이 필요하다. 선택적인 시험방법은 3가지 정보를 조합하여 시험항목 순위를 결정하는데 즉, 사용빈도, 시나리오 복잡도, 고장강도 등이다. 이 정보를 사용하여 시험을 수행함으로써 시스템의 치명적인 고장을 찾는데 활용함으로써 보다 효율적인 시스템 시험을 수행할 수 있다. 본 논문에서는 주요기능과 관련된 심각한 오류와 시스템의 치명적인 결함을 찾는 선택적인 소프트웨어 시험 방법에 대해 제안된 방법을 적용, 그 결과를 검증한다.

• 한국인터넷방송통신학회논문지
• /
• 제22권3호
• /
• pp.193-200
• /
• 2022

본 연구에서는 소프트웨어 신뢰성 분야에서 많이 사용하는 Weibull 수명 분포((Goel-Okumoto, Rayleigh, Type-2 Gumbe)에 근거하여 유한 고장 NHPP 소프트웨어 신뢰성 모형을 소프트웨어 개발 모형에 적용한 후, 비용의 속성을 비교하여, 분석하였다. 본 연구를 위하여 소프트웨어 시스템의 정상 운용 중 검출된 고장시간 데이터를 수집하여 사용하였고, 제안된 모형의 모수 추정은 최우추정법을 적용하였으며, 비선형 방정식의 계산은 이분법을 사용하여 해결하였다. 그 결과, 첫째, 소프트웨어 개발 모형의 단위 시간당 테스팅 비용과 단일 고장을 제거하는 비용이 증가하면 비용은 증가하였지만 방출시간은 변하지 않았고, 정상적인 시스템 운용 중에 검출된 고장 수리 비용이 증가하면 비용 증가와 함께 방출 시간도 지연됨을 알 수 있었다. 둘째, 제안된 모형들을 종합적으로 비교 분석한 결과, Type-2 Gumble 모형이 Rayleigh 모형과 Goel-Okumoto 기본 모형 보다 개발비용이 적고, 방출 시간 포인트도 상대적으로 빨라서 가장 효율적인 모형임을 알 수 있었다. 셋째, 본 연구를 통하여 Weibull 분포 모형의 개발비용 속성을 새롭게 분석하였으며, 분석된 데이터는 소프트웨어 개발자들이 개발 비용과 방출 시간에 대한 속성을 탐색하는 데 필요한 설계 데이터로 활용할 수 있을 것으로 기대한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.3-6
• /
• 2011

IT 기술의 발전에 따른 전력 사용량 증가로 인해서 친환경 재생 에너지에 대한 관심이 집중되고 있는 상황으로 다양한 재생 에너지자원 가운데 풍력에너지 개발이 전 세계적으로 급속히 증가하고 있다. 그러나 풍력발전기를 제어하는 제어기의 소프트웨어·하드웨어적인 문제로 인해 불규칙한 에너지 생산과 유지보수를 위한 비용이 증가함에 따라 최근에는 풍력제어기의 고장분석 및 고장 감내 제어에 대한 연구가 활발히 진행되고 있는 상황이다. 본 논문에서는 이와 같은 풍력발전기가 지속적으로 일정한 에너지 생산과 유지보수 절감이 가능하도록 하기 위해 풍력제어시스템 차원에서의 고장에 대해서 감내 가능한 고가용성의 미들웨어에 대한 구조를 제안한다. 풍력제어시스템의 고 가용성 미들웨어는 가상 운영체제를 기반으로 이중화 구조를 가지고 있으며, 주 운영체제에서 소프트웨어적인 고장이 발생 시 다음 우선순위의 가상 운영체제에서 지속적인 서비스를 제공할 수 있도록 각각의 가상 운영체제 환경을 관리한다.