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.
Andreas Engelbredt Dalsgaard fra Aalborg Universitets Institut for Datalogi får et af Uddannelsesministeriets særlige rejsestipendier til unge eliteforskere.
Af Henrik Eilers
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.
Tidsgrænser i indlejrede systemer
Andreas Engelbredt Dalsgaard arbejder med indlejrede systemer, hvor softwaren er gemt godt af vejen. Han fokuserer især på situationer, hvor tid er en altafgørende faktor.
- Et typisk eksempel er at sikre, at udløsningen af en airbag sker på det rigtige tidspunkt. Det skal ske med stor nøjagtighed for at redde passagerens liv, forklarer Andreas Engelbredt Dalsgaard.
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.
