Professor från MDH tilldelas prestigfylld 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.– Forskningen handlar om att ta fram ingenjörsmässiga design- och analysmetoder för tidskritiska datorsystem. Våra metoder, som har implementerats i verktyget UPPAAL, är tillräckligt generella för att kunna tillämpas inom många olika områden, vilket är en bidragande orsak till att de fått stor spridning inom både akademin och
