Kommunikationsnetværk – eksempelvis diverse IoT-netværk eller internettet i sig selv - er blevet en kritisk infrastruktur i vores digitale samfund. Det står dog i skarp kontrast til nutidens manuelle og til tider fejlbehæftede tilgang til styring og drift af netværk, som stadig udføres ved hjælp af primitive værktøjer som ping og traceroute.

Ydermere understøtter eksisterende værktøjer ikke en effektiv what-if-analyse af netværkets tilstand i potentielle fejlsituationer. De forholder sig til tilgængelighed og policy-compliance, men tager ikke højde for kvantitative performance-relaterede aspekter såsom latens og load.

I projektet Quantitative Analysis and Synthesis of Network Protocols (QASNET) samarbejder forskere fra Aalborg Universitet, Wien Universitet og Cornell Universitet for markant at fremme state-of-the-art inden for automatisk netværksanalyse og syntese. Hovedfokus er på at redegøre for risikoen for fejl og understøtte en effektiv what-if-analyse samt for de kvantitative konsekvenser for quality-of-service.

Projektet er opdelt i tre. Første del omhandler analyse og modellering af netværksprotokoller under multiple link-fejl med fokus på kvantitative aspekter og verifikationsoptimeringer. Anden del omhandler syntesen af ​​korrekte netværksprotokoller, automatisk performance-optimering, avancerede protokolmodeller og performance-evaluering. Del tre fokuserer på at udføre en eksperimentel evaluering af en værktøjsprototype i samarbejde med en industriel partner.

Kontakt
Professor Jiri Srba