Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Sequentially Constructive Statecharts (SCCharts)

SCCharts SCCharts [51] is a 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 [15] syntax plus Sequentially Constructive semantics.