Vand er en af de største udfordringer i verden. Det kan regne for meget. Det kan regne for lidt. Drikkevandet kan være forurenet eller udgøre en kritisk mangelvare. Det er altså ikke uden grund, at vand er grundelement i fire ud af de 17 verdensmål, som FN har opstillet. Men i sig selv er vand hverken godt eller dårligt – udfordringen er at sørge for, at vandet er på de rigtige steder på de rigtige tidspunkter og i en vis kvalitet.

I projektet CLAIRE forsøger forskere fra Institut for Datalogi og Institut for Byggeri, By og Miljø på Aalborg Universitet at forbedre mulighederne for at forstå og styre vand i byområder med henblik på blandt andet at forhindre antallet og omfanget af oversvømmelser.

Det gør de ved at bruge værktøjet UPPAAL Stratego til at udvikle modeller for, hvordan vandet og ikke mindst vandstrømmen kan styres. UPPAAL Stratego er en videreudvikling af værktøjet UPPAAL, der bruges til at simulere, teste og verificere systemer.

Kontakt

• Professor Kim Guldstrand Larsen
• Professor Michael Rasmussen