• 제목/요약/키워드: Protocol Design and Verification

검색결과 121건 처리시간 0.026초

PMIPv6 망에서 NEMO 지원을 위한 MR 연동 알고리즘의 설계 및 구현 (Algorithm Design and Implementation of Interworking with MR for NEMO in PMIPv6 Network)

  • 민상원
    • 한국통신학회논문지
    • /
    • 제34권6B호
    • /
    • pp.615-622
    • /
    • 2009
  • 본 논문에서는 PMIPv6(Proxy Mobile IPv6)망에서 네트워크 이동성을 지원하기 위하여 NEMO(NEtwor Mobility)가 PMIPv6 망에 접속하면 MR(Mobile Router)이 보내오는 BU(Binding Update)를 통하여 MAG(Mobile Access Gateway)가 이를 인지하고 MR과 터널을 형성할 수 있도록 알고리즘과 기존의 BCE(Binding Cache Entry)에 추가되는 데이터 필드를 제안하였다. 이를 이용하여 MR에 속해 있는 단말이 전송하는 패킷도 폐기 되지 않게 하였으며, 제안한 방식은 기존의 NEMO를 그대로 PMIPv6에 적용이 가능한 장점이 있다. 제안한 알고리즘을 통하여 PMIPv6 망에서도 네트워크 이동성을 지원할 수 있도록 하였으며, 알고리즘의 증명을 위해 실제 구현을 통하여 기존의 방식의 경우와 알고리즘의 적용과 데이터 필드의 추가로 실제 통신이 가능하다는 것을 증명하였다.

Global Healthcare Information System

  • Singh, Dhananjay;Lee, Hoon-Jae;Chung, Wan-Young
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2008년도 추계종합학술대회 B
    • /
    • pp.365-368
    • /
    • 2008
  • This paper presents a new concept of IP-based wireless sensor networks and also introduces a routing protocol that is based on clustering for global healthcare information system. Low-power wireless personal area networks (LoWPANs) conform the standard by IEEE 802.15.4-2003 to IPv6 that makes 6lowpan. It characterized by low bit rate, low power, and low cost as well as protocol for wireless connections. The 6lowpan node with biomedical sensor devices fixed on the patient body area network that should be connected to the gateway in personal area network. Each 6lowpan nodes have IP-addresses that would be directly connected to the internet. With the help of IP-address service provider can recognize or analysis patient biomedical data from anywhere on globe by internet service provider equipments such as cell phone, PDA, note book. The system has been evaluated by technical verification, clinical test, user survey and current status of patient. We used NS-2.33 simulator for our prototype and also simulate the routing protocols. The result shows the performance of biomedical data packets in multi-hope routing as well as represents the topology of the networks.

  • PDF

인증 트리 기법을 이용한 효율적인 스트림 인증 기법 (An Efficient Stream Authentication Scheme using Tree Authentication)

  • 박용수;조유근
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제29권8호
    • /
    • pp.484-492
    • /
    • 2002
  • 본 논문에서는 인증 트리 기법을 이용하여 실시간으로 전달되는 스트림 데이타를 인증하는 효율적인 기법을 제시한다. 제시한 기법은 높이가 낮은 인증 트리를 설계하여 송신 서버의 계산량이 매우작으며, 인증 트리 내 인증 정보를 패킷에 적절히 분배하여 수신자가 데이타를 검증 시 검증 확률이 매우 높다. 본 논문에서는 제안된 기법의 검증 확률을 해석적으로 분석한 결과를 제시하였다. 기존 기법들과 비교해보면 송신 서버의 계산량은 기존 기법 중 가장 우수한 GM의 기법과 거의 비슷한 수준이며, 시뮬레이션을 통해 검증 확률을 측정한 결과 기존 기법들보다 월등히 높은 검증 확률을 보였다.

