* ICSE 2018 * (series) / DEMO - Demonstrations /
The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems
The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems where the behavior of each component is captured by a statechart, while assembling the system from components is driven by a domain-specific composition language. Gamma automatically synthesizes executable Java code on top of existing code generators, and it supports formal verification by mapping composite statecharts to a back-end model checker. Execution traces obtained as witnesses during verification are back-annotated as test cases to replay an error trace or to validate external code generators.
Thu 31 May
14:00 - 15:30: DEMO - Demonstrations - Verification at E1/B room Chair(s): Marie-Christine JakobsLMU, Munich, Germany | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:30 Talk | Benjamin Holland, Payas Awadhutkar, Suresh KothariIowa State University, USA, Ahmed Tamrawi, Jon MathewsEnSoft Corp. Link to publication | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Demonstration | Vince MolnárBudapest University of Technology and Economics, Bence GraicsBudapest University of Technology and Economics, András VörösBudapest University of Technology and Economics, Istvan MajzikBudapest University of Technology and Economics, Daniel VarroMcGill University / Budapest University of Technology and Economics DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30 Talk | Ahmet CelikUniversity of Texas at Austin, USA, Karl PalmskogThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin Pre-print Media Attached File Attached |