Proceedings of the Korea Contents Association Conference (한국콘텐츠학회:학술대회논문집)
- 2011.05a
- /
- Pages.569-570
- /
- 2011
Error Handling SPN Modeling
에러처리 SPN 모델링
Abstract
fault와 에러를 구분하여 정의한 후, 에러처리를 위한 시스템 상태를 fault, 에러, 회복, benign, mon1, mon2의 상세 상태로 분류하고, 이들 상태를 묘사해 줄 수 있는 추계적 페트리 네트를 이용하여 시스템 에러 처리를 모델링 한다. 시스템이 수십년이 지나면 궁극적으로 다운되는 비신뢰도를 모델로 부터 구할 수 있음을 보여준다.
Keywords