Real-Time Event Frameworks based on active objects & state machines
QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information.
MGSyn - Automatic Synthesis for Industrial Automation
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.