Professor Pettersson's current research interests include
component-based design, and model-based verification techniques for real-time and embedded systems.
He is co-founders of the
UPPAAL tool (model-checker
for timed systems), and several related tools,
(schedulability analysis and code-generation of embedded systems),
(partial order reduction verification of component-based embedded systems),
UPPAAL CoVer (model-based
testing of timed systems).
For more information, see this short