• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.720-723
• /
• 2005

실시간 시스템의 기술 및 분석에 사용되는 정형적 방법 중에 시간 개념을 도입하고 시간 연산자를 추가한 프로세스 대수학들이 많이 발표되어지고 있다. 그 중에서도 ACSR은 동기적으로 발생하는 timed action과 비동기적으로 발생하는 event로 시스템을 기술하는 기법이다. timed action은 공유자원을 사용하면서 시간을 소모하는 과정을 나타내고, event는 프로세스 간의 동기화 과정을 기술한다. 실시간 시스템을 보다 효율적으로 표현하기 위하여 본 논문에서는 확률 개념이 추가된 PACSR을 정의한다. 또한 확장된 PACSR을 이용하여 자원할당시스템의 기술이 보다 효과적으로 이루어질 수 있음을 보이고자 한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 추계종합학술대회
• /
• pp.927-930
• /
• 2005

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