Journal of Astronomy and Space Sciences

The Korean Space Science Society (한국우주과학회)
권호 표지

MODELLING AND VERIFICATION OF KITSAT PACKET COMMUNICATION PROTOCOLS

우리별 위성 패킷 통신 프로토콜의 모델링과 검증

  • 이영로 (충남 산업대학교 전자계산과) ;
  • 성단근 (한국과학기술원 인공위성연구센터)
  • Published : 1996.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, in order to verify KITSAT 1/2 packet communication protocols, we model the AX.25 protocol and PACSAT protocol by using an extended Petri net and then verify the correctness, boundedness, liveness and deadlock freeness of packet protocols by utilizing reachability trees.

본 논문은 우리별 1, 2호에 탑재된 패킷 통신 프로토콜을 이론적으로 검증하기 위해, 먼저 AX.25 프로토콜과 PACSAT 프로토콜을 확장형 페트리 네트로 모델링하고, 도달성 나무 기법을 이용하여 패킷 프로토콜에 대한 정확성, 제한성, 생존성, 그리고 데드록 없음 등을 검증한다.

Keywords