Page History

...

ACM Transactions on Embedded Computing Systems (ACM TECS) - Special Issue on Applications of Concurrency to System Design, to appear 2014.

Abstract. This is a journal extended version of [DATE’13].

...

Workshops/Seminars:

[PTCONF’13]

Sequentially Constructive Charts (SCCharts)

C. Motika, S. Smyth, R. von Hanxleden, M. Mendler.

10th Biennial Ptolemy Miniconference (PTCONF’13), Berkeley, CA, USA, November 2013.

Summary: Poster.

[SYNCHRON’13-1]

Compiling SCCharts (and other Sequentially Constructive Programs) to Hardware and Software.

R. von Hanxleden.

20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.

Summary: SCCharts extend SyncCharts with sequential constructiveness (SC) and other features. We developed a compilation chain that first, in a high-level compilation phase, performs a sequence of model-to-model transformations at the SCCharts-level such that they can be mapped directly to SC Graphs (SCGs). Then two alternative low-level compilation approaches allow mapping to hardware and software; the circuit approach generates a netlist, the priority approach simulates concurrency with interleaved threads.

[SYNCHRON’13-2]

SCCharts – Sequentially Constructive Charts.

C. Motika

20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.

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

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. Conversely, Extended SCCharts contain a rich set of advanced features, such as different abort types, signals, history transitions, etc., all of which can be reduced via semantics preserving model-to-model (M2M) transformations into Core SCCharts. Extended SCCharts features are syntactic sugar because they can be expressed by a combination of Core SCCharts features.

On the one hand this eases the compilation and makes it more robust because it reduces its complexity. On the other hand, using Extended SCCharts features, a modeler is able to abstract away complexity of his or her SCCharts model which increases robustness and readability of a model. This approach enables a simple yet efficient compilation strategy and aids verification and certification.