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

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

SPIN과 ACSR-VP를 이용하여 Process Scheduling 모델링

Process Scheduling modeling using SPIN and ACSR-VP

  • 방기석 (고려대학교 컴퓨터학과) ;
  • 허윤정 (고려대학교 컴퓨터학과) ;
  • 최진영 (고려대학교 컴퓨터학과) ;
  • 유혁 (고려대학교 컴퓨터학과)
  • Bang, Ki-Seok (Department of Computer Science and Engineering, Korea University) ;
  • Hur, Yoon-Jeong (Department of Computer Science and Engineering, Korea University) ;
  • Choi, Jin-Young (Department of Computer Science and Engineering, Korea University) ;
  • Yoo, Chuck (Department of Computer Science and Engineering, Korea University)
  • 발행 : 1998.10.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서 Holzmann이 제시한 커널 스케줄링 방식이 Liveness를 만족하지 못하며, 자원의 충돌이 일어남을 알제브라 ACSR-VP를 이용해서 확인하였고, SPIN과 LTL formula를 이용하여 검증하였다. 이것을 SPIN과 ACSR-VP를 이용하여하여 오류가 없는 새로운 모델을 제시하였다.

키워드