Quick Overview

Setup

The are several options for a SCCharts modeling setup.

1. VS Code extension
2. Eclipse application
3. Online editor (Follow the link to Gitpot or Codespaces in the readme)
4. Command line tool (not recommended for beginners)

Where to start?

First take a look at the Quick Start Guide.
Then you can start to familiarize yourself with the SCCharts language by reading pages from the syntax section of this wiki and we recommend to take a look at our SCCharts example repository to learn the language by example.

Key Publications

• Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’14), Edinburgh, UK, June 2014.
• Christian Motika, Steven Smyth, and Reinhard von Hanxleden. Compiling SCCharts — A case-study on interactive model-based compilation. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014) , volume 8802 of LNCS, pages 443–462, Corfu, Greece, October 2014.