iPROVE 기반 SoC 검증을 위한 트랜잭터 구현 (A Transactor Implementation for SoC Verification with iPROVE)

  • 조종현;조중휘
    • 대한전자공학회논문지SD
    • /
    • 제44권4호
    • /
    • pp.73-79
    • /
    • 2007
  • 본 논문에서는 트랜잭터를 정형화하고 DUT(Design Under Test)의 다양한 입출력에 따라 자동으로 트랜잭터를 생성해주는 생성기를 구현하였다. 호스트 컴퓨터와 FPGA(Field Programmable Gate Array) 사이의 PCI(Peripheral Component Interconnect) 인터페이스 신호들로 구성된 트랜잭터 프로토콜에 의존하는 블록과 DUT에 의존하는 블록으로 신호들을 재정리 함으로써 트랜잭터를 정형화하고 설계하였다. 구현된 트랜잭터의 자동 생성기는 DUT의 입출력에 관한 정보를 GUI(Graphical User Interface)를 통하여 입력받아 정형화된 하드웨어 블록들을 근간으로 입력정보를 추가하여 각각의 블록들을 만들어 하나의 Verilog 코드로 생성하는 동작을 한다. 자동 생성기의 정상동작을 확인하기 위하여 이미 검증된 하드웨어 블록을 이용하여 생성된 트랜잭터의 정상동작을 입증하였고, 사용자가 직접 설계한 트랜잭터와 비교함으로써 생성된 트랜잭터의 효율성을 입증하였으며 DUT의 다양한 입출력 정보들에 대하여 융통성 있게 동작하는 자동 생성기를 검증하였다. 트랜잭터 자동 생성기를 이용하는 경우 트랜잭터 설계시간을 단축 할 수 있고, 사용자가 트랜잭터 프로토콜를 이해하고 트랜잭터를 설계하는 부담을 줄여 시뮬레이션 속도가 빠른 트랜잭션 레벨 검증모드를 쉽게 사용 할 수 있도록 하였다.

다중채널을 갖는 오토튜닝 온도 제어기 개발 (Development of Auto-tuning Temperature Controller with Multi-channel)

  • 이갑래
    • 문화기술의 융합
    • /
    • 제4권4호
    • /
    • pp.419-427
    • /
    • 2018
  • 본 연구에서는 하나의 제어보드로 여러 대의 제어 시스템을 동시에 제어 가능하도록 하는 다중채널 제어기능을 갖는 오토튜닝 온도제어기를 설계하고 구현한다. 제어기 보드는 다중채널 입력 및 출력 기능을 가지고 있으며, 여러 개의 제어 알고리듬이 서로 독립적이지만 동시에 동작하는 멀티채널 제어기이다. 먼저 다중채널 제어기능을 갖는 온도제어기 설계방법을 나타내고. 이를 구현하는 센서입력부 회로, 제어신호 출력부 회로, 파워제어부 회로 등의 하드웨어 회로를 설계한다. 또한 다중채널 온도 제어기의 성능을 모니터링 하기 위하여 온도 제어 출력신호의 직렬 통신 데이터 프로토콜을 설계하고, 구현된 다채널 온도제어기의 실제 시험을 통한 성능을 평가한다.

센서네트워크용 RFID Baseband 시스템 구현 (Implementation of RFID Baseband system for Sensor Network)

  • 이두성;김선형
    • 디지털산업정보학회논문지
    • /
    • 제4권4호
    • /
    • pp.9-19
    • /
    • 2008
  • In this paper, it is studied anti-collision algorithm based on the transmission protocol for RFID baseband system of the lSO/IEC 18000-6 Type-C regulation and designed the baseband part of RFID reader system using FPGA. To compensate this weak point of the slot random aloha algorithm which must have a long time to be dumped before deciding an appropriate slot size according to the number of surrounding tag, we suggested how to apply Bit By Bit algorithm to be able to recognize the tag when the tag is clashing. The design of the baseband part in the RFID reader system is accomplish by use of the ISE9.1i and I made an experiment on it targeting Spartan2. Construction verification is measured each block through Logic Analyzer and I can verify it has no error. I also compared and analyzed the performance between proposed algorithm and past algorithm and verified the improvement of performance.

