J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols

13 years 11 months ago

Download www.cecs.uci.edu

In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we modelchecked AODV in J-Sim.

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, J

Real-time Traffic

Distributed And Parallel Computing | Integrated Environment | IPPS 2007 | J-Sim Network Simulator | Model Checking |

claim paper

» Integrated Network Experimentation using Simulation and Emulation

» MASSIVE An Emulation Environment for Mobile AdHoc Networks

» EGRESS Environment for Generating REalistic Scenarios for Simulations

» An accurate and extensible mobile IPv6 xMIPV6 simulation model for OMNeT

» Application of synchronous dynamic encryption system in mobile wireless domains

» Statistical Runtime Checking of Probabilistic Properties

» Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Senso...

» Acorn A grid computing system for constraint based modeling and visualization of the genom...

Post Info
More Details (n/a)

Added	03 Jun 2010
Updated	03 Jun 2010
Type	Conference
Year	2007
Where	IPPS
Authors	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Comments (0)

Sciweavers

J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols

Distributed And Parallel Computing | Integrated Environment | IPPS 2007 | J-Sim Network Simulator | Model Checking |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers