Gamma Statechart Composition Framework

The Gamma Statechart Composition Framework is a modeling framework to model, verify and generate code for component-based reactive systems, developed at the Critical Systems Research Group of Budapest University of Technology and Economics.

Gamma Statechart Composition Framework

The Gamma Statechart Composition Framework is a toolset to model, verify and generate code for component-based reactive systems. The framework builds on Yakindu, an open-source statechart modeling tool and provides an additional modeling layer to instantiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries. Individual statecharts, as well as composite statechart networks can be validated and verified by an automated translation to UPPAAL, a model checker for timed automata, an extended transitions systems formalism of the Theta model checker, communication process (PROMELA) models, an input of the Spin model checker or SMV, an input of the nuXmv model checker. Once a complete model is built, designers can use the code generation functionality of the framework, which can generate Java code for the whole system.


Gamma 2.11.0 is out now

Preview version: download here


Gamma 2.10.0 is out now

Preview version: download here

Tutorial pack: download here


Gamma is now open source

Check out the repository on GitHub


Check out our demonstration video on YouTube.

Check out the DDS extension here.

Download our flyer here.

Contact us: gamma [at] mit.bme.hu


Related Documents