• 한국정보과학회논문지:정보통신
• /
• 제29권5호
• /
• pp.510-523
• /
• 2002

The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.

• 대한임베디드공학회논문지
• /
• 제2권4호
• /
• pp.260-273
• /
• 2007

The wireless sensor network (WSN) nodes are required to operate for several months with the limited system resource such as memory and power. The hardware platform of WSN has 128Kbyte program memory and 8Kbytes data memory. Also, WSN node is required to operate for several months with the two AA size batteries. The MAC, Network protocol, and small application must be operated in this WSN platform. We look around the problem of memory and power for WSN requirements. Then, we propose a new computing model of system software for WSN node. It is the Atomic Object Model (AOM) with Dual Priority Scheduling. For the verification of model, we design and implement IEEE 802.15.4 MAC protocol with the proposed model.

• 대한산업공학회지
• /
• 제35권4호
• /
• pp.248-256
• /
• 2009

In this paper, under saturated traffic condition in a single-hop wireless sensor network, we present an analytic model that evaluates the performance of asynchronous MAC protocol which uses a preamble technique. Our model considers the impact of several important factors such as sleep cycle, the backoff mechanism and the number of contending nodes. After obtaining the cumulative backoff time of a sending node and expected delay of a receiving node, an iterative algorithm is presented for calculating the performance measures such as expected energy consumption usage per packet and latency. Simulation results show that the proposed analytic model can accurately estimate the performance measures under saturated traffic conditions.

• 한국정밀공학회지
• /
• 제16권3호통권96호
• /
• pp.91-102
• /
• 1999

Fieldbus provides real-time data communication among field devices in the manufacturing automation and process control systems. In this study, an experimental model of fieldbus-based manufacturing automation system is developed. Experimental model consists of two robots, two conveyor belts, NC machine, PLC, sensors and operator station. These machines are interconnected into the Profibus network, and exchange their data through the services provided by FMS(Fieldbus Message Specification), which is the application layer protocol of Profibus. The experimental model is used to measure the network-induced delay of variable and file data transmitted through FMS services. Network-induced delays are collected and analyzed on each sublayer of Profibus protocol stack. The results obtained from the experiment of this study can be effectively utilized when fieldbus is implemented on the practical manufacturing automation systems.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제6권2호
• /
• pp.683-701
• /
• 2012

IEEE 802.11 standard has achieved huge success in the past decade and is still under development to provide higher physical data rate and better quality of service (QoS). An important problem for the development and optimization of IEEE 802.11 networks is the modeling of the MAC layer channel access protocol. Although there are already many theoretic analysis for the 802.11 MAC protocol in the literature, most of the models focus on the saturated traffic and assume infinite buffer at the MAC layer. In this paper we develop a unified analytical model for IEEE 802.11 MAC protocol in ad hoc networks. The impacts of channel access parameters, traffic rate and buffer size at the MAC layer are modeled with the assistance of a generalized Markov chain and an M/G/1/K queue model. The performance of throughput, packet delivery delay and dropping probability can be achieved. Extensive simulations show the analytical model is highly accurate. From the analytical model it is shown that for practical buffer configuration (e.g. buffer size larger than one), we can maximize the total throughput and reduce the packet blocking probability (due to limited buffer size) and the average queuing delay to zero by effectively controlling the offered load. The average MAC layer service delay as well as its standard deviation, is also much lower than that in saturated conditions and has an upper bound. It is also observed that the optimal load is very close to the maximum achievable throughput regardless of the number of stations or buffer size. Moreover, the model is scalable for performance analysis of 802.11e in unsaturated conditions and 802.11 ad hoc networks with heterogenous traffic flows.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권5호
• /
• pp.505-515
• /
• 2004

이동 객체의 위치를 효율적으로 추적하는 방법을 찾는 일은 위치 인식 컴퓨팅에서 가장 중요한 문제 가운데 하나로 꼽을 수 있다 이를 위해서 저장된 위치 정보를 효율적으로 갱신하는 프로토콜이 필요하다. 이러한 위치 갱신 전략의 성능은 가정한 이동 패턴에 따라 크게 좌우되는데, 지금까지의 연구는 이동성 문제를 무시하였거나, 시간에 대한 지나치게 단순한 선형함수로만 다루고 있다. 이 논문은 이동 패턴이 복잡한 객체들의 위치 정보를 표현하고 갱신하기 위한 상태 기반 이동 모델을 제안한다. 그리고, 이 모델을 바탕으로 이동성을 인식하는 상태기반 위치 갱신 프로토콜을 제안한다. 성능을 비교하여, 이 방법이 위치 갱신 비용과 대역폭 소모를 두드러지게 줄일 수 있음을 보여준다.

• 유통과학연구
• /
• 제17권7호
• /
• pp.99-109
• /
• 2019

Purpose - The purpose of this development the business model of the healthcare sector in order to promote patents satisfaction towards medical sector services improvement for the medical business model innovation to possess a competitive advantage in the medical and pharmaceutical industry. Research design, data, and methodology - Safety standard protocol from existing multidisciplinary literature is a process of theorization, which uses grounded theory methodology rather than a description of the data and the targeted phenomenon by using Jabareen (2009). The first task is to map the spectrum of food safety literature regarding the phenomenon in safety management. This process includes developing the implementation factors and other sources such as existing business models and practices into the protocol design. Results - The study suggests the conceptual framework to improve the safety management for patients' environmental sustainability performance. Conclusion - The business model may support the beneficial aspect to healthcare government's policymakers, hospital employees, and medical specialist who can apply the practical perspective of its value regarding an educational protocol. Originality/value - This study contributes to and extends our understanding of environmental sustainability performance, identifying the rationale for safety standards performance in the healthcare industry with suggested hybrid safety standards market consumer interconnector.

• 한국정보과학회논문지:정보통신
• /
• 제34권2호
• /
• pp.134-142
• /
• 2007

OSI 참조 모델에 따라 각 계층에 여러 개의 이동성 지원 프로토콜들이 제안 되어 왔다. 각 프로토콜이 작동하는 계층의 특징은 핸드오버 지연시간에 영향을 끼친다. 본 논문은 MN의 이동 패턴에 따른 각 계층에서 작동하는 대표적인 프로토콜들(MIPv6, mSCTP, SIP)의 핸드오버 성능을 비교 분석한다. 성능 분석을 위해 Markovian 모델에 기반한 서브넷 모델과 한 세션 동안 MN의 이동 모델을 사용하였다. 분석 결과 DAD도 핸드오버에 중요한 요인이지만 프로토콜간의 차이는 보안과 움직임을 감지하기 위한 시간, 메시지의 처리 시간 등에 의해 유발됐음을 알 수 있었다.

• 천문학논총
• /
• 제20권1호
• /
• pp.63-71
• /
• 2005

e-VLBI was invented to enhance the efficiency of VLBI (Very-Long-Baseline Interferometry) system by transmitting the data via high speed network. Korean VLBI Network (KVN) has a plan to construct e-VLBI system named e-KVN. High speed backbone network and efficient network model are essential to implement successful e-VLBI system. This paper introduces a network model based on PC cluster technology. The present status of high speed backbone network in Korea is overviewed. We suggest that the network link via Korea Advanced Research Network (KOREN) is one of feasible way for e-KVN. We also describe the principles of e-VLBI and protocol for network transmission such as VSI-E (VLBI Standard Interface - Electronic), RTP (Real-Time Transport Protocol) and RTCP (Real-Time Transport Control protocol).

• 대한임베디드공학회논문지
• /
• 제13권2호
• /
• pp.83-91
• /
• 2018

With the development of IT (Information Technology) technology, embedded system and network technology are combined and used in various environments such as military environment as well as everyday life. In this paper, we propose a new airdropped distributed mobility model (ADMM) modeling the dispersion falling of the direct shot of a cluster bomb, and we compare and analyze some representative MANET routing protocols in ADMM in ns-3 simulator. As a result of the analysis, we show OLSR routing protocol is promising in ADMM environment in the view points of packet delivery ratio (PDR), end to end delay, and jitter. In addition, we propose a new adaptation scheme for OLSR, AND-OLSR (Average Node Distance based adaptive-OLSR) to improve the original OLSR in ADMM environment. The new protocol calculates the average node distance, adapts the period of the control message based on the average node distance increasing rate. Through the simulation study, we show that the proposed AND-OLSR outperforms the original OLSR in PDR and control message overhead.