Statistical Model Checking of Opportunistic Network Protocols

Rathor, Ankit (2016) Statistical Model Checking of Opportunistic Network Protocols. Masters thesis, Indian Institute of Technology Hyderabad.

Preview

Text CS14MTECH11001.pdf - Submitted Version Download (2MB) | Preview

Abstract

Statistical model checking is one of the powerful methods, used to analyze any large system. Test bed experiments are used for analysis of routing algorithms in computer network. For more deeper penetration, we use statistical model checking to analyze properties and performance of opportunistic networks. In order to do so, we link a statistical model checker to a discrete event simulator for opportunistic network. This linking allows statistical model checking of several opportunistic network properties and protocols.

[error in script]

IITH Creators:	IITH Creators ORCiD
Item Type:	Thesis (Masters)
Uncontrolled Keywords:	Statistical model checking, delay tolerant networks, opportunistic networks, TD658
Subjects:	Computer science > Big Data Analytics
Divisions:	Department of Computer Science & Engineering
Depositing User:	Team Library
Date Deposited:	08 Sep 2016 10:00
Last Modified:	30 Jul 2019 08:00
URI:	http://raiithold.iith.ac.in/id/eprint/2738
Publisher URL:
Related URLs:	Google Scholar

Actions (login required)

View Item

Statistics for this ePrint Item