Digital Bifurcation Analysis of TCP Dynamics

D 2019

Digital Bifurcation Analysis of TCP Dynamics

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

Základní údaje

Originální název

Digital Bifurcation Analysis of TCP Dynamics

Autoři

BENEŠ, Nikola (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí), Samuel PASTVA (703 Slovensko, garant, domácí) a David ŠAFRÁNEK (203 Česká republika, domácí)

Vydání

LNCS, volume 11428. Cham, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, od s. 339-356, 18 s. 2019

Nakladatel

Springer International Publishing

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/19:00107359

Organizační jednotka

Fakulta informatiky

ISBN

978-3-030-17464-4

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-17465-1_19

UT WoS

000681174300019

Klíčová slova anglicky

bifurcation analysis; TCP; terminal strongly connected components; robustness

Štítky

core_A, firank_A

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 15. 4. 2021 12:19, doc. RNDr. David Šafránek, Ph.D.

Anotace

V originále

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.

Návaznosti

GA18-00178S, projekt VaV

Název: Diskrétní bifurkační analýza reaktivních systémů

Investor: Grantová agentura ČR, Diskrétní bifurkační analýza reaktivních systémů

MUNI/A/1018/2018, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

MUNI/A/1040/2018, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 19 (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 19, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. LNCS, volume 11428. Cham: Springer International Publishing, 2019, s. 339-356. ISBN 978-3-030-17464-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17465-1_19.

@inproceedings{1521156,
   author = {Beneš, Nikola and Brim, Luboš and Pastva, Samuel and Šafránek, David},
   address = {Cham},
   booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019},
   doi = {http://dx.doi.org/10.1007/978-3-030-17465-1_19},
   edition = {LNCS, volume 11428},
   editor = {Tomáš Vojnar and Lijun Zhang},
   keywords = {bifurcation analysis; TCP; terminal strongly connected components; robustness},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-17464-4},
   pages = {339-356},
   publisher = {Springer International Publishing},
   title = {Digital Bifurcation Analysis of TCP Dynamics},
   url = {http://dx.doi.org/10.1007/978-3-030-17465-1_19},
   year = {2019}
}

TY  - JOUR
ID  - 1521156
AU  - Beneš, Nikola - Brim, Luboš - Pastva, Samuel - Šafránek, David
PY  - 2019
TI  - Digital Bifurcation Analysis of TCP Dynamics
PB  - Springer International Publishing
CY  - Cham
SN  - 9783030174644
KW  - bifurcation analysis
KW  - TCP
KW  - terminal strongly connected components
KW  - robustness
UR  - http://dx.doi.org/10.1007/978-3-030-17465-1_19
N2  - 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.
ER  -

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. \textit{Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019}. LNCS, volume 11428. Cham: Springer International Publishing, 2019, s.~339-356. ISBN~978-3-030-17464-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17465-1\_{}19.

Podrobný výpis o publikaci