Authors: S. Karthik, V. Jawahar Senthilkumar, B. Chidambararajan, S.K. Srivatsa
Addresses: School of Electrical and Electronics Engineering, Anna University, Chennai, India. ' School of Electrical and Electronics Engineering, Anna University, Chennai, India. ' Department of Electronics and Communication Engineering, Institute of Road Transport Technology, Erode, India. ' School of Electrical and Electronics Engineering, Anna University, Chennai, India.
Abstract: 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.
Keywords: background traffic; genetic algorithms; network protocols; satellite networks; TCP; UDP; simulation; Satellite Transport Protocol; traffic loads; cross-traffic.
International Journal of Mobile Communications, 2004 Vol.2 No.4, pp.382 - 394
Published online: 23 Dec 2004 *Full-text access for editors Access for subscribers Purchase this article Comment on this article