패킷 s / w 성능분석 Tool의 설계 및 구현

본 논문은 패킷 교환망이 연결설정 프로토콜에 적용할 수 있는 패킷 s/w의 성능분석 도구의 설계 및 구현에 관한 연구로서, 본 논문에서는 프로토콜의 대수적명세로 부터 자동적으로 프로토콜의 성능을 분석하는 방법론과 프로토콜의 대수적 명세를 사상하는 규칙과 각 event의 지수적인 발생 비율을 가지고 timing behavior의 probability attribute의 probability값을 계산하는 방법을 제시 하였다. 본 논문에서 개발한 성능분석 도구의 유용성은 기능 및 성능명세와 프로토콜의 분석을 통합한 s/w의 개발과 구현에 있다. 이러한 통합환경은 프로토콜 설계자가 그 분야에서 전문적인 지식 없이도 프로토콜 성능을 분석할 수 있게 한다.