Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2004.04a
  • /
  • Pages.25-27
  • /
  • 2004
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Verification of Leader Election Algorithm with CSP/FDR

CSP/FDR을 이용한 리더 선출 알고리즘의 검증

  • Published : 2004.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

시스템이 대형화가 되어가고 네트워크 환경이 발전함에 따라 분산 환경이 점점 더 증대되어 가고 있다. 이러한 분산 환경에서 사용되는 리더 선출 알고리즘(Leader Election Algorithm)은 다양하게 제시되었고 본 논문에서는 Garcia-Molina가 제시한 Bully 알고리즘을 프로세스 알제브라 언어인 CSP로 명세하고 FDR 모델체킹 도구를 이용해 해당 요구사항을 만족하는지 검증하였다.

Keywords