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.
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 or communication process (PROMELA) models, an input of the Spin 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.9.0 is out now
Preview version: download here
Tutorial pack: download here
Gamma 2.8.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
- Mixed-semantic composition and verification of reactive components (Technical Report, 2023)
- Component-based specification, design and verification of reactive systems (Systems Engineering, 2023)
- Integration Test Generation and Formal Verification for Distributed Controllers (30th Minisymposium of the Department of Measurement and Information Systems, 2023)
- Integration of SCXML State Machines to the Gamma Framework (Bachelor's Thesis, 2022)
- Formal Semantics of the Stochastic Gamma Composition Language (Technical Paper, 2022)
- Integration test generation for state-based components in the Gamma framework (Preprint, 2021)
- Contract-Based Specification and Test Generation for Adaptive Systems (16th International Conference on Dependability of Computer Systems, 2021)
- Mixed-semantics composition of statecharts for the component-based design of reactive systems (Software and Systems Modeling, Volume 19, pages 1483–1517, 2020)
- C and Verilog code generation for CPS (28th Minisymposium of the Department of Measurement and Information Systems, 2021)
- Formal analysis approach for communication protocols using the Gamma framework (27th Minisymposium of the Department of Measurement and Information Systems, 2020)
- Documentation of the Gamma Statechart Composition Framework v2.0 (Master's Thesis, 2018)
- Introduction of Gamma 1.0 (40th International Conference on Software Engineering, 2018)
- Shorter summary of the upcoming mixed semantics composition language (25th Minisymposium of the Department of Measurement and Information Systems, 2018)
- Design of the upcoming mixed semantics composition language (Scientific Students' Association Report, 2017)
- Formal semantics of the composition language (24th Minisymposium of the Department of Measurement and Information Systems, 2017)
- Documentation of the Gamma Statechart Composition Framework v0.9 (Bachelor's Thesis, 2016)
- First presentation of the Gamma Framework (Scientific Students' Association Report, 2016)
