Kim Guldstrand Larsen tildelt prestigefyldt pris

PRESSEMEDDELELSE

Professor fra Aalborg Universitet får tildelt prestigefyldt pris.

Kim Guldstrand Larsen, professor i datalogi ved Aalborg Universitet og direktør for CISS, er blevet tildelt den prestigefyldte CAV Award i 2013 for sin forskning om modellering, simulering og verifikation af tidskritiske edb-systemer og udvikling af værktøjet UPPAAL.

Forskningen omfatter udvikling af teknikker til design og analyse af såkaldte tidskritiske software-systemer. ”Vores metoder er blevet implementeret i værktøjet UPPAAL og er anvendelige indenfor en lang områder, hvilket har været en medvirkende årsag til den stor udbredelse indenfor såvel den akademiske verden som i industrien. Som det mest synlige bevis herpå kan vi se, at UPPAAL i mange år er blevet downloadet over 30 gange om dagen af ​​brugere over hele verden,” siger Kim Guldstrand Larsen.

Indlejrede softwaresystemer  - altså software i f.eks. biler, mobiltelefoner, medicinsk udstyr, produktionssystemer o.a. –  er ofte sikkerhedskritiske, hvilket gør det specielt vigtigt at sikre sig, at de fungere korrekt. Specielt er det afgørende, at vigtige funktioner med sikkerhed afvikles indenfor givne tidsgrænser: f.eks. at udløsningen af en airbag – uanset hvilke andre fornøjelige delprogrammer, der på et givet tidspunkt er under afvikling – med garanti udløses indenfor nogle få mikrosekunder, uanset hvornår en eventuel kollision måtte indtræffe.  

UPPAAL er et automatisk analyseværktøj, der bruges til modellering, simulering og verifikation af tidstro systemer. I modsætning til andre systemer anvendes UPPAAL på designtidspunktet, hvilket gør det muligt tidligt i udviklingen at beregne, om systemet vil fungere korrekt.

”Forskningen – der er baseret på avanceret datalogisk grundforskning – vil potentielt give billigere og kortere udviklingstid, og UPPAAL har allerede været anvendt ikke blot af danske virksomheder som Novo Nordisk og Terma, men også af store udenlandske virksomheder som Toyota, Bosch og General Motors.  Det handler således om store penge og store muligheder,” siger Kim Guldstrand Larsen.

Prisen CAV Award uddeles på konferencen Computer-Aided Verification, som er den førende datalogiske konference indenfor automatisk verifikation. Prisen har til formål at identificere og belønne den fremragende forskning indenfor området og blev for første gang i år tildelt forskere udenfor Nordamerika. I år modtog Kim Guldstrand Larsen, Paul Pettersson og Wang Yi prisen og $ 10 000 ved en ceremoni den 17. juli 2013 på den 25. CAV konferencen i St. Petersborg, Rusland.

Mere information

www.uppaal.org

www.cs.aau.dk/~kgl

cav2013.forsyte.at