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
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start 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