Den matematiske software-kontrollør

Ph.d.-studerende Anders Jørgensen er ved at udvikle en metode, der kan finde softwarefejl, mens softwaren er under afvikling - ved hjælp af matematik.

"Nogle gange kan vi logisk udelukke nogle muligheder. hvormed et program kan opføre sig, ved at beskrive dem rent matematisk - altså ved at opstille ligninger. Derfor er det, jeg er i gang med - kort fortalt - at udvikle en metode, der gør det muligt, at måle en fejl, når man kender den matematiske beskrivelse."

Lige nu lyder det hele temmelig teoretisk, når Anders Jørgensen forklarer sin ph.d.-opgave. Men selv er Anders Jørgensen overbevist om , at det vil komme industrien til gavn i løbet nogle få år.

Det, Anders Jørgensen beskæftiger sig med, er målrettet mod sikkerhedskritiske systemer - det vil sige systemer, der ikke MÅ fejle. Det kan være hospitalsudstyr. Eller software til styring og kommunikation i fly. Eller noget helt tredje.

Det stiller nogle enorme krav til producenten - krav om at softwaren er testet for alle tænkelige og utænkelige fejl, inden det apparat, softwaren er indlejret i, forlader fabrikken - men også at fejl ikke opstår, efter apparatet har forladt fabrikken. Det er det sidste, der er Anders Jørgensens primære område.

Grafiske modeller sparer penge

"I forberedelserne til et produkt er det ikke altid nok at tænke på, hvordan det skal se ud og hvordan det skal virke - men også hvor sikkert produktet skal være, og hvordan fejl kan måles.

Ved at opstille de matematiske modeller for produktet kan man forudsige, om det senere er muligt at måle fejl alle steder i produktet. Altså når produktet er i drift ude ved køberen."

"Hvis ma ner i stand til at forudsige, om en fejl kan måles overalt i systemet, er det muligt i en designfase at afprøve forskellige udformninger og designs - og samtidig at udvælge den billigste og den sikreste løsning", påpeger Anders Jørgensen.

Anders Jørgensen er uddannet elektronikingeniør i intelligente autonome systemer, og til hans afgangsspeciale på ingeniørstudiet lavede han et grafisk værktøj til at håndtere samme type problemer, blot inden for hardware. Derfor har den ph.d. studerende også nogle klare holdninger til, hvad hans projekt gerne skal munde ud i:

"Vi forskere skal jo føde industrien med den nyeste viden. så de kan blive endnu mere konkurrencedygtige. Men hvis vi skal overføre den her slags forskning til industrien, skal vi gøre den spiselig. Det vil sige, at den skal være nemt tilgængelig og brugervenlig - "keep it simple". Industrien skal altså kunne bruge det her grafiske værktøj uden nødvendigvis at skulle kende meget til teorierne bag."