Files in this item



application/pdf3337904.pdf (9MB)Restricted to U of Illinois
(no description provided)PDF


Title:Verification of Simulation Models of Network Protocols Using State Space Exploration
Author(s):Sobeih, Ahmed Adel
Doctoral Committee Chair(s):Viswanathan, Mahesh
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):Computer Science
Abstract: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.
Issue Date:2008
Description:138 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008.
Other Identifier(s):(MiAaPQ)AAI3337904
Date Available in IDEALS:2015-09-25
Date Deposited:2008

This item appears in the following Collection(s)

Item Statistics