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
Your top-rated shield against malware and online scams | Avast Free Antivirus Icon
Your top-rated shield against malware and online scams | Avast Free Antivirus

Browse and email in peace, supported by clever AI

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of MGSyn!

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

English

Intended Audience

Information Technology, Science/Research, Manufacturing

User Interface

Console/Terminal, Eclipse

Programming Language

Perl, C++, Java

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