정보과학회 논문지 A : 시스템 및 이론
Current Result Document :
| 한글제목(Korean Title) |
광대역 액세스 망을 위한 연결 제어 프로토콜의 설계 및 검증 |
| 영문제목(English Title) |
Design and Validation of a Connection Control Protocol for Broadband Access Network |
| 저자(Author) |
차영욱
최준균
한기준
Youngwook Cha
JunKyun Choi
Kijun Han
|
| 원문수록처(Citation) |
VOL 25 NO. 10 PP. 1132 ~ 1142 (1998. 10) |
한글내용
(Korean Abstract) |
ITU-T의 SG 13에서는 광대역 액세스 망과 서비스 노드 사이에서 요구(on demand)에 의한 ATM 연결의 설정을 위하여 광대역 베어러의 연결 제어(B0BCC : Broadband Bearer Connection Control) 프로토콜을 표준화하고 있다. 현재 표준화 중인 B-BCC 프로토콜은 점대점 연결에 관련된 메시지 및 절차만을 포함하고 있다. 현재 표준화 중인 B-BBC 프로토콜을 확장하였으며, 복잡성을 줄이기 위하여 기존 포로토콜의 상대도를 단순화하였으며, 비징성 상황에 대한 절차를 추가하였다. 본 논문에서 제안한 B-CCC프로토콜의 정확성을 확인하기 위하여 설계 언어니 PROMELA로 모델링 하였으며, 자동 도구인 SPIN을 이용하여 검증하였다. |
영문내용
(English Abstract) |
ITU-T SG 13 is standardizing broadband bearer connection control(B-BCC) protocol, which provides on-demand allocation of ATM channels between access network and service node. The existing B-BCC protocol recommends messages and procedures those are only related to the point-to-point connection. In this thesis, we extended the functions of B-BCC protocol to support point-to-multipoint connection, simplified the state diagram of the existing protocol to reduce the complexity, and added abnormal procedures. To check the correctness of the proposed B-BCC protocol, we modeled it usin the design language PROMELA, and validated it using the automated validation tool SPIN. |
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
