Research

Research Interests

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.