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
Build Securely on Azure with Proven Frameworks
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MGSyn!