시스템 오류 분석

An Analysis of System Fault

ACSR은 실시간 시스템을 기술하고 분석하기 위한 시간 프로세스 대수학으로서, 동기적으로 발생 하는 timed action과 비동기적으로 발생하는 event의 기술을 지원한다. ACSR의 선택 연산에 확률개념을 도입하여 확장한 대수학이 PACSR이다. 이 논문은 PACSR을 이용하여 일반적인 자원할당시스템에서 시스템 오류의 발생 및 그 오류로부터의 복구 과정을 기술하고자 한다. 시스템 오류 발생과정이 오류 발생 확률과 복구 확률로부터 분석 가능함을 보였다.

ACSR is a timed process algebra for the specification and analysis of real-time systems, which supports synchronous timed actions and asynchronous instantaneous events. PACSR is an extended ACSR with the notion of probabilities in selection operation. Using PACSR, this paper represents a system fault occurrence and recovery from the fault in the general resource alteration system. The result shows that system fault occurrence can be analyzed from the fault occurrence probability and the recovery probability.