Statistical Model Checking of Opportunistic Network Protocols

Arora, S and Rathor, A and M V, Panduranga Rao (2015) Statistical Model Checking of Opportunistic Network Protocols. In: AINTEC, 18-20 November, 2015, Bangkok, Thailand.

[img] Text
p62-arora.pdf - Published Version
Restricted to Registered users only

Download (1MB) | Request a copy


Simulations and test bed experiments have been the mainstay for analysis of routing algorithms in computer networks. In isolation, these approaches are not amenable to more detailed analyses. For example, it is difficult to check protocols against intricate properties specified as statements in a formal logic. It is therefore natural to turn to the rich and mature theory of model checking for the purpose. Indeed, model checking tools and techniques have been applied in the past for analyzing a variety of deterministic and stochastic systems. In this paper, we use statistical model checking to analyze properties and performance of opportunistic network routing protocols. While previous works have largely focused on model checking specific protocols (e.g. in wireless mesh networks), we explore the possibility of generic analysis by linking a statistical model checker with a discrete event simulator for opportunistic networks. This allows statistical model checking of several opportunistic network protocols. We illustrate the approach through a comparison of various protocols against several model checking queries.

[error in script]
IITH Creators:
IITH CreatorsORCiD
M V, Panduranga RaoUNSPECIFIED
Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Statistical Model Checking, Delay Tolerant Networks, Opportunistic Networks
Subjects: Computer science > Special computer methods
Computer science > Big Data Analytics
Divisions: Department of Computer Science & Engineering
Depositing User: Team Library
Date Deposited: 20 Jan 2016 04:11
Last Modified: 20 Jan 2016 04:11
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 2130 Statistics for this ePrint Item