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, communication process (PROMELA) models, an input of the Spin model checker, SMV, an input of the nuXmv model checker or IML, an input of the Imandra automated reasoning framework. 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
- Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations (Science of Computer Programming, Volume 242, 2025)
- Towards the Formal Verification of SysML v2 Models (ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems - MODELS Companion 2024)
- Model-Based Testing of Asynchronously Communicating Distributed Controllers (19th International Conference on Formal Aspects of Component Software, 2023)
- Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers (28th International Conference on Formal Methods for Industrial Critical Systems, 2023)
- Mixed-semantic composition and verification of reactive components (Technical Report, 2023)
- Pragmatic verification and validation of industrial executable SysML models (Systems Engineering, Volume 26, pages 693-714, 2023)
- Component-based specification, design and verification of reactive systems (Systems Engineering, Volume 26, pages 567–589, 2023)
- Integration Test Generation and Formal Verification for Distributed Controllers (30th Minisymposium of the Department of Measurement and Information Systems, 2023)
- Integration test generation for state-based components in the Gamma framework (Preprint, 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)
- 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)
- Model checking as a service: towards pragmatic hidden formal methods (23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2020)
- 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)
