MT-Lab - Modelling of Information Technology

MT-Lab er et fælles projekt med forskere fra tre danske universiteter. Projektet har som mål at udvikle kraftige beregningsmæssige metoder og algoritmer til analyse af diskrete, stokastiske og kontinuerlige egenskaber. Dette vil resultere i nye metoder, teknikker og softwareredskaber, som kan anvendes til at sikre komplekse systemegenskaber.



Næsten alle, som anvender computere arbejdsmæssigt, har oplevet, hvor frustrende det er, når computerprogrammet eller web browseren pludselig fryser. Dette sker meget sjældnere for relativt simple computerprogrammer som f.eks. kontrolprogrammet i en opvaskemaskine eller i et stereoanlæg. Dette skyldes i høj grad datalogiske teknikker som statisk analyse og model checking, som efterhånden er ret udbredte. Disse typer af analyser har vist at være ekstremt effektive til at sikre driftssikkerheden for simple computerprogrammer.



For større og mere komplicerede computersystemer som f.eks. internetbrowsere, intelligente hjem, digitalt udstyr til sundhedspleje og elektroniske betalingssystemer er disse systemer dog ikke længer tilstrækkelige. Og problemet bliver ikke mindre af, at elektroniske apparater som PDAer, mobiltelefoner og udstyr til medicinsk behandling i hjemmet i fremtiden vil have en kompleksitet på linie med webbrowsere og komplekse kontrolsystemer.



Idéen med MT-Lab er derfor at forbedre og styrke gammelkendte datalogiske teknikker som statisk analyse og model checking ved hjælp af moderne metoder indenfor anvendt matematik. Målet er at udvikle ny teknik, som i sidste ende vil komme den almindelige borger til gode.