Digital Bifurcation Analysis of TCP Dynamics

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

Year of publication 2019
Type Article in Proceedings
Conference Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019
MU Faculty or unit

Faculty of Informatics

Citation
Web http://dx.doi.org/10.1007/978-3-030-17465-1_19
Doi http://dx.doi.org/10.1007/978-3-030-17465-1_19
Keywords bifurcation analysis; TCP; terminal strongly connected components; robustness
Description Digital bifurcation analysis is a new algorithmic method for exploring how the behaviour of a parameter-dependent computer system varies with a change in its parameters and, in particular, for identification of bifurcation points where such variation becomes dramatic. We have developed the method in an analogy with the traditional bifurcation theory and have it successfully applied to models taken from systems biology. In this case study paper, we demonstrate the appropriateness and usefulness of the digital bifurcation analysis as a push-button alternative to the classical approaches as traditionally used for analysing the stability of TCP/IP protocols. We consider two typical examples (congestion control and buffer sizes throughput influence) and show that the method provides the same results as obtained with classical non-automatic analytical and numerical methods.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.