Het ontwerpen van systemen, gebruik makende van modelleren en simuleren, kan enkel succesvol zijn als de ontwerper (dikwijls een domeinexpert, bijvoorbeeld een elektromechanicus) beschikt over geavanceerde tools, die het mogelijk maken om modellen te creëren en die een framework bieden voor simulatie en het deployen van modellen op hardware. De omgeving moet de ontwerper genoeg controle geven over de uitvoering van de simulatie. Gedurende dit project zal ik huidige best-practices bij het debuggen van code transponeren naar de wereld van modelleren en simuleren en expliciet simulatie-omgevingen modelleren voor een aantal modelleerformalismen en hun combinaties. Dit zal resulteren in een aantal prototypes die ik zal valideren, gebruik makende van industriële cases.

Dit onderzoeksproject heeft drie doelstellingen: (1) het formaliseren van de vereisten van modeltransformaties, (2) het automatisch genereren van een verzameling inputmodellen voor een regelgebaseerde modeltransformatie, die fouten in de transformatie kan onthullen, en (3) het ontwikkelen van een nieuwe orakelfunctie, om de implementatie van een modeltransformatie te testen.