• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.614-616
• /
• 1999

신뢰도 높은 소프트웨어 개발의 필요성은 전혀 새로운 것이 아니다. 요즘 들어, 소프트웨어의 크기와 복잡도가 증가함으로 인해 소프트웨어의 결함 때문에 발생하는 시스템 고장이 전체 시스템 고장에서 많은 비중을 차지하고 있다. 고 신뢰도를 요구하는 시스템의 소프트웨어는 복구블록, 분산 복구블록, N-버전 프로그래밍, N 자기검사 프로그래밍과 같은 소프트웨어 결함허용 기법들을 사용하고 있다. 이러한 소프트웨어 결함허용 기법들에 대한 연구와 함께 소프트웨어 결함허용 기법들의 의존도 측정에 관한 연구 또한 매우 중요하다. 이에 본 논문에서는 마르코프 모델을 사용해서 소프트웨어 결함허용 기법들의 보다 자세한 신뢰도 모델링과 가용도, 안전도 등에 관한 모델링을 제시한다. 제안된 모델 분석 결과 같은 수의 대체블록이 있을 때는 분산 복구블록, 복구 블록, N 자기검사 프로그래밍, N-버전 프로그래밍 순으로 의존도가 높음을 알 수 있다. 또한 소프트웨어 결함허용 기법들의 신뢰도민감성 분석에서는 복구블록과 분산 복구블록인 경우는 적응검사의 결함발생율에, N-버전 프로그래밍인 경우는 프로그램 버전의 결함발생율에 더 민감한 영향을 받는 것을 알 수 있다.

• 한국철도학회논문집
• /
• 제12권6호
• /
• pp.1043-1048
• /
• 2009

열차제어시스템의 소프트웨어 발전에 의해 PES가 사용되고 있다. PES는 현재 세계적으로 널리 사용하고 있고, 하드웨어, 펌웨어, 응용 소프트웨어로 구성되어 있다. PES의 실행이 높은 유연성을 가지고 있기 때문에 PES는 많은 응용분야에 쉽게 적용할 수 있다. 많은 안전 필수 기능들은 소프트웨어를 통해 수행되고 있다. 보통 PES는 매우 복잡하여 결함의 근원을 발견하기 쉽지 않다. 그래서 소프트웨어 결함허용 기법을 이용한 신뢰도 해석이 필요하다. 현재 소프트웨어 결함허용 기법에는 복구블록, 분산 복구 블록, N-버전 프로그래밍, N 자기검사 프로그램이 있다. 본 논문에서는 마르코프 모델을 이용하여 소프트웨어 결함허용 기법 중에 복구 블록과 N-버전 프로그래밍의 모델을 제시하였다. 또한 열차제어시스템의 신뢰도를 시간 변화에 따라 분석하였다. 프로그램의 결함 발생률, 수용테스트 결함발생률, 보터의 결함발생률은 고정시켰다. 그래서 시간과 신뢰도 사이의 관계를 Matlab 프로그램을 이용하여서 제시하였다. 같은 수의 대체블록이 있는 경우에 신뢰도 분석결과 복구 블록의 신뢰도는 N-버전 프로그래밍의 신뢰도보다 높게 해석되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1741-1744
• /
• 2003

본 논문에서는 NHPP 에 근거한 N 버전 프로그래밍 시스템의 SRGM 을 제안한다. 비록 많은 연구 논문에서 NVP, 시스템 신뢰도에 대해서 연구노력을 기울여 왔지만 그들 대부분이 안정된 신뢰도에 대해서만 고려해 왔다. 테스트 및 디버깅 동안 결함이 발견되면 디버깅 노력은 결함을 제거하는데 집중된다. 소프트웨어가 너무 복잡하므로 이러한 결함을 성공적으로 제거한다는 것이 쉽지 않으며, 또 다른 새로운 결함이 소프트웨어에 도입될 수도 있다. 일반화된 NHPP 모델을 NVP 시스템에 적용하여 새로운 NVP-SRGM이 수립된다. 제어시스템에 대한 단순화된 소프트웨어 제어에서 이러한 새로운 소프트웨어 신뢰도 모델을 어떻게 적용하는지를 보여주고 있다. 소프트웨어 신뢰도평가에 s 신뢰도 구간을 준비하였다. 이 소프트웨어 신뢰도 모텔은 신뢰도를 평가하는데 쓰일 수가 있어서 NVP 시스템의 성능을 예측하는데 쓰일 수 있다. 일반적인 산업사회에 적용하여 상용화하기 위해서는 내결함 소프트웨어의 신뢰도를 정량화하기 위해 제안된 NVP-SRGM을 충분히 인증하는데 좀더 적용이 필요하다. NVP 신뢰도 성장 모델링을 하는 이러한 종류의 첫 모델로서 제안된 NVP-SRGM은 독립 신뢰도 모델의 단점을 극복하는데 쓰일 수 있다. 이는 독립적인 모델보다 더욱 더 정확하게 시스템 신뢰도를 예측할 수 있으며, 언제 테스트를 중단해야 하는가를 결정하는 데에도 쓰일 수 있으며, 이는 NVP 시스템 개발 수명주기 단계를 테스트 및 디버깅함에 있어서 핵심 질문사항이다.

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

내고장성(fault - tolerance)을 향상시키면서 소프트웨어의 신뢰도를 최적화하는 두가지 접근법으로서 수정복구 블록 스킴과 N-버전 프로그래밍 기법이 있다. 본 연구에서는 중복모줄을 가지고 소프트웨어의 신뢰도를 극대화하기 위한 하나의 알고리즘으로서 수정복구 스킴을 제안한다. 개발소프트웨어의 최적구조를 결정하는 기법을 수립하기 위해 최적화 공정 결과를 적용한다. 주어진 가용자원 범위 내에서 정규실행모줄과 테스트모줄의 신뢰도 및 확률을 계산하여 소프트웨어 시스템의 신뢰도를 극대화하기 위한 소프트웨어의 형상을 고찰한다. 간단한 예로서 한 개의 경우를 예시한다.