메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지(A) 정보과학회논문지(A) 제25권 제10호
발행연도
1998.10
수록면
1,132 - 1,142 (11page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
ITU-T의 SG 13에서는 광대역 액세스 망과 서비스 노드 사이에서 요구(on demand)에 의한 ATM 연결의 설정을 위하여 광대역 베어러의 연결 제어(B-BCC: Broadband Bearer Connection Control) 프로토콜을 표준화하고 있다. 현재 표준화 중인 B-BCC 프로토콜은 점대점 연결에 관련된 메시지 및 절차만을 포함하고 있다. 본 논문에서는 점대다중점 연결을 지원하기 위하여 B-BCC 프로토콜을 확장하였으며, 복잡성을 줄이기 위하여 기존 프로토콜의 상태도를 단순화하였으며, 비정상 상황에 대한 절차를 추가하였다. 본 논문에서 제안한 B-BCC프토토콜의 정확성을 확인하기 위하여 설계 언어인 PROMELA로 모델링 하였으며, 자동 도구인 SPIN을 이용하여 검증하였다.

목차

요약

Abstract

1. 서론

2. VB5 인터페이스 및 B-BCC 시스템

3. B-BCC 프로토콜의 확장

4. B-BCC 프로토콜의 모델링 및 검증

5. 결론

참고문헌

저자소개

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017732984