다중 유한상태머신 기반 병렬적 도달성 분석 기법

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2010년 춘계 학술대회

한글제목(Korean Title)	다중 유한상태머신 기반 병렬적 도달성 분석 기법
영문제목(English Title)	A Parallel Reachability Analysis Method Based on Multiple Finite State Machine
저자(Author)	이정선 이우진 신영술 카오 티 리 Jung Sun Lee Woo Jin Lee Youngsul Shin Cao Thi Ly
원문수록처(Citation)	VOL 17 NO. 01 PP. 0966 ~ 0968 (2010. 04)
한글내용 (Korean Abstract)	컴퓨팅 자원의 확보가 용이해짐에 따라 이러한 자원을 최대한 활용하려는 시도가 늘어나고 있다. 시스템을 검사하는 정형적 기법으로써 많이 사용되고 있는 모델 체킹은 상태폭발 문제를 완화하기 위해서 여러 컴퓨팅 자원을 한꺼번에 사용하려는 연구가 이루어져 왔다. 하지만 이 기법 역시 여러 상태 모델들이 하나로 합쳐지면서 여전히 상태폭발 문제를 발생 시킨다. 본 논문에서는 이러한 문제가 나타나는 원인을 지적하고 이를 해결하기 위해 모델 체킹의 기본 요소인 새로운 병렬적 도달성 분석 기법을 제시한다.
영문내용 (English Abstract)
키워드(Keyword)
파일첨부	PDF 다운로드