Eliteforsker-støtte til sikkerhedskritiske systemer

28-årige Andreas Engelbredt Dalsgaard fra Aalborg Universitets Institut for Datalogi får et af Uddannelsesministeriets særlige rejsestipendier til unge eliteforskere. Han vil bruge de 300.000 kroner til forskning inden for moderne sikkerhedskritiske, indlejrede systemer.

Rejsestipendiet gør det muligt for den ph.d.-studerende fra Aalborg at tage et længere ophold af seks-otte måneders varighed hos en forskergruppe på Twente Universitet i Holland. Gruppen har stor erfaring med både teknikken og de teoretiske og praktiske perspektiver på det område, Andreas Engelbredt Dalsgaard beskæftiger sig med. Desuden har han planer om rejser til samarbejdspartnere i Tyskland i forbindelse med forskningsprojektet.

Hans interesse for forskningsfeltet begyndte i forbindelse med hans datalogi-speciale, som netop handler om at finde tidsgrænser i indlejrede systemer.

- Sammen med to andre studerende viste jeg, at det var muligt at benytte en kombination af to datalogiske teknikker - statisk programanalyse og såkaldt model checking - til at finde tidsgrænser og sikre, at systemerne virker korrekt. Ved at søge nye måder at kombinere de to teknikker på, er mit mål nu at finde løsninger til udvikling af fremtidens sikkerhedskritiske systemer, der vil være større og mere komplekse, end de er i dag, siger Andreas Engelbredt Dalsgaard.

En del af udfordringen vil bestå i at undersøge muligheden for at lave et skalerbart værktøj, som udnytter moderne hardware. Det har hidtil vist sig at være vanskeligt.