DEIS

Quantitative Analysis and Synthesis of Network Protocols (QASNET)

Communication networks like enterprise and datacenter networks, or the Internet, have become a critical infrastructure of our digital society. This, however, stands in stark contrast to today’s manual and error-prone approach to the management and operation of networks, which is still done using primitive tools like ping and traceroute.

Furthermore, existing tools do not support an efficient what-if analysis of the network behaviour under possible failures. They revolve around reachability and policy-compliance, but do not account for quantitative performance-relevant aspects such as latency and load.

In the project Quantitative Analysis and Synthesis of Network Protocols (QASNET), researchers from Aalborg University, Vienna University and Cornell University collaborate to advance the state-of-the-art of automatic network analysis and synthesis significantly. The main focus is on accounting for the possibility of failures and supporting efficient what-if analysis, as well as for the quantitative consequences on quality-of-service.

The project is divided into three parts. Part one deals with the analysis and modelling of network protocols under multiple link failures with a focus on quantitative aspects and verification optimisations. Part two deals with the synthesis of correct network protocols, automatic performance optimisation, advanced protocol models and performance evaluation. Part three focuses on executing an experimental evaluation of a tool prototype with the cooperation of an industrial partner.

Project facts

  • The QASNET project is funded by the Independent Research Fund Denmark (DKK 2,782,551) 
  • Project period: 2019-2022

Project partners

Jiri Srba
Professor and research leader of the Distributed, Embedded and Intelligent Systems group (DEIS)
Department of Computer Science,
Aalborg University

Stefan Schmid
Professor and research leader of the Communication Technologies Group
Faculty of Computer Science,
University of Vienna

Kim Guldstrand Larsen
Professor and research leader of the Distributed, Embedded and Intelligent Systems group (DEIS) 
Department of Computer Science, 
Aalborg University

Nate Foster
Associate Professor 
Department of Computer Science, 
Cornell University

Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk ・Vacancies