• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.646-648
• /
• 1999

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 가변적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 Object(GEODE의 SDL Design Tracer를 이용하여 문법적인 오류를 검사하고, MSC를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.313-315
• /
• 2003

국내 철도신호설비들이 점차 전자화 되어감에 따라 이러한 신호제어장치간 인터페이스를 위한 표준 통신 프로토콜의 필요성이 점점 증대되고 있다. 본 논문에서는 이러한 기존의 철도신호용 프로토콜에 대한 분석을 하였다 그리고 철도신호용의 새로운 프로토콜의 설계를 위한 데이터 링크 프로토콜의 성능평가 모델을 설명하고, 이를 바탕으로 새롭게 설계된 철도신호용 통신 프로토콜에 대한 구조를 제시하고 성능평가 모델에 의한 기존의 프로토콜과 비교분석을 수행하였다. 프로토콜 평가모델에 의한 기존 프로토콜과 설계한 프로토콜의 비교결과 많은 성능개선이 있음을 확인하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.4
• /
• pp.509-518
• /
• 1993

Protocol conversion is to resolve the imcompatibility between networks so that users on different protocols can communicate with each other. This paper designs a formal model, EPN , to increase its modeling power and analyze conversion protocol and proposes a conversion algorithm using it. The conversion algorithm has two capabilities : synchronization and automatic error recovery function. Therefore burden of protocol converter design will be reduced, automatic protocol converter design can be possible and implementation for half-gateway will be easy.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.379-381
• /
• 2001

본 논문에서는 가입자함의 광대역화 밀 고속화를 실현하는 방안으로 개발되고 있는 광대역 무선가입자망(B-WLL) 시스템 기지국장치의 MAC 프로토콜을 설계하고 구현하였다. MAC 프로토콜은 제한된 무선자원을 효율적으로 사용하기 위한 프로토콜로서 , 무선매체를 이용하여 통신서비스를 제공하는 시스템에 필수적이다. 본 논문에서 설계한 기지국장치 MAC 프로토콜은 실시간처리부, 타이밍관련처리부, MPEG2-TS 관련처리부. 그리고 CRC 처리부를 하드웨어로 설계하고. 이론 제어하고 MAC 프로토콜 동작절차를 수행하는 부분을 MAC 프로토콜 소프트웨어를 설계하였다. MAC 소프트웨어는 MAC 응용부 Network 인터페이스부, 콘솔입출력 처리부로 나누어 설계하였으며, 본 논문에서 설계된 기지국장치 MAC 프로토플은 향후. B-WLL 시스템의 실제 테스트베드로 이용하여 시스템의 전체적인 성능을 검증할 수 있다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.311-314
• /
• 2000

IMT-2000과 PCS를 연계 서비스하기 위해, 망 구성과 신호 프로토콜을 기반으로 로밍을 위한 연통 프로토콜을 설계하였다. 먼저 여전히 상당부분의 서비스를 차지하게 될 회선 방식의 음성 서비스에 대하여 기본 호 선정 전차와 해제 절차를 고려하였고, 미래의 주요 서비스로 예상되는 인터넷 서비스를 지원하기 위한 패킷 데이터 서비스의 프로토콜과 그 신호절차 설계를 포함하였다. 설계한 프로토콜은 기존 프로토콜에 대해 변형을 가하지 않기 때문에 시스템에 대한 무리가 없으며, IMT-2000과 PCS의 호 선정시 기본 지상망을 거치지 않기 때문에 효율적이라 할 수 있다

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.06a
• /
• pp.244-247
• /
• 2001

본 논문에서는 IMT-2000과 PCS를 연계 서비스하기 위해, 망 구성과 신호 프로토콜을 기반으로 로밍을 위한 연동 프로토콜을 설계 및 구현하였다. 먼저 미래의 주요 서비스로 예상되는 인터넷 서비스를 지원하기 위한 패킷 데이터 서비스에 대하여 기본호 설정 절차와 해제 절차를 설계하였으며 설계한 연동 프로토콜의 동작성을 확인하기 위하설 프레디키트/액션 패트리네트를 사용하여 모델링하고 도달성 트리를 도출하여 설계한 프로토콜이 올바르게 수행됨을 확인하였다. 이렇게 검증된 프로토콜을 두 대의 워크스테이션에서 UNIX 소켓을 이용하여 구현하고, 프로토콜의 적합성 시험에서 가장 많이 사용되는 국부 시험 방법으로 테스트하여 구현된 연동 프로토콜이 정상적으로 수행됨을 확인하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.4
• /
• pp.331-340
• /
• 1990

In communication protocol design, it is important that design procedure is simple and result protocol must be correct. This paper presents a communication protocol synth-sizing algorithm, which enhances productivity of protocol design, using CFSM. CFSM is defined as extended FSM for representing protocol information and simplification. In this method protocol designer descripts only one communication machine with out error consideration using FSM, then two communication machine M' and N' are generated. And then transformation rules for error-recovery converts M' and N' to EM' and EN' which are logically correct.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.573-580
• /
• 2002

Reusing IPs requires interface protocol related tasks such as writing test benches and designing interface protocol conversion circuits, e.g. wrappers for IPs. The results of those tasks usually include IPC(interface protocol component)s for the corresponding IPs, similar to bus protocol components of the bus functional models. This paper proposes a methodology for the interface circuit design using synthesizable In that can be re-used. IPC recognizes or executes transactions over the given interface ports. So we present a transaction-oriented interface protocol description language, and a method to convert the description into an IPC in synthesizable VHDL code. With experiments, we show that the interface design using IPC does not cause significant area overhead compared with the interface design without IPC. The proposed IPC-based approach can be employed to reduce the interface design time since the designers can reuse IPCs without understanding the detailed interface protocols.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.307-309
• /
• 2002

본 논문에서는 가입관망의 광대역화 및 고속화를 실현는 방안으로 개발되고 있는 광대역 무선접속시스템 가입자국의 MAC 프로토콜을 설계하고 구현하였다. MAC 프로토콜은 제한된 무선자원을 효율적으로 사용하기 위한 프로토콜로서, 무선매체를 이용하여 통신서비스를 제공하는 시스템에 필수적이다. 본 논문에서 설계한 가입자국 MAC 프로토콜은 실시간처리부, 타이밍관련처리부, 상향스트림제어처리부, 그리고 하향스트림처리부를 하드웨어로 설계하고, 이를 제어하고 MAC 제어메시지 동작절차를 수행하는 부분과 망접속부를 소프트웨어를 설계하였다. MAC 소프트웨어는 MAC 응용부, Timer 처리부, Event 처리부, Network 인터페이스부로 나누어 설계하였으며, 본 논문에서 설계된 가입자국 MAC 프로토콜은 향후, 광대역무선접속시스템의 실제 테스트베드에 이식하여 시스템의 전체적인 성능을 검증할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.673-675
• /
• 2002

본 논문에서는 신뢰성 있는 통신을 요구하는 철도신호용 정보전송을 위해 설계한 프로토콜과 이 설계된 프로토콜의 데이터 링크제어의 성능분석을 위한 시뮬레이터의 개발에 대해 설명한다. 우선 철도신호용 통신 프로토콜의 성능분석을 위해 Matlab／Simulink 윈도우상의 데이터 링크제어 시스템 화면에서 사용자 인터페이스 블록을 통해 통신 파라미터들을 선택하여 시뮬레이션을 행할 수 있는 시뮬레이션 툴과, Matlab이 제공하는 Rs232통신용API 기능을 이용하여 철도 신호장치간의 통신 프로토콜을 PC상에서 에뮬레이션 할 수 있는 시뮬레이터를 설계하였다.