상용 결함허용 시스템의 의존도 분석

컴퓨터 시스템이 처음 개발되던 시절부터 시스템의 신뢰성이나 안전성 등은 주요 관심사가 되어 왔다. 보다 더 신뢰성 있고 안전한 시스템에 대한 사회적 요구에 의해 최근의 컴퓨터 시스템들은 결함허용 기법을 사용하는 서브 모듈들로 컴퓨터 시스템을 구성하고 있다. 이러한 컴퓨터 시스템들이 연구되어지고 그 결과물로써 현실화되어 졌을 때, 그 시스템의 의존도(신뢰도, 가용도, 유지도, 안전도 등)는 평가되고 확인되어져야 한다. 본 논문에서는 마르코프 모델을 사용하여 대표적인 상용 결함허용 시스템내의 서브 모듈들의 의존도를 구하는 효율적인 분석 모델을 제안하고, 서브 모듈들과 결함허용 시스템 전체의 의존도를 평가한다.