By Topic

CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Jing Liu ; Inst. of Comput. Technol., Chinese Acad. of Sci., Beijing, China ; Xinming Ye ; Jun Li

It is very risky to improve the performance of network protocols without the assurance of its functional correctness, especially for protocols that with complicated and concurrent behaviors. However, in most of current model based protocol engineering projects, two independent models are adopted for individual functional verification and performance analysis, which could not guarantee the performance model satisfying the functionality correctness, and usually cost more in protocol design and maintenance. In this paper, we propose a colored Petri nets (CP-nets) based method to integrate functional verification and performance analysis procedures, and focus on the BitTorrent protocol as a representative example to illustrate the practical effectiveness of our proposed methodology. That is, the functional CP-nets models of BitTorrent protocol are constructed and validated firstly, and then performance related temporal constrains are added into above models to form its performance CP-nets models for corresponding simulation based performance analysis. Because such closely related CP-nets models are utilized where every occurrence sequence in the performance model corresponds to an occurrence sequence in its functional model, it is guaranteed that both models satisfy the functionality requirements of protocol systems. Besides, model maintenance becomes more convenient.

Published in:

Software Engineering Artificial Intelligence Networking and Parallel/Distributed Computing (SNPD), 2010 11th ACIS International Conference on

Date of Conference:

9-11 June 2010