• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.128-130
• /
• 2007

The research degined model which was integrated Cache technical for improvement of modebus protocol. The mode bus it leads and it does not solve in existing to shorten the tank data computing time. It desigine the algorithm which discriminates the shift time of the petrochemistry process tank m following. It is an objective of dissertation.

• Journal of information and communication convergence engineering
• /
• 제9권4호
• /
• pp.441-446
• /
• 2011

Radio frequency identification (RFID) tags are cheap and simple devices that can store unique identification information and perform simple computation to keep better inventory of packages. Security protocol for RFID tags is needed to ensure privacy and authentication between each tag and their reader. In order to accomplish this, in this paper, we analyzed a lightweight privacy and authentication protocol for passive RFID tags.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.470-473
• /
• 2002

Most networks for automation are tuned to an expected traffic at their design stage. During their actual operations, however, the networks experience considerable changes in traffic from time to time. These traffic changes caused by common events like machine failure and production schedule change may adversely affect the network performance and, in turn, the performance of the connected devices. This paper presents communication delay model for Profibus token passing protocol, and introduces TTR selection methods to maintain a uniform level of network performance at all stations under changing network traffic.

• 한국정보처리학회논문지
• /
• 제3권4호
• /
• pp.709-719
• /
• 1996

DHCP는 호스트에게 IP(Internet Protocol) 주소나 구성 파라미터 (Configuration Parameter) 등을 동적으로 할당해주는 프로토콜이다. 그러나 이프로토콜은 메시지를 교환하기 위해 브로드캐스팅을 이용하기 때문에 네트워크에 과중한 트래픽의 발생 요인이 된다. 이러한 오버헤드를 줄이기 위해 메시지 교환시에 가능하면 브로드 캐스 팅을 피하고, 간결하고 효율적인 클라이언트-서버의 동작 메처니즘을 설계하였다. 본 연구에서는 DHCP가 유발하는 브로드캐스팅 트래픽 특성을 고찰하여 메시지를 유치캐스트 할 수 있는 방안과 트래픽을 줄일 수 있도록 알고리즘을 개선한 DHCP의 모델을 구현하였다.

• 한국컴퓨터산업학회논문지
• /
• 제6권2호
• /
• pp.305-316
• /
• 2005

A heterogeneous webserver such as an HTTP server should be able to currently deal with numerous users. To the end, it is inevitable to formally analyze web traffics as well as a webserver itself. In particular, as most systems adopt HTTP 1.1 protocol instead of HTTP 1.0 protocol, it is more difficult to represent the system as a simple analytic mode. In addition, since most of previous models missed the detailed processes of the server, it is unsuitable for the current server based on HTTP 1.1 to tune itself with its own system parameters. On the basis of HTTP 1.1 Protocol supporting persistent connections, we thus present an analytical end-to-end tandem queueing model considering specific hardware configurations inside the webserver, which ultimately covers from accepting the customer requests to completing the services.

• 한국통신학회논문지
• /
• 제22권2호
• /
• pp.280-290
• /
• 1997

The Single TTCN has been broadly used to describe the ATS(Abstract Test Suite) for the protocol confronance testing. But if the single TTCN is used to test the multi-party protocol with the non-deterministic factors, then huge amount of test notations are needed and also it is hard to understand the ATS. Therefore, the concurrent TTCN was proposed to solve these problems and the study in progress. In this paper, we did investigate and compare the characteristics of esisting single TTCN with those of the concurrent TTCN. In order to develop the ATS of the Q.2971 which is B-ISDN call/connection control protocol, the testing model was defined and the concurrent factors were extracted according to that model. As a result, we could verify the usefulness of the confcurrent TTCN.

• International Journal of Control, Automation, and Systems
• /
• 제5권5호
• /
• pp.584-593
• /
• 2007

BACnet is a standard data communication protocol especially designed for building automation and control networks. BACnet uses the Master-Slave/Token-Passing (MS/TP) protocol as one of its field-level networks. In this study, the performance of the BACnet MS/TP protocol is evaluated using an experimental model. The network performance is investigated and evaluated in terms of token rotation time and round trip time. The experimental results show that the performance of the MS/TP network is heavily influenced by the network traffic load, the assignment of MS/TP node address and the network configuration parameter called $N_{max_info-frames}$. Based on the experimental results, simple practical designing guidelines for BACnet MS/TP network systems are also proposed.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.181-184
• /
• 2003

Recently, the fieldbus becomes an indispensable component for many automated systems. In the fieldbus system, realtime data containing sensor values and control commands has a tendency to rapidly lose its value as time elapses after its creation. In order to deliver these data in time, the fieldbus network should be designed to have short delay compared to the maximum allowable delay. Because the communication delay is affected by performance parameters such as target rotation timer of token passing protocol, it is necessary to select proper parameter settings to satisfy the real-time requirement for communication delay. This paper presents the timer selection method for Profibus token passing networks using genetic algorithm (GA) to meet the delay requirements.

• Journal of Communications and Networks
• /
• 제16권4호
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• 대한전자공학회논문지
• /
• 제26권3호
• /
• pp.22-31
• /
• 1989

본 논문에서는 프로토콜의 시뮬레이션 모델을 통하여 IEEE 802.4 토큰 패싱 버스 프로토콜의 성능을 분석하였다. 정상상태 뿐아니라 초기상태, 과도상태, fault recovery 상태에서 프로토콜의 성능을 분석하기위해 프로토콜의 기능을 다섯개의 프로세스로 나누어 구성하였으며 각 프로세스는 프로토콜에서 정의된 피라미터들에 따라 프로토콜의 동작을 실제적으로 수행한다. 프로토콜의 시뮬레이션을 통한 연구로부터 망의 성능을 좌우하는 프로토콜 피라미터들을 알 수 있었으며 priority가 구현된 경우 토큰에 대한 피라미터 값의 선택이 이 프로토콜의적절한 사용을 위하여 매우 중요함을 알 수 있었다.