MODELLING AND VERIFICATION OF KITSAT PACKET COMMUNICATION PROTOCOLS

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

  • 이영로 ;
  • 성단근
  • Published : 1996.06.01

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.

Keywords