Verification of Simulation Models of Network Protocols Using State Space Exploration

Finally, we present incremental state space exploration (ISSE), a technique that aims to provide a speedup in the state space exploration time of evolving simulation models; i.e., simulation models whose code changes from one version to another. A code change may or may not lead to a behavioral change. We analytically obtain necessary conditions for the ISSE technique to provide a speedup in the state space exploration time when compared to a traditional (non-incremental) SSE technique. We applied the ISSE technique to our case studies. In two case studies (namely AODV and directed diffusion), ISSE provided a speedup whereas in one case study (namely ARQ), it did not provide a speedup because the necessary conditions were violated.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2015

Author dc:creator

• Sobeih, Ahmed Adel

Contributors dc:contributor

• Viswanathan, Mahesh

• Computer Science

Language dc:language

eng

Identifier

(MiAaPQ)AAI3337904

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/81835