Image Modified
Sequentially Constructive Charts (SCCharts)

SCCharts 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.

...

[4] R. von Hanxleden, M. Mendler, J. Aguado, B. Duderstadt, I. Fuhrmann, C. Motika, S. Mercer, and O. O'Brien, Sequentially Constructive Concurrency - A conservative extension of the synchronous model of computation, In Proc. Design, Automation and Test in Europe Conference (DATE'13), Grenoble, France, March 2013. 

Sequentially Constructive MoC

In contrast to SyncCharts (see [1] Charles André) a signal (or variable) in SCCharts is allowed to be emitted with different values in the same macro tick (if the emissions are schedulable according to the SC MoC). The following example of AB is forbidden in SyncCharts but not in SCCharts.

...

Core SCChart	Extended SCCharts	Graphical comparison
Simple States Hierarchical States (aka Composite States) Regions Transitions (weak abort) Immediate Transitions Normal Termination  Variables (primitive types)	Core SCCharts + Connector (aka Choice) Strong Abort History Transition Suspend Entry Action During Action (aka Inner Action) Exit Action Signals Pre

...