About MGSyn

MGSyn is used to synthesize control programs for programmable logic controllers (PLC), industrial PCs (IPC) and microcontroller-based systems from fromal specifications.

The workflow of MGSyn consists of the following steps:

  1. Modeling of the automation system to synthesize the controller for in a model-driven software tool.
  2. Generation of a suitable controller using the embedded game-based solver GAVS+.

To learn more about MGSyn, please read the frequently asked questions. We also provide download and installation instructions, an online tutorial and a list of relevant scientific publications.

MGSyn is currently maintained by fortiss GmbH. It is offered under the GPLv3 license and provided for research and educational purposes.