Title :
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
Author :
Sobeih, Ahmed ; Viswanathan, Mahesh ; Marinov, Darko ; Hou, Jennifer C.
Author_Institution :
Dept. of Comput. Sci., Illinois Univ., Urbana, IL
Abstract :
In this paper, we report our work on extending the J-Sim network simulator to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we model-checked AODV in J-Sim.
Keywords :
digital simulation; formal verification; protocols; telecommunication computing; integrated environment; model checking; network protocols; network simulator; Buildings; Computational modeling; Computer simulation; Java; Performance analysis; Prototypes; Routing protocols; Safety; Software architecture; State-space methods;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International
Conference_Location :
Long Beach, CA
Print_ISBN :
1-4244-0910-1
Electronic_ISBN :
1-4244-0910-1
DOI :
10.1109/IPDPS.2007.370519
