• Journal of the Korean Society for Railway
• /
• v.10 no.3 s.40
• /
• 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.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• 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.

• Journal of IKEEE
• /
• v.19 no.3
• /
• pp.319-326
• /
• 2015

This paper proposes method about development of conversion software for controller without OPC stack to communicate with OPC DA client. The proposed method is composed of development of OPC server based on OPC DA standard protocol, development of GUI application can be checked the OPC tag and point informations, development of conversion module to convert from OPC protocol to open standard protocol. In the stage of development of OPC server based on OPC DA standard protocol, we develope server in the pc to transmit and receive datum through OPC DA protocol with OPC DA client. In the stage of evelopment of GUI application can be checked the OPC tag and point informations, run the OPC DA server and register to window system registry and check OPC tags, points, transmitting and receiving of data from serial communication. In the stage of development of conversion module to convert from OPC protocol to open standard protocol, convert from OPC tag data which has received from OPC DA client to protocol can be communicated with industrial controller using open standard protocol so that support to transmit and receive data. To evaluate the efficiency of the proposed software, we connected OPC DA server software and OPC client, and 5 sample industrial controller which use open standard protocol, as a result we got 96.98% average communication succeeding rate among entire transmitting and receiving packets. We also confirmed that successfully communicated between industrial building controller which uses modbus protocol and industrial OPC DA client using OPC DA conversion software proposed by this dissertation.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.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.

• Journal of Internet Computing and Services
• /
• v.11 no.4
• /
• pp.23-32
• /
• 2010

In this paper, we first propose the security enhancing of authentication protocol for Hash based RFID tag, and then a digital Codec for RFID tag is designed based on the proposed authentication protocol. The protocol is based on a three-way challenge response authentication protocol between the tags and a back-end server. In order to realize a secure cryptographic authentication mechanism, we modify three types of the protocol packets which defined in the ISO/IEC 18000-3 standard. Thus active attacks such as the Man-in-the-middle and Replay attacks can be easily protected. In order to verify effectiveness of the proposed protocol, a digital Codec for RFID tag is designed using Verilog HDL, and also synthesized using Synopsys Design Compiler with Hynix $0.25\;{\mu}m$ standard-cell library. Through security analysis and comparison result, we will show that the proposed scheme has better performance in user data confidentiality, tag anonymity, Man-in-the-middle attack prevention, replay attack, forgery resistance and location tracking.

• ETRI Journal
• /
• v.19 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.203-215
• /
• 1999

Recently with the rapid development of data communication products and service industry, the system on behalf of users for multimedia services such as VoD(Video on Demand), Teleshopping are at the height of development, However, if the new style products and services do not conform to the international standard, the products will come to lose the competitive power in the market. Therefore, it is essential to have conformance testing considered the properties of related protocol for the interoperability of the products and services. As a systematic and efficient conformance testing method of new products in respect of the main protocol of DAVIC(Digital Audio Visual Council) standard, this paper presents the protocol test methodology and architecture ; a single protocol stack an the related protocol stacks testing.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• 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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.6 no.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.