Congestion avoidance and control
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Connections with multiple congested gateways in packet-switched networks part 1: one-way traffic
ACM SIGCOMM Computer Communication Review
Internetworking with TCP/IP (2nd ed.), vol. I
Internetworking with TCP/IP (2nd ed.), vol. I
TCP/IP illustrated (vol. 1): the protocols
TCP/IP illustrated (vol. 1): the protocols
TCP Vegas: new techniques for congestion detection and avoidance
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Improving TCP/IP performance over wireless networks
MobiCom '95 Proceedings of the 1st annual international conference on Mobile computing and networking
Switching and Traffic Theory for Integrated Broadband Networks
Switching and Traffic Theory for Integrated Broadband Networks
TCP over Satellite... The Final Frontier
IEEE Internet Computing
Genetic Algorithms for Protocol Validation
PPSN IV Proceedings of the 4th International Conference on Parallel Problem Solving from Nature
Simulation-based verification of network protocols performance
Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
Transport protocols for Internet-compatible satellite networks
IEEE Journal on Selected Areas in Communications
TCP/IP performance over satellite links
IEEE Network: The Magazine of Global Internetworking
International Journal of Mobile Communications
Hi-index | 0.00 |
It has become increasingly important to test diverse Satellite Systems (Low Earth Orbit and Geosynchronous Satellites) under realistic traffic loads. None of the currently used techniques are able to achieve good results. Formal techniques can be applied to only over simplified models and statistical techniques relying on simulation often fail. Our approach relies on integrating the Genetic Algorithm (GA) with the simulator of the system under verification. We applied our approach to quantitative verification of the Satellite Transport Protocol (TCP Reno and TCP Vegas) successfully. Our simulation results are better than those achieved by traditional statistical methods.