Semantic Adaptation for FMI Co-simulation

Stability Analysis of Hybrid Co-simulation

Dirac CBDs

Fundamentals of Co-simulation (IWT Project)

This ongoing project intends to study the fundamental challenges in co-simulation and how these can be overcome in the context of the Functional Mockup Interface Standard (FMI)

The project proposal is available in pdf

SyVOLT (SYmbolic Verification Of modeL Transformations) Editor

SyVOLT is a symbolic execution based technique for proving syntax model relation properties of model transformations. Such properties are expressed as in the literature as precondition-postcondition axioms involving statements about the syntactic structure of the input and output models of a transformation. For more information on the project, see Levi Lucio's page

Download SyVOLT here. and the Editor here.

Check out this video for an overall description of SyVOLT.

TrNet: A Language for Efficient and Analyzable Model Transformations

TrNet is a low level model transformation language designed to be easily analyzable and highly performant. While it is not yet available in a usable binary, it is described in this pdf. I'm currently working in making it freely accessible and usable.

DSLTrans: Github

DSLTrans is a language specifically designed to support the defnition of Ecore-based model transformations. It is particularly useful when building a new language (for instance, a language to describe graphical user interfaces) whose semantics are not known and it is necessary to express them in terms of an existing well known language (for instance, a Java application). DSLTrans, due to its restricted nature, can be used to prove the correctness of semantic mappings. See the SyVolt project.