Research

As members of the OPENCOSS project, my colleagues and I investigated ways of facilitating reuse of safety-assurance data across safety-critical domains. In particular, we studied the application of a metamodel transformation language to increase the traceability between safety-assurance assets.

Before this, my research was performed in a very different context. When I started as a PhD candidate and created this personal website, I described my research as follows.

My research concerns two aspects of model driven engineering, namely representing models and transforming models.

An astounding number of modeling formalism exist, both formal and informal, and each formalism comes with its own syntax and semantics. Most formal modeling languages have a small fan base, whereas the informal modeling language UML has a very large fan base. Using the popularity of the UML to increase the use of formal modeling languages is one of my research topics.

Transforming a model written in one language to a model written in another language, without knowing the exact semantics of these languages, is dangerous. There is no guarantee that the transformation between these models preserves the meaning of the original model. My second research topic involves investigating what it takes to prove that a transformation preserves semantics. In addition, I aim to make proving such claims as easy as possible, by means of tool support.

If you want to find out whether I lived up to my expectations, you'll have to read my PhD thesis.