우리별 위성 패킷 통신 프로토콜의 모델링과 검증MODELLING AND VERIFICATION OF KITSAT PACKET COMMUNICATION PROTOCOLS
본 논문은 우리별 1, 2호에 탑재된 패킷 통신 프로토콜을 이론적으로 검증하기 위해, 먼저 AX.25 프로토콜과 PACSAT 프로토콜을 확장형 페트리 네트로 모델링하고, 도달성 나무 기법을 이용하여 패킷 프로토콜에 대한 정확성, 제한성, 생존성, 그리고 데드록 없음 등을 검증한다.
- Publisher
- 한국우주과학회지
- Issue Date
- 1996-12
- Language
- Korean
- Citation
한국우주과학회지, v.13, no.2, pp.137 - 148
- ISSN
- 1598-5601
- Appears in Collection
- EE-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.