Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Column
width80%

 
Sequentially Constructive Charts (SCCharts)

Column
width20%

Image Removed
KIELER Compiler Console

Quick Start Tutorial

SCCharts [5] is new visual synchronous language that is designed for specifying safety-critical reactive systems. SCCharts uses a new statechart notation similar to Harel Statecharts [3] and provides deterministic concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs like the Esterel constructive semantics [2].  Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC [4]. Thus SCCharts in short are SyncCharts [1] syntax plus Sequentially Constructive semantics.

Column
width20%

Image Added
KIELER Compiler Console

Quick Start Tutorial

The key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency.

...