Modeling and Analysis for Universal Plug and Play Using PIPE2

Cheng-Min LIN  Shyi-Shiou WU  Tse-Yi CHEN  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E94-D   No.11   pp.2184-2190
Publication Date: 2011/11/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.E94.D.2184
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Computer System
Keyword: 
UPnP,  peer-to-peer communication,  Markov chains,  embedded systems,  

Full Text: PDF(705.2KB)
>>Buy this Article


Summary: 
Universal Plug and Play (UPnP) allows devices automatic discovery and control of services available in those devices connected to a Transmission Control Protocol/ Internet Protocol (TCP/IP) network. Although many products are designed using UPnP, little attention has been given to UPnP related to modeling and performance analysis. This paper uses a framework of Generalized Stochastic Petri Net (GSPN) to model and analyze the behavior of UPnP systems. The framework includes modeling UPnP, reachability decomposition, GSPN analysis, and reward assignment. Then, the Platform Independent Petri net Editor 2 (PIPE2) tool is used to model and evaluate the controllers in terms of power consumption, system utilization and network throughput. Through quantitative analysis, the steady states in the operation and notification stage dominate the system performance, and the control point is better than the device in power consumption but the device outperforms the control point in evaluating utilization. The framework and numerical results are useful to improve the quality of services provided in UPnP devices.