Lars Michael Kristensen
Forskningslektor
Computermodeller afslører kritiske fejl i fremtidens IT-systemer
Forskningslektor
Lars Michael Kristensen, 35 år
Fagområde: Datalogi
Det Frie Forskningsråds Ung Eliteforskerpris
Tildelt af Forskningsrådet for Teknologi og Produktion (FTP)
Datakommunikation kommer til at spille en stadig mere central rolle i fremtidens IT-systemer, som bliver præget af trådløs kommunikation mellem mobile enheder som håndholdte computere, laptops og mobiltelefoner. Datakommunikation bygger på protokoller, som er de computersprog, der anvendes, når enheder skal udveksle information. Et eksempel på en protokol er http-protokollen, som anvendes af internet-browsere, når de skal kommunikere med websider. Projektet arbejder med at udvikle metoder baseret på computermodeller, der gør det muligt at gennemføre en systematisk afprøvning af protokoller, før de implementeres og tages i brug. Det bliver dermed muligt automatisk at identificere fejl og derigennem øge pålideligheden af fremtidens IT-systemer. Forskningsresultaterne implementeres i avancerede computerværktøjer, der af-prøves i industrielle samarbejdsprojekter.
Hvad er de forskningsmæssige udfordringer?
Der er tre primære forskningsmæssige udfordringer i projektet:
|
1. Protokoller skal i dag kunne levere stadigt mere komplekse services og fungere i data-netværk med avancerede mobile enheder. Dette stiller helt nye krav til protokollerne og betyder, at der bliver et behov for nyudvikling af protokoller og af de metoder, der anvendes til at udvikle dem. 2. Moderne protokoller har et astronomisk antal opførselsmønstre. Udfordringen er at udvikle effektive systematiske metoder, der gør det muligt at gennemføre automatiske analyser af protokollernes komplekse opførsel. 3. De computermodeller og metoder, der arbejdes med i projektet, hviler på et matemati-ske fundament. Udfordringen er at implementere computerværktøjer, der understøtter metoderne og indkapsler de underliggende teorier, således at de bliver anvendelige for IT-systemudviklere i praksis. |
Hvad er de langsigtede perspektiver?
Protokoller vil komme til at spille en stadig større og mere afgørende rolle i fremtidens IT-systemer. Det er derfor vigtigt at sikre, at protokollerne både fungerer korrekt og efter hensigten. Fejl kan være kritiske i f.eks. hospitalsudstyr, sensornetværk til miljøovervåg-ning og trafikkontrolsystemer. Det langsigtede perspektiv er at gøre det muligt systema-tisk at afdække fejl i protokoller. Så de kan rettes, inden systemerne implementeres og tages i brug. Dette vil potentielt give store besparelser, da fejl og mangler, der først iden-tificeres sent – eller efter at systemet er taget i brug – både er kostbare at rette og kan ha-ve fatale konsekvenser.
Hvordan forholder projektet sig til områdets internationale udvikling?
Protokoller til gennemførelse af fremtidens avancerede brug af datakommunikation er et særdeles aktivt forskningsområde internationalt. Det samme gælder brugen af computer-modeller til systematisk afprøvning og fejlidentifikation. Projektet spænder over begge forskningsområder. Internationale forskningstunge firmaer og forskningsinstitutioner an-vender i stadigt højere grad computermodeller til udviklingsarbejde. De forskningsmæs-sige udfordringer, der arbejdes med i projektet, er en del af de ”Grand Challenges in Computing” (Datalogiens store udfordringer) som blev identificeret i 2004 af en interna-tional arbejdsgruppe af anerkendte forskere inden for datalogi.
Hvilke muligheder giver pengene fra DFF’s Ung Eliteforskerpris?
Prisen giver mulighed for forskningsophold hos førende internationale forskningsgrupper samt deltagelse i konferencer. Dette vil muliggøre en udbygning af internationale kontak-ter og samarbejdspartnere til stor inspiration for min forskning.
Hvordan opstod din interesse for netop dette forskningsfelt?
Min grundlæggende interesse for området opstod i første halvdel af 1990’erne, hvor in-ternettets begyndende udbredelse satte fokus på anvendelsen og perspektiverne ved data-netværk og protokoller. Forskningsfeltet gør det muligt at arbejde i et bredt spektrum fra teoretisk grundlæggende forskning til anvendelses- og industrielt orienteret forskning.
Lidt om mennesket bag forskeren
Jeg er gift med Kjersti K. Mørner (norsk), som jeg mødte under et toårigt post doc.-ophold i Australien (2000-2002). Sammen har vi en datter, Amalie, på snart to år. Friti-den tilbringes hovedsageligt sammen med familien og med at dyrke fritidsinteresser, især fodbold, mountainbike og musik. Vandreture og skiløb er to andre interesser, som der dog ikke bliver så meget tid til i øjeblikket.
Forskningsrådets begrundelse for tildelingen af prisen
Lars Michael Kristensen er 35 år og født i Nakskov. I 2000 blev han ph.d. i datalogi ved Aarhus Universitet på en afhandling om ”State Space Methods for Coloured Petri Nets”. Kort tid derefter tog han til Australien, hvor han i 2 år arbejdede ved Computer Systems Engineering Centre, University of South Australia, Adelaide. Derefter vendte han tilbage til Århus, først på et 3-årigt Steno stipendium og dernæst på et 2-årigt Carlsberg stipendium. I det projekt, som forskningsrådet har støttet, vil Lars Michael Kristensen udvikle nye meto-der for verifikation af protokoller for kommunikation via netværk mellem computere. De nye metoder vil, via udvikling af tilhørende computer-værktøjer, blive afprøvet i industriel-le samarbejdsprojekter på protokoller for mobile netværk. Projektet forventes at bidrage til øget anvendelse af modeller og verifikation i forbindelse med udvikling af protokoller.
Lars Michael Kristensen har allerede været leder af en håndfuld andre forskningsprojekter inden for områderne modellering og verifikation, ad-hoc-netværk og protokoller. Hans pub-likationsliste er omfattende og indeholder både papirer i tidsskrifter og ved nogle af de al-lerbedste konferencer inden for hans område. Lars Michael Kristensen har således opnået international anerkendelse i en grad og et omfang, der er helt usædvanlig for en forsker med hans anciennitet.
Yderligere oplysninger om baggrunden for prisen
Formand for Forskningsrådet for Teknologi og Produktion, direktør Lars Lading.
Telefon: 7220 3362; E-mail:
Yderligere oplysninger om projektet
Lars Michael Kristensen. Telefon: 8942 5686 (arbejde), 8628 0453 (privat),
2325 0452 (mobil); E-mail:
Forskningsprojektets videnskabelige titel
Avancerede tilstandsgrafmetoder og computerværktøjer til verifikation af kommunikati-onsprotokoller
Bevilling fra Forskningsrådet for Teknologi og Produktion
4,3 mio. kr.
Ansættelsessted
Datalogisk Institut, Aarhus Universitet
Forskningsprojektet udføres på
Datalogisk Institut, Aarhus Universitet
