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)
License
GNU General Public License version 3.0 (GPLv3)Follow MGSyn
Other Useful Business Software
Easily Host LLMs and Web Apps on Cloud Run
Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MGSyn!