Child pages
  • Home

Versions Compared

Key

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

...

Abstract. We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts use a statechart notation and provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC. The semantics and key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. We also present a compilation chain that allows efficient synthesis of software and hardware.

 

[TECS’14]

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation.

R. von Hanxleden, M. Mendler, J. Aguado, B. Duderstadt, I. Fuhrmann, C. Motika, S. Mercer, O. O'Brian, P. Roop.  

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

Section
Column
width60%
Recently Updated
Column
width2%
 
Column
width38%
Navigate space
Page Tree Search
Page Tree