Click on a theme or a project in the table below for more information.
Subproject AFM3.2: Transmission control protocols for the Internet
Subproject leader
Prof.dr.ir. J.C.M. Baeten (TU/e)
Research description
The main goal of the project is to deepen the understanding of the
performance of the present Internet control protocols, and obtain
insight into the improvements required to support new applications.
One major contribution of the project will be a formal correctness
verification of variants and enhancements of TCP. The other
important contribution is a detailed performance analysis of TCP in
dynamic network environments, and of extensions for supporting new
Internet applications such as real-time multicast traffic.
Key issues in the evaluation of communication network protocols
are:
- the formal verification of their correctness
- the analysis of their performance
- iterative modeling and analysis for protocol (re)design
Associate partners
AFM3.2 Researchers funded by BRICKS
- Prof.dr.ir. J.C.M. Baeten (TUE)
- Prof.dr.ir. O.J. Boxma (TU/e/CWI)
- Dr. E.P. de Vink (TU/e)
- Ir. H. Jonker (TU/e)
For more information, please refer to the publications and posters of this project.
|
