An Eclipse/EMF-based tool for modeling, simulating, and synthesizing controllers from Modal Sequence Diagram (MSD) specifications. The simulation (based on the play-out algorithm by D. Harel and R. Marelly) can be guided by controllers synthesized for parts of the specification to avoid violations that occur during the play-out of early specifications.

The tool started out as a master student group project at the University of Paderborn (see the project website) and implements the major concepts developed in my dissertation thesis. A  new version of the tool is currently under development.