고속열차용 Event Recorder 설계와 분석도구의 구현 (Implementation of Analysis Tool and Design of Event Recorder in Express Railway)

  • 김광렬;장동욱;한광록;손석원
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2008년도 하계종합학술대회
    • /
    • pp.1159-1160
    • /
    • 2008
  • For safety railway vehicle movement, analysis and recoding of railway vehicle speed and driving information has written by law. nowadays, base in europe, these system is spread of various advanced country. In this paper, We implement an event recorder which record the driving and breaking information of running railway vehicle. For the event recorder, We designed the data structures with data analysis tools and a protocol between Event recorder and data analysis tool. The verification of Analysis tool was tested by to made data by Event Recorder's emulator and information of real railway driving recording.

  • PDF

차량용 CAN 제어기의 설계 및 검증 (Design and Verification of Automotive CAN Controller)

  • 이종배;이성수
    • 전기전자학회논문지
    • /
    • 제21권2호
    • /
    • pp.162-165
    • /
    • 2017
  • 차량 내 다양한 전자 장치를 제어하기 위해 실시간 직렬 통신 프로토콜인 CAN(controller area network)이 개발되었다. 본 논문에서는 Verilog HDL을 이용하여 CAN 버전 2.0A, 2.0B를 만족하는 CAN 제어기를 설계하였다. 설계된 CAN 제어기는 FPGA로 구현하여 상용 칩과 연결하여 동작을 확인하였다. 0.18um 공정에서 합성하였을 때의 게이트 수는 약 7,800 게이트이다.

차량용 LIN 제어기의 설계 및 검증 (Design and Verification of Automotive LIN Controller)

  • 이종배;이성수
    • 전기전자학회논문지
    • /
    • 제20권3호
    • /
    • pp.333-336
    • /
    • 2016
  • 차량 내 전자장치에서 효과적인 서브 버스로서 표준화된 저속 직렬 통신 프로토콜인 LIN(local interconnect network)이 개발되었다. 본 논문에서는 LIN 버전 2.2A를 기반으로 LIN 제어기를 Verilog HDL을 이용하여 구현하였다. 구현된 LIN 제어기는 FPGA에서 동작을 확인하였으며 IP 형태로 제공되어 SoC 시스템에 통합이 가능하다. 0.18um 공정에서 합성하였을 때의 게이트 수는 약 2,300 게이트이다.

임베디드 교육용 라우터 실습장비의 구현 (Implementation of Embedded Educational Router System)

  • 박균득;정중수;정광욱
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권5호
    • /
    • pp.9-17
    • /
    • 2013
  • 본 논문에서는 교육용 임베디드 라우터 실습장비 설계를 제시하였다. 교육용 임베디드 라우터 실습장비는 사용자가 인터넷 환경에서네트워크 구성과 임베디드 라우터 프로그래밍 실습 교육을 할 수 있도록 설계 및 구현되었다. 정적 및 동적 라우팅 프로토콜과 방화벽을 지원하는 라우터 기술 교육용 시스템 설계를 임베디드 환경에서 이더넷 인터페이스를 바탕으로 제시하였다. 개발 환경으로는 CPU는 PXA255, 디버깅 환경은 ADS 1.2, RTOS는 uC/OS-ii, 개발 언어는 C 언어를 사용하였다. 교육 과정으로는 제공된 정적 및 동적 라우팅 프로토콜과 방화벽 프로그램을 컴파일 및 로딩이후 데모 동작의 ping 처리과정으로 이들 기능의 점검 후 ping 패킷 처리의 성능도 살펴보았다. 이후 데모 기능과 유사하게 동작하는 프로그래밍을 하도록 기술 교육을 단계별로 진행시키도록 하였다. 즉, 정적 및 동적 라우팅 프로토콜과 패킷 필터링에 따른 프로그래밍의 완성 및 이의 검증을 수행하도록 하였다.