GA-Based Performance Analysis of Network Protocols

This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is able to achieve good results: formal techniques can discover some bugs but can be applied to over-simplified models, only; on the other hand, statistical techniques relying on simulation often fail to find some critical cases for the protocol. Our proposed approach relies on coupling a Genetic Algorithm with a simulator of the system under verification. Genetic Algorithms recently proved themselves excellent tools for giving good, yet approximate, solution to hard-tosolve problems. To prove the effectiveness of our approach, we applied it to the quantitative verification of a network protocol: the complexity of this problem prevents the application of exact techniques, while experimental results show that the verification results we obtained are better than one can achieve with traditional statistical methods. A...

• Type: Conference
• Year: 1997
• Where: ICTAI
• Authors: Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Giovanni Squillero
• Keywords: Artificial Intelligence, Genetic Algorithm, ICTAI 1997, Network Protocol, TCP Protocol