에러처리 SPN 모델링

Error Handling SPN Modeling

  • 노철우 (신라대학교 컴퓨터 공학과)
  • 발행 : 2011.05.20

초록

fault와 에러를 구분하여 정의한 후, 에러처리를 위한 시스템 상태를 fault, 에러, 회복, benign, mon1, mon2의 상세 상태로 분류하고, 이들 상태를 묘사해 줄 수 있는 추계적 페트리 네트를 이용하여 시스템 에러 처리를 모델링 한다. 시스템이 수십년이 지나면 궁극적으로 다운되는 비신뢰도를 모델로 부터 구할 수 있음을 보여준다.

키워드