CISS-forsker får stor forskningspris

Det bliver den 31-årige lektor, cand.scient og ph.d. Gerd Behrmann, der i år modtager Spar Nord Fondens Forskningspris på 250.000 kroner ved Aalborg Universitets 30 års jubilæum 23. oktober.

Gerd Behrmann forsvarede i november en ph.d.-afhandling "Data Structures and algorithms for the Analysis of Real Time Systems", der giver et antal bidrag til arbejdet med at udvikle verifikations-værktøjer, som kan analysere og opspore fejl i indlejrede software systemer. Sådanne fejl kan være langt mere alvorlige end fejl i standard PC software -- både i termer af person skader og rent økonomisk.

Specielt har Gerd Behrmann bidraget afgørende til udviklingen af to af verdens førende verifikationsværktøjer nemlig visualSTATE og UPPAAL, der begge indgår i CISS kompentenceportefølje. Herudover har arbejdet bag afhandlingen resulteret i ni videnskabelige artikler og et patent.

Af prisen på 250.000 kroner går de 50.000 kroner til forskeren privat, resten til videre forskning.

Værktøjet visualSTATE blev oprindeligt udviklet af B&O som et nyttigt værktøj til design af kontrolsoftware. I 1995 blev værktøjet udskilt i en selvstændig virksomhed, BEOLOGIC, og i dag udvikles og forhandles værktøjet af det svenskejede selskab IAR A/S. Designmodellerne i visualSTATE er baseret på såkaldte tilstandsmaskiner og understøtter designnotationen UML.

Gerd Behrmann har i sin afhandling udviklet nye datastrukturer og algoritmer, der -- efter patentering -- har resulteret i forbedringer af visualSTATE med flere størrelsesordner! Værktøjet kan nu på en ganske almindelig PC foretage
fuldautomatisk analyser af tilstands-modeller med flere tusind komponenter og med mere end 10^500 (altså et 1-tal med 500 nuller bagved) tilstande!! Et helt (over-) astronomisk tal, der har betydet at værktøjet er blandt de absolut førende, hvis ikke det førende, værktøj til analyse af UML-modeller.

Værktøjet UPPAAL er et værktøj, der siden 1995 har været udviklet i et fællesskab mellem Uppsala Universitet i Sverige og Aalborg Universitet.

Værktøjet er enestående af sin art idet det muliggør modellering og analyse af først og fremmest tidsmæssige men også andre resourcemæssige egenskaber (så som energiforbrug) ved indlejret software. Ofte anvendes indlejret software (som f.eks. til kontrol af udløsning af airbags) i sammenhænge hvor der krav om garanteret overholdelse meget skarpe tidskrav er helt ufravigeligt.

Gerd Behrmann har i sin afhandling bidraget med et antal afgørende resultater, der beviser at det faktisk ER teoretisk muligt at lave programmer, der foretager de forskellige tids- og resourcemæssige analyser. Problemerne er det, der i datalogisk terminologi kaldes BREGNBARE eller AFGØRBARE. Men herudover har Gerd Behrmann omsat de teoretiske resultater til værktøjet UPPAAL via særdeles effektive algoritmer og datastrukturer. Udvikling af UPPAAL er et særdeles aktivt projekt, der involverer 15 forskere i Aalborg og Uppsala, samt et stadigt stigende antal forskere fra andre steder i verden, specielt Holland og Tyskland.

Gerd Behrmann har manifisteret sig som UPPAAL værktøjets absolutte chefudvikler i alle dets afkroge. UPPAAL er blevet downloaded af mere end 5000 brugere i mere end 60 lande siden 1999.