Eliteforsker-støtte til sikkerhedskritiske 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.

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.

Andreas Engelbredt Dalsgaard hædres sammen med de øvrige modtagere af EliteForsk-priser og EliteForsk-rejsestipendier ved en stor konference torsdag eftermiddag på Ny Carlsberg Glyptotek i København med deltagelse af Hendes Kongelige Højhed Kronprinsesse Mary og uddannelsesminister Morten Østergaard.

Yderligere oplysninger:

• Andreas Engelbredt Dalsgaards forskning er finansieret af den transportorienterede EU-satsning MBAT (Combined Model-based Analysis and Testing of Embedded Systems) og det danske forskningssamarbejde CJ4ES (Certifiable Java for Embedded Systems).

• EliteForsk-programmet under Ministeriet for Forskning, Innovation og Videregående Uddannelser er en ramme for tiltag, der har til formål at finde, styrke og pleje nogle af landets dygtigste og mest talentfulde forskere. EliteForsk-rejsestipendiet er på 300.000 kr. og skal bidrage til, at meget talentfulde ph.d.-studerende kan få længerevarende studieophold ved de allerbedste forskningsmiljøer i verden. Læs mere på eliteforsk.dk.

• Ph.d.-studerende Andreas Engelbredt Dalsgaard, Institut for Datalogi, tlf. 9940 9859, mobil 6011 0868.

• Videnskabsjournalist Carsten Nielsen, Aalborg Universitet, mobil 2340 6554.