Kommunikationsnetværk udgør rygraden i vores digitale samfund. De bruges i stigende grad til kritiske tjenester, hvor korrekt og kontinuerlig drift er afgørende: sundhedsovervågning i hjemmet, aktiv styring af strømkilder på elnettet, nødtelefontjenester og katastrofeberedskab er blot nogle af eksemplerne.

Der er dog stigende bekymring for, at de netværk, vi har i dag, ikke kan opfylde de stadig strengere krav til pålidelighed. I de senere år har netværksproblemer ført til store internetafbrydelser i Asien, påvirket tusindvis af flypassagerer og endda forstyrret 911-nødnetværket i USA. Sådanne udfald kan føre til betydelige indtægtstab og være livstruende.

Interessant nok var de fleste af disse netværksproblemer forårsaget af menneskelige fejl snarere end f.eks. fysiske fejl. Den underliggende årsag er formentlig kompleksiteten: Operatørerne er typisk ansvarlige for et stort antal enheder, hvis adfærd er baseret på et stort antal low-level konfigurationer. At oversætte sikkerhedspolitikker og high-level performance-mål til low-level konfigurationer kræver, at operatørerne bliver "kompleksitetsmestre". Med det stigende omfang af kommunikationsnetværk vil kompleksiteten sandsynligvis kun vokse yderligere i fremtiden.

Projektet ”Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)” har til formål at tackle denne udfordring ved at designe mere automatiserede tilgange til at administrere og drive netværk.

Projektet løber i fire år fra 2020 og består af medlemmer fra Communication Technologies Group ved Det Datalogiske Fakultet, Wiens Universitet og forskningsgruppen Distributed, Embedded and Intelligent Systems Group (DEIS) ved Institut for Datalogi, Aalborg Universitet.

Hovedformålet med projektet er at udvikle det teoretiske grundlag for et kraftfuldt what-if-værktøj, som automatisk analyserer, om det nuværende netværk også i fejlsituationer opfylder de stillede krav, og hvis ikke, rekonfigurerer netværket derefter. Værktøjet skal give håndfaste garantier og samtidig være så hurtigt som muligt.

Mens hovedfokus i dette projekt er at udvikle et teoretisk grundlag, planlægger partnerne at implementere alle udviklede algoritmer i et prototypeværktøj, hvilket også vil give mulighed for at arrangere demoer for virksomheder.

Kontakt
Professor Jiri Srba

Professor Kim Guldstrand Larsen