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
Keep company data safe with Chrome Enterprise Icon
Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
Download Chrome
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