기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
확장된 선형 탐색에 의한 프로토콜 검증
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • 확장된 선형 탐색에 의한 프로토콜 검증
저자명
이홍규,윤현수,김병만,공재철,황시영
간행물명
한국통신학회논문지
권/호정보
1992년|17권 6호|pp.558-571 (14 pages)
발행정보
한국통신학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

본 논문에서는 프로토콜 검증을 위한 상태 탐색시에 발생하는 상태의 무한정한 증가를 방지하고 상태 탐색의 효율성을 높이기위하여 화장된 선형 탐색이라고 불리우는 상태탐색 방법을 제안하였다. 본 논문에서 제안된 확장된 선형 탐색방법은 모든 전달가능한 상태를 탐색할 필요가 없으며 한 프로세스에서 다른 프로세스의 통신노선이 하나이상이 존재하고 상호통신중인 프로세스의 상태변이가 같은 속도로 진행되며 메세지의 통신형태가 하나의 사이클을 구성할수 있다면 2개 이상의 프로세스 사이에서리 통신 프로토콜을 검증할수가 있다. 본 논문에서 제시된 방식에의하여 종전에 제시되었던 선형탐색 방식에 의한 프로세스간통신 형태에 대한 제약을 제거할수있다. 또한 본 논문에서 제시된 알고리즘은 되도록 에러및 규정되지않은 리셉숀 에러들을 검출 할 수가 있으며 종전의 perturbation방식보다 훨씬 적은 기억용량에서도 수행가능하고 또한 그 수행속도도 매우 빠르다. 따라서 본 논문에서 제시된 방식은 N개의 프로세스 사이의 충돌 및 상호 교란에대한 하나의 해답을 제시하고있다.

기타언어초록

In this paper, we propose an improved method of state exploration called the extended circular exploration (ECE) for the efficiency of state exploration and the reduction of explosively growing state. The ECE does not need to explore all the reachable global states, and It can be applied to JV($oxDr$$geq$ 2) -party protocol with alternative routes, i.e., it is applicable to the protocol In which adaptiverouting mechanism can be performed. The ECE eliminates a restriction of topology of the conventional circular exploration(CE) by exploring only those global states which are reachable, provided that the participant processes of any group of transitions proceed at the same speed, and that they can be formed as a cycle. Thus the state space explored if not exhaustive. The algorithm presented can detect deadlock error and unspecified reception error It requires storage space and /or execution time much less than those of the conventional perturbation(CP) . It might be used for a solution of the N-process collision and the interference mechanism.