ns-2 vs. OPNET: a comparative study of the IEEE 802.11e technology on MANET environments

Garrido, P. Pablo; Malumbres, Manuel P.; Calafate, Carlos T.

doi:10.4108/icst.simutools2008.2943

Cited by 22 publications

(7 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The analysis performed in [16] concludes that the network simulators .i.e., ns-2 and OPNET though give different absolute values under the same simulation scenarios but the trend of the results obtained from both the simulators are the same. The ABSOLUT models also validate these results.…”

Section: Discussionmentioning

confidence: 98%

Analyzing transport and MAC layer in system-level performance simulation

Khan

Saastamoinen

Majanen

et al. 2011

2011 International Symposium on System on Chip (SoC)

View full text Add to dashboard Cite

The modern mobile embedded devices support complex distributed applications via heterogeneous multi-core platforms. For the successful deployment of these applications, the scalability and performance analysis must be performed at all the layers of OSI model. This helps to identify the potential bottlenecks at different layers to perform the necessary optimizations. To achieve this goal, a framework is needed which accurately models the functionalities at different layers. The technical contributions described in this article include the extensions of ABstract inStruction wOrkLoad & execUtion plaTform based performance simulation (ABSOLUT) for the performance and scalability analysis of Transport and Medium Access Control (MAC) layers in the system level performance simulation. The article elaborates the design accuracy of the modeled components and their application in the context of M3 (multi-device, multi-vendor, multi-domain), which is a tri-layered conceptual interoperability architecture for embedded devices. These extensions pave the way towards the full coverage of the OSI model in the system-level performance simulation of distributed embedded systems. The network simulators for example ns-2, OMNeT++ and OPNET though provide detailed models of transport and MAC protocols but do not provide any framework such that these models can be used by the application workload models to mimic the real world use-cases. Also these models do not model the execution workload of these protocols on a particular execution platform and hence cannot be used in the architectural exploration of distributed embedded systems.

show abstract

Section: Discussionmentioning

confidence: 98%

Analyzing transport and MAC layer in system-level performance simulation

Khan

Saastamoinen

Majanen

et al. 2011

2011 International Symposium on System on Chip (SoC)

View full text Add to dashboard Cite

show abstract

“…Simulation has the advantages to allow the execution of big systems, whereas the design of a big system prototype is difficult from a practical and an economical point of view. For communication protocols validation, the simulation tools (OPNET or NS2 [Garrido et al 2008] for example) offer the possibility to introduce dedicated problems to simulate the desired environment behavior. The system can then be validated in this simulated environment.…”

Section: Validation Methodologymentioning

confidence: 99%

Formal Validation of a Deterministic MAC Protocol

Godary-Dejean

Andreu

2013

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

This article deals with the formal validation of STIMAP, a medium access protocol that has been designed to meet the specific requirements of an implantable network-based neuroprosthesis. This article presents the modeling and the validation of its medium access, using model checking on Time Petri Nets. Doing so, we show that existent formal methods and tools are not perfectly suitable for the validation of real systems, especially when some hardware parameters have to be considered. This article then presents how these difficulties have been managed during the modeling and verification phases, and gives the validation results for STIMAP, providing constraints to respect.

show abstract

“…Current sensor network simulation toolkits are typically based on simulators such as NS-2, OPNET [38], J-Sim [39], TOSSIM [40] etc. Ballarini and Miller [41] describe verification of S-MAC, a medium access control protocol designed for wireless sensor networks, by means of the so called PRISM model checker however they do not propose any formal framework for formal specification of wireless sensor networks.…”

Section: Related Workmentioning

confidence: 99%