MDH-professor får tung utmärkelse
Paul Pettersson, professor i realtidssystem vid Mälardalens högskola, har tilldelats den prestigefyllda utmärkelsen CAV award 2013 för sin forskning kring modellering, simulering och verifiering av tidskritiska datorsystem och för utvecklingen av verktyget Uppaal.
Paul Petterssons forskning ingår i MDH:s spetsforskningsområde inbyggda system och handlar om att få datorsystem tidsmässigt korrekta. Systemen är ofta säkerhetskritiska vilket gör det viktigt att kunna förutsäga hur de kommer agera. Uppaal är ett datorprogram som används för modellering, simulering och verifiering av realtidssystem. Till skillnad mot andra system kan Uppaal användas redan på designnivå, det vill säga tidigt i utvecklingen för att beräkna om systemet kommer fungera korrekt.
– Forskningen kommer att ge potentiellt billigare och kortare utvecklingstid. Om man betänker att tidskritiska system inkluderar sådant som byggs av stora svenska företag såsom ABB, Volvo, Bombardier, Ericsson och Scania handlar det om stora pengar och möjligheter, säger Paul Pettersson, professor i realtidssystem vid Mälardalens högskola.
CAV award är en utmärkelse som delas ut vid konferensen Computer-Aided Verification, vilket är en av de främsta internationella konferenserna inom det datavetenskapliga forskningsområdet datorstödd verifiering. Syftet med utmärkelsen är att identifiera framstående forskning inom området och för första gången tilldelas i år utmärkelsen forskare utanför Nordamerika. Den 17 juli 2013 mottog Kim G. Larsen, Paul Pettersson och Wang Yi utmärkelsen och en prissumma på 10 000 dollar vid den 25:e CAV-konferensen i Sankt Petersburg, Ryssland.
