ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thu 11 Apr 2019 14:00 - 14:30 at SUN I - Safety and Fault-tolerant Systems Chair(s): Rance Cleaveland

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 influence on the throughput) and show that the method provides the same results as obtained with classical non-automatic analytical and numerical methods.

Thu 11 Apr (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Safety and Fault-tolerant Systems at SUN I
Chair(s): Rance CleavelandUniversity of Maryland
tacas-2019-papers14:00 - 14:30
Talk
Link to publication
tacas-2019-papers14:30 - 15:00
Talk
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
Link to publication
tacas-2019-papers15:00 - 15:30
Talk
Pablo CastroDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pedro D'Argenio, Ramiro Demasi, Luciano Putruele
Link to publication
tacas-2019-papers15:30 - 16:00
Talk
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication