MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes.

MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3).

Please download the tutorial for step-by-step instructions on installing and using the tool.

It is advised to use 32-bit version (Eclipse) associated in the "MGSyn supplementary files", as the 64-bit version will by default demand huge memory, which may lead to Java exceptions.

Features

  • Game-based synthesis
  • Integration into the Eclipse Modeling Framework (EMF + Xpand)
  • Easy modeling for industrial automation (supporting FESTO MPS)
  • Interactive simulator - running without concrete hardware
  • Synthesis with performance guarantees (parallelization, cost on actions)

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow MGSyn

MGSyn Web Site

Other Useful Business Software
Secure File Transfer for Windows with Cerberus by Redwood Icon
Secure File Transfer for Windows with Cerberus by Redwood

Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
Try for Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of MGSyn!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Languages

English

Intended Audience

Information Technology, Manufacturing, Science/Research

User Interface

Console/Terminal, Eclipse

Programming Language

C++, Java, Perl

Related Categories

Perl Simulation Software, Perl Embedded Systems Software, Perl Building Automation Software, C++ Simulation Software, C++ Embedded Systems Software, C++ Building Automation Software, Java Simulation Software, Java Embedded Systems Software, Java Building Automation Software

Registered

2012-03-15