My main research interests are design methodologies for embedded systems that can provide service guarantees for the final implementation. Although difficult to achieve in practice, my vision is to develop a design methodology that provides a correct-by-construction design flow from specification to implementation. Key components for such a design flow are a formal base, analysis methods and target platforms that can provide service guarantees. Of particular interest are the following topics:
I am the creator and main contributor of ForSyDe (Formal System Design), a design methodology for embedded systems. ForSyDe has a formal foundation in form of models of computation (MoCs) and provides modeling libraries to system designers for different MoCs. Currently we develop tools for design space exploration and software synthesis.
+46 8 790 41 43
ISAFJORDSGATAN 26, Kista