확장된 Petri Nets을 이용한 TDX 내부 프로토콜 검증 Validation of TDX Protocols Using Extended Petri Nets

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 231
  • Download : 0
하나의 새로운 프로토콜을 만들기 위해서는 프로토콜의 요구사항 정립, 규격의 기술, 검증, 구현, 적합성 시험 등의 단계를 거쳐야 한다. 본고에서는 한국 전자통신 연구소에서 구현하고 있는 ISDN 교환기인 TDX-10™간의 패킷 통신을 위한 내부 프로토콜의 1차 규격에 대한 검증을 위하여 모델링 도구로 많이 사용하고 있는 패트리 네트(Petri Nets)를 확장하고 여기에 통신 프로토콜의 필수요소인 시간기능을 추가하여 내부 프로토콜을 모델링하고 도달성 나무(reachability tree) 분석에 의한 검증사항을 기술한다.
Publisher
한국정보과학회
Issue Date
1991-01
Language
Korean
Citation

정보과학회논문지, v.18, no.1, pp.46 - 57

ISSN
1738-6322
URI
http://hdl.handle.net/10203/67178
Appears in Collection
EE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0