By Topic

Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques

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
$31 $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

2 Author(s)
Garetto, M. ; Dipartimento di Informatica, Torino Univ. ; Gribaudo, M.

Delay tolerant networks are a class of wireless networks that has recently attracted a lot of attention from the networking community. They are characterized by frequent network partitioning, intermittent connectivity, long and variable delays, high error rates. Such performance challenging conditions are usually found in environments populated by a sparse set of fixed or mobile nodes with limited communication capabilities. The store-carry-and-forward principle, according to which messages can be stored at mobile nodes moving around the network area before being forwarded to the destination, has emerged as the new communication paradigm for delay tolerant networks, demanding novel performance evaluation tool and methodologies with respect to those developed in traditional store-and-forward pocket networks. In this paper, we describe an analytical framework to study delay tolerant networks, based an model checking techniques. In particular we employ the logic asCSL as a powerful formalism to define specific performance metrics suitable to analyze the behavior of these systems

Published in:

Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on

Date of Conference:

11-14 Sept. 2006