• 한국철도학회논문집
• /
• 제10권3호
• /
• pp.365-371
• /
• 2007

The communication protocol for interface among railway signalling systems is designed and established as national standard in Korean from a few years ago. So the communication link for information transmission among railway signalling system can be a good example of application of this standard. Communication protocol which is standardized among Korean railway signalling is considered to apply information transmission. And we confirmed there is no the states of deadlock of livelock in std. protocol which is applied formal verification which is one of the analytic method for inspection of safety characteristics in the design course of protocol. But the safety of protocol has to necessarily accomplish this normal analysis approach about satisfying requirement matters with such this analytic approach. In this paper we analyzed the safety characteristics of standard protocol for Korean Railway signalling through the requirement matters for safety transmission of railway transmission system which is required in international standard. So through this study we confirm whether it satisfies safety requirement matters of the level which require in international standard and tried to confirm whether standard protocol has enough safety character in the real railway field.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.863-869
• /
• 2006

The existing Europe Standard, EN 50159 with respect of safety of railway signalling communication protocol has been changed into International Standard, IEC 62280. This Standard presents the requirement for safe communication between safety-related devices which connects with transmission system, there are both closed and open transmission system. Regardless of this international Standards, the communication protocol for interface between CTC communication server and external facilities has been standardized several years ago in our country, so this is applied to integrated CTC system in KORAIL. Two Standards are currently standardized as a protocol between CTC and external facilities, these standard protocols are also required high level safety as a communication link which is transmitted vital control information in common with the train control system. For that reason, we have made analysis of requirement for the safe transmission required by international standard. Under this analysis, we have studied safety features of communication protocol applying to our standard. In other words, we have researched that how many the requirement from international standard for safe transmission is reflected in domestic standard protocol, and also whether our standard makes sure of safety enough or not.

• 전기전자학회논문지
• /
• 제19권3호
• /
• pp.319-326
• /
• 2015

본 논문에서는 OPC 스택이 없는 제어기를 OPC DA 클라이언트와 통신하도록 하는 변환 소프트웨어 개발 기법을 제안한다. 제안된 기법은 OPC DA 표준 프로토콜에 기반을 둔 OPC 서버 구현, OPC 태그 및 포인트의 정보를 확인할 수 있는 GUI 개발, OPC 프로토콜에서 개방형 표준 프로토콜로 변환하는 변환모듈 개발 등의 3가지 과정으로 구성된다. OPC DA 표준 프로토콜에 기반을 둔 OPC 서버 구현 과정은 산업용 OPC DA 클라이언트와 OPC DA 프로토콜을 통하여 데이터를 주고받을 수 있도록 PC에 서버를 구현하는 단계이다. OPC 태그 및 포인트의 정보를 확인할 수 있는 GUI 개발 과정은 OPC 서버를 구동시키고 이를 윈도우 레지스트리에 등록하며 OPC 태그 및 포인트를 확인하고 직렬통신 데이터의 송수신 확인을 위한 GUI 개발 단계이다. OPC DA 프로토콜에서 개방형 표준 프로토콜로 변환하는 변환모듈 개발과정은 OPC DA 클라이언트로부터 수신된 OPC 태그의 데이터를 개방형 표준 프로토콜을 사용하는 산업용 제어기기와 직접적으로 통신을 할 수 있도록 프로토콜을 변환함으로써 데이터를 송수신 할 수 있는 변환모듈을 개발하는 단계이다. 개발된 소프트웨어의 효율성을 평가하기 위하여 본 논문에서 개발한 서버단의 소프트웨어와 OPC 클라이언트를 연결하고, 개방형 표준 프로토콜을 사용하는 5개의 샘플 제어기기와 연결하여 테스트 한 결과 전체 송수신 패킷 중에서 96.98%의 평균 통신 성공률을 나타내었다. 따라서 본 논문에서 제안한 OPC DA 변환 소프트웨어를 이용하여 Modbus 프로토콜을 지원하는 산업용 빌딩 제어 장치와 산업용 OPC DA 클라이언트 사이에 통신을 수행시킬 수 있음이 확인되었다.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제55권5호
• /
• pp.216-219
• /
• 2006

This paper presents an XML based standard specification of remote control protocol for home appliances. In the framework level, the XML protocol provides a useful bridge between services and platforms. The proposed protocol has been implemented into a personal video recorder for remote recording service. The results imply the potential of global standards for remote control by its minimum overhead in network and processor. The proposed XML is designated RCXML in this paper.

• 인터넷정보학회논문지
• /
• 제11권4호
• /
• pp.23-32
• /
• 2010

본 논문에서는 해쉬 기반 RFID 태그를 위한 보안성이 향상된 인증 프로토콜을 제안하고, 제안한 인증 프로토콜 기반으로 한 RFID 태그의 디지털 코덱을 설계한다. 제안한 프로토콜은 태그와 back-end 서버 사이에서 3-way 질의 응답 인증 프로토콜을 기본으로 하고 있으며, 안전한 인증 메커니즘을 구현하기 위해, ISO/IEC 18000-3 표준에서 규정된 3가지 타입의 프로토콜 패킷을 개선된 형태로 수정한다. 제안한 방법은 Man-in-the-middle과 Replay attacks과 같은 능동 공격의 방어에 특히 유효하다. 제안된 프로토콜의 효과를 검증하기 위하여 RFID 태그에서의 디지털 코덱은 Verilog HDL을 사용하여 설계하였고 Hynix $0.25\;{\mu}m$ standard-cell library을 갖춘 Synopsys Design Compiler을 이용하여 합성하였다. 보안 분석 및 실험결과를 통해, 본 논문에서 제안된 방법이 사용자의 데이터 보안, 태그 익명성, Man-in-the-middle attack 예방, replay attack, 위조방지 및 위치 추적 등에 서 성능이 개선됨을 보였다.

• ETRI Journal
• /
• 제19권3호
• /
• pp.303-315
• /
• 1997

This appendix deals with the Korean air interface standard, TTA-62, for CDMA Mobile Systems, (CMS) [1]-[2]. The standard has been set up by Telecommunications Technology Association (TTA) which is a standardization organization in Korea [3]. This standard is an important specification that should be determined prior to the development of a digital cellular system. The CMS has been developed on the basis of this standard and the papers published in this special issue are the results of the CMS development. This appendix also describes the technical commonality of these papers. It covers the outline of the air interface and protocol specifications. The outline includes its major characteristics, radio protocol architecture, functionalties, and call processing. A comparison is also given between TTA-62 and IS-95[4], a North American digital cellular standard.

• 한국통신학회논문지
• /
• 제29권3B호
• /
• pp.360-374
• /
• 2004

OSPF 프로토콜은 가장 보편적으로 사용되고 있는 Interior Gateway Routing Protocol 이다. 그러므로, 초고속 라우터의 동작의 신뢰성 확보를 위해, OSPF 프로토콜의 상호운용성과 안전성의 보장은 중요하다. 본 논문에서는 OSPF 라우팅 프로토콜의 표준 문서를 분석하여, 프로토콜 동작들을 대수 정형 방법을 사용하여 상세 설계 수준으로 명세하고, OSPF 프로토콜의 가용한 원천코드를 참조하여, 표준에 명확하게 명세되지 않은 좀더 상세한 동작까지 표현하도록 이 명세를 보완하였다. 그리고 명세된 프로토콜 상태 기계의 상호운용성과 안전성을 정형적으로 증명하였다. 우리는 먼저 제시한 정형적 명세가 OSPF 프로토콜의 표준 문서에 나타난 모든 상태들과 모든 천이 이벤트들을 표현하고 있어, 명세된 프로토콜 상태기계가 완전성을 가지고 있다는 사실을 보이고, 또한 상호운용성을 가짐을 증명하였다. 그리고 프로토콜의 동작의 안전성을 증명하기 위해, 생존성, 그리고 라이브락 부재를 정형적으로 증명하고, 교착상태 부재 역시 정형적으로 증명하였다. 결과적으로 OSPF 프로토콜이 일관성을 가진다는 사실을 보인다. 본 명세와 검증은 기존외 OSPF Version 2의 프로토콜 메커니즘을 그대로 계승한 OSPF Version 3에서도 유효하다.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.203-215
• /
• 1999

최근 정보통신 제품 및 서비스 산업의 발달로 Vod, Teleshopping 등의 멀티미디어 서비스를 위한 사용자 시스템의 개발이 한창이다. 그러나 구현된 제품이 국제 표준과 일치하지 않으면 제품은 시장 경쟁력을 상실하게 된다. 따라서 관련 프로토콜의 특성을 고려한 적합성 시험은 제품 및 서비스의 상호운용성의 확보를 위해 필수적이라 할 수 있다. 본 논문은 디지털 음향영상 통신 프로토콜로 자리 잡고 있는 DAVIC(Digital Audio Visual Counci)표준의 주요 프로토콜에 대한 구현 제품의 체계적이고 효율적인 적합성 시험 방법으로서 프로토콜 스택내의 단일 계층 시험 및 스택간의 관계 시험 방법 및 구조를 제안하고자 한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• pp.1944-1947
• /
• 2002

The importance of security in WLAN(Wireless LAN) service is very critical, so IEEE organization has made the IEEE 802.1x standard. The IEEE 802.1x standard uses the EAP as authentication protocol which requires AAA(Authentication, authorization, and Accounting) server for authentication & accounting. for the reliable and scalable AAA service, the Diameter protocol has more advanced characteristics than existing radius protocol. So the Diameter protocol can be used for WLAN service provider who has large scale WLAN system and a large number of subscriber. This paper proposes the design of Diameter AAA server for the authentication and accounting of WLAN system which is adopting IEEE 802.1x standard.

• 대한임베디드공학회논문지
• /
• 제6권6호
• /
• pp.335-344
• /
• 2011

The Tire Pressure Monitoring System(TPMS) is often used recently. However, the standards and functions are very different. Even though the regulation requires all vehicles install the TPMS, there is no a standard of a Physical and Media access control protocol which provides compatibility with other systems. In this paper, we propose a MAC protocol based on the international standard and an energy efficient hybrid RF system platform. The MAC protocol provides compatibility of the TPMS with other systems and the RF system platform reduces energy consumption significantly.