Sciweavers

ICTAI
1997
IEEE

GA-Based Performance Analysis of Network Protocols

13 years 9 months ago
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...
Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Gi
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1997
Where ICTAI
Authors Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Giovanni Squillero
Comments (0)