• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권8호
• /
• pp.3656-3671
• /
• 2016

Most of the research in the area of wireless communications exclusively relies on simulations. Further, it is essential that the mobility management strategies and routing protocols should be validated under realistic conditions. Most appropriate mobility models play a pivotal role to determine, whether there is any subtle error or flaw in a proposed model. Simulators are the standard tool to evaluate the performance of mobility models however sometimes they suffer from numerous documented problems. To accomplish the widely acknowledged lack of formalization in this domain, a Coloured Petri nets (CPNs) based random direction mobility model for specification, analysis and validation is presented in this paper for wireless communications. The proposed model does not suffer from any border effect or speed decay issues. It is important to mention that capturing the mobility patterns through CPN is challenging task in this type of the research. Further, an appropriate formalism of CPNs supported to analyze the future system dynamic status. Finally the formal model is evaluated with the state space analysis to show how predefined behavioral properties can be applied. In addition, proposed model is evaluated based on generated simulations to track origins of errors during debugging.

• 대한산업공학회지
• /
• 제29권2호
• /
• pp.135-144
• /
• 2003

Traffic performance in a microcellular system is much more affected by cell dwell time and channel holding time in each cell. Cell dwell time of a call is characterized by its mobility pattern, i.e., stochastic changes of moving speed and direction. Cell dwell time provides important information for other analyses on traffic performance such as channel holding time, handover rate, and the average number of handovers per call. In the next generation mobile communication system, the cell size is expected to be much smaller than that of current one to accommodate the increase of user demand and to achieve high bandwidth utilization. As the cell size gets small, traffic performance is much more affected by variable mobility of users, especially by that of pedestrians. In previous work, analytical models are based on simple probability models. They provide sufficient accuracy in a simple second-generation cellular system. However, the role of them is becoming invalid in a picocellular environment where there are rapid change of network traffic conditions and highly random mobility of pedestrians. Unlike in previous work, we propose an improved probability model evolved from so-called Random walk model in order to mathematically formulate variable mobility of pedestrians and analyze the traffic performance. With our model, we can figure out variable characteristics of pedestrian mobility with stochastic correlation. The above-mentioned traffic performance measures are analyzed using our model.

• 한국정보과학회논문지:정보통신
• /
• 제31권5호
• /
• pp.490-500
• /
• 2004

모바일/무선 환경하에서 이음새없는(seamless) 이동성 관리 문제는 많은 연구의 대상이 되고 있다. 그러나 핸드오프 이후에 등록을 함으로써 사용중 끊김이 발생하거나, MN가 인접한 셀로 이동할 확률이 같다는 Random Work 모델을 사용함으로써 불필요한 네트워크 트래픽을 발생시키는 문제들이 있었다. 본 논문에서는 이러한 문제를 해결하여 이음새없는 이동성을 제공하는 방향성 사전등록 영역(DSRR) 구성 기법과 알고리즘을 제안한다. DSRR의 핵심은 핸드오프할 확률이 높은 인접 셀(AAAF)을 최소한으로 구성하여 사전 등록을 수행함으로써 끊김과 불필요 트래픽 발생을 방지하는 것이다. 이를 위해 셀 분할 스킴을 도입하였다. 셀을 영역적으로 분할(Regional Cell Division)하여 핸드오프 시기를 감지하였으며, 셀의 방향성 분할(Directional Cell Sectoring)로 계산된 방향벡터(DV: Direction Vector)를 적용하여 MN의 이동방향을 반영하였다. 결과적으로 본 논문에서 제안한 DSRR은 노드간 메시지 교환이 인트라도메인 내에서 처리되므로 끊김은 인터도메인 환경에서 처리되는 기존 연구들에 비해 현저히 줄었으며, 또한 핸드오프마다 발생하는 트래픽은 인접한 셀의 개수(n)만큼 발생하던 기존 연구에 비해 DSRR에서는 2번으로 감소하였다.