Framework open source pour intégrer l'exécution, le débogage et la simulation dans des outils de modélisation spécifiques à un domaine (DSL) construits avec Sirius et/ou l'Eclipse Modeling Framework. Il permet d'animer des modèles, de générer des traces d'exécution détaillées et de fournir des capacités de débogage omniscient pour analyser le comportement des modèles.

Outil permettant d'automatiser la comparaison de valeurs de variables entre deux exécutions de programmes Fortran. Il injecte du code pour tracer les valeurs des variables et génère des rapports détaillés sur les différences détectées. Idéal pour identifier les causes de divergences dans des simulations ou des calculs scientifiques, facilitant ainsi le débogage et la validation de modèles.

GEMOC Studio est une plateforme de développement et d'exécution de langages formels, permettant la modélisation, la simulation et le débogage de systèmes concurrents. Il intègre plusieurs moteurs d'exécution et offre des outils de visualisation et d'interaction avec les modèles.

LipVM est une machine virtuelle générique conçue pour exécuter des programmes écrits dans des langages spécifiques à un domaine (DSL). Elle permet d'évaluer des programmes modélisés avec pyecore en transformant leur évaluation en une chaîne d'opérations interrompibles. Cela facilite le débogage pas à pas, la pause et la reprise de l'exécution, ainsi que la modification en temps réel de l'arbre de syntaxe abstraite pour une programmation interactive.