Advances in Network Simulation
Computer
The Georgia Tech Network Simulator
MoMeTools '03 Proceedings of the ACM SIGCOMM workshop on Models, methods and tools for reproducible network research
A Visualization and Analysis Tool for NS-2 Wireless Simulations: iNSpect
MASCOTS '05 Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
WNS2 '06 Proceeding from the 2006 workshop on ns-2: the IP network simulator
Research and analysis of simulation-based networks through multi-objective visualization
Proceedings of the 40th Conference on Winter Simulation
Development of distributed systems with SDL by means of formalized APIs
SDL'03 Proceedings of the 11th international conference on System design
The challenges of using SDL for the development of wireless sensor networks
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
SDL code generation for network simulators
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
A wireless mesh sensing network for early warning
Journal of Network and Computer Applications
ns+SDL: the network simulator for SDL systems
SDL'05 Proceedings of the 12th international conference on Model Driven
Hi-index | 0.00 |
Simulation is a popular method used for analysis and validation of distributed communication systems due to their complex dynamics. Visualization has proven to be an added value especially when large networks are concerned. In this paper we propose a novel approach and tool support for simulation visualization of formally described distributed communication systems. The system is modeled using Specification and Description Language Real Time (SDL-RT) and a simulation model for the ns-3 network simulator is automatically generated. Network visualization is used in combination with Message Sequence Charts (MSC) for providing detailed visual insight into system dynamics. System validation is also made possible because of the formal semantics of MSCs.