• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.597-599
• /
• 1998

기존의 공중전기통신망들이 B-ISDN으로 통합, 발전되어 가는 과정에서 경제성 및 효율성 등의 이유로 인해 필연적으로 기존망과 새로 구현하는 망 사이의 연동과정이 필요하게 되며 가능한 기존망의 기능을 수용하면서 구현될 수 있는 방안이 마련되어야한다. 본 논문에서는 B-ISDN과 Internet의 망간 프로토콜인 B-ISUP와 TCP/IP의 연동 프로토콜을 설계하고 연동 프로토콜을 검증하기 위해 페트리네트(petrinet)의 확장인 프레디키디(predicate)/액션(action) 네트를 이용하여 모델링하였다. 또한 동작성 확인을 위해 도달트리(reachability tree)를 이용하여 설계한 프로토콜이 교착상태(deadlock)없이 정상적으로 수행됨을 보였다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.2 s.344
• /
• pp.96-104
• /
• 2006

This paper presents design methodology, encient verification and implementation of a CAN protocol controller. The design methodology uses a heuristic technique to make the design flexible and cost effective. Using the design methodology, we created architecture for a CAN controller which has flexible and low cost features. For faster time-to-market and reliable operation of the designed CAN protocol controller, we p개posed a three-step verification process which uses three different kinds of verification techniques. The goal of this three-step verification is to reduce the number of test sequences in order to rapidly implement the design without loss of reliability for faster time-to-market. The designed CAN protocol controller was fabricated using a 0.35 micrometer CMOS technology.

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

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

• 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 Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.1019-1022
• /
• 2006

본 논문에서는 RFID Tag을 위한 개선된 인증 프로토콜의 설계 및 검증에 관하여 기술한다. 제안한 프로토콜은 ISO/IEC 18000 standard를 기본으로하고 있으며, 강인한 인증을 위해 표준 프로토콜 frame format 을 수정한다. 상호 인증을 위해 three-way challenge response 프로토콜을 사용하며, 인증 알고리듬은 SHA-1이 추가되었다. 제안한 프로토콜의 검증을 위해 Xilinx ISE 6.2i 툴을 사용하여 RFID Tag의 디지털 part를 설계하였고, Virtex Xcv4000 FPGA 를 타겟으로 합성을 수행하였다. RFID Tag의 디지털 part는 Mentor's Modelsim을 이용하여 시뮬레이션을 수행하였고, 동작속도는 약 75MHz를 가지며, 1290개의 슬라이스가 사용되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.880-882
• /
• 2004

본 논문에서는 차세대 이동통신 시스템으로 개발되고 있는 HMm시스템의 3계층 프로토콜 전송절차 검증 및 SIP기반의 VoIP서비스 및 웹브라우징 서비스를 제공할 수 있는 가상 단말을 설계하고 구현하였다. 현재 구현된 가상단말은 SIP서비스를 위한 UA기능과 웹 브라우징 기능을 포함하고 있으며, UA간의 직접적인 통화 기능 및 Proxy를 이용한 통화 기능, 그리고 웹 브라우징 기능을 시험하였다. 향후 개발된 가상단말을 바탕으로 보다 확장된 SIP헤더를 처리하고 HMm 3계층 프로토콜을 세부적으로 검증할 수 있는 기능을 추가할 예정이다.

• The KIPS Transactions:PartC
• /
• v.8C no.2
• /
• pp.189-197
• /
• 2001

공안된 통신 언어인 SDL을 이용하여 시스템을 설계하고, SDL 개발 도구인 SDT를 이용하여 실행 가능한 소프트웨어를 개발하고 실제 타겟 시스템과 동일한 환경에서 개발된 기증을 검증하는 개발 순기를 모두 수용하는 시뮬레이터의 개발이 대규모의 복잡한 통신 프로토콜에서는 필요하다. 본 논문에서는 IMT-2000 무선 프로토콜의 한 엔티티인 계층 2의 무선 링크제어 프로토콜 엔티티 RLC-AM(Acknowledged mode)의 개발 및 검증을 위하여, RLC-AM을 설계 및 구현한 후 이의 실행화일을 호스트 상에서 수행시킬 수 있는 호스트 시뮬레이터를 개발하였다. 호스트 컴퓨터상에서 SDT 개발환경, 컴파일 환경 및 운영체제 환경을 연동하여 개발된 호스트 시뮬레이터는 대상 프로토콜 엔티티를 MAC등 타 엔티티로 바꾸어서도 같은 방식으로 수행할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.706-708
• /
• 2004

일반적인 무선 통신망은 데이터 전송 고속화에 중심을 두고 발전해 왔으나, 최근 무선 센서 네트워크와 같은 응용 분야에서 소량의 데이터와 낮은 처리 속도를 지원하면서 저비용, 경량, 저전력을 요구하는 무선 통신 기술이 필요하게 됨에 따라 IEEE에서 LR-WPAN(Low Rate-Wireless Personal Area Network)을 위한 새로운 IEEE 802.15.4 표준이 제시되었다. 현재 무선 센서 네트워크에 관한 연구는 소형 경량의 MAC(Medium Access Control ) 프로토콜 개발이 핵심 기술로 인식되면서, 저전력 소모를 위한 라우팅 기법, MAC 프로토콜의 패킷처리 기술 등이 우선적으로 진행 중이다. 그러나 무선 센서 네트워크와 같은 응용분야에 사용 가능한 표준인 IEEE 802.15.4 MAC 프로토콜의 실질적인 상용화를 위해서는 표준안 분석 및 검증 과정이 기본적으로 선행되어야 한다. 본 논문에서는 IEEE 802.15.4 표준안의 핵심인 MAC 프로토콜을 정형화된 명세 언어인 SDL(Specification and Description Language)를 이용하며 상세 설계 및 분석 후, 자동화 도구를 이용한 모의수행을 통하여 검증하였으며 표준안과의 비교 및 오류 수정을 거친 연구결과를 기술한다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1358-1360
• /
• 2004

철도 신호제어장치들은 각자 고유의 기능을 수행하면서 각 장치간 통신링크를 통하여 하나의 신호제어시스템을 구성하고 있다. 특히 철도청에서 통합 CTC 시스템을 구축하면서 신호제어시스템 이외의 SCADA나 여객정보안내 시스템 등과도 인터페이스를 통해 기존의 열차제어 기능만을 수행하는 것에서 타 시스템과의 통신을 통한 종합적인 정보시스템으로 발전하고 있다. 이러한 CTC장치와 외부설비들간의 인터페이스는 철도정보시스템의 발달에 따라 매우 중요한 부분이 되고 있으며, 본 논문에서는 이중 SCADA 장치와의 인터페이스를 위한 프로토콜 구조를 연구하였다. 이에 따라 본 논문에서는 기존의 도시철도, 경부고속철도 등의 프로토콜의 분석을 바탕으로 철도청 통합 CTC와 SCADA 장치간 통신을 위해 설계한 프로토콜 구조를 제시하고, 또한 설계한 프로토콜에 대한 안전성과 필연성을 정형검증(Formal Verification) 결과를 설명한다.

• 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 시스템의 실제 테스트베드로 이용하여 시스템의 전체적인 성능을 검증할 수 있다.