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
Managed Cybersecurity Platform Built for MSPs Icon
Managed Cybersecurity Platform Built for MSPs

Discover the cyber platform that secures and insures SMEs

In a world that lives and breathes all things digital, every business is at risk. Cybersecurity has become a major problem for small and growing businesses due to limited budgets, resources, time, and training. Hackers are leveraging these vulnerabilities, and most of the existing cybersecurity solutions on the market are too cumbersome, too complicated, and far too costly.
Learn More
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