Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2004.04a
- /
- Pages.25-27
- /
- 2004
- /
- 1598-5164(pISSN)
Verification of Leader Election Algorithm with CSP/FDR
CSP/FDR을 이용한 리더 선출 알고리즘의 검증
Abstract
시스템이 대형화가 되어가고 네트워크 환경이 발전함에 따라 분산 환경이 점점 더 증대되어 가고 있다. 이러한 분산 환경에서 사용되는 리더 선출 알고리즘(Leader Election Algorithm)은 다양하게 제시되었고 본 논문에서는 Garcia-Molina가 제시한 Bully 알고리즘을 프로세스 알제브라 언어인 CSP로 명세하고 FDR 모델체킹 도구를 이용해 해당 요구사항을 만족하는지 검증하였다.
Keywords