Compiling SyncCharts to Synchronous C

Traulsen, Claus; Amende, Torsten; Hanxleden, Reinhard von

doi:10.1109/date.2011.5763284

Cited by 9 publications

(10 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus valid SyncCharts should also be valid SCCharts, with the same behavior. To that end, we have collected >100 validation benchmarks with input and output traces during the course of developing SCCharts and the transformations presented here, and we have validated that the SCCharts compiler does produce the same result as both another SyncChart-to-Synchronous C compiler [29] and, where traces were available, Esterel Studio.…”

Section: Implementation and Experimentsmentioning

confidence: 91%

See 1 more Smart Citation

SCCharts: sequentially constructive statecharts for safety-critical applications

Hanxleden

Duderstadt

Motika

et al. 2014

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

View full text Add to dashboard Cite

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.

show abstract

Section: Implementation and Experimentsmentioning

confidence: 91%

“…In Fig. 10 we compare the number of nodes and transitions for some benchmarks suggested by Traulsen et al [29]. On average, the Extended SCCharts model has 42% fewer states and 53% fewer transitions than the equivalent expanded Core SCCharts model.…”

Section: Implementation and Experimentsmentioning

confidence: 95%

SCCharts: sequentially constructive statecharts for safety-critical applications

Hanxleden

Duderstadt

Motika

et al. 2014

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

View full text Add to dashboard Cite

show abstract

“…Other current synchronous efforts include Quartz [40] and SynchronousC [42] , and several others as well.…”

Section: A Tour Of Esterelmentioning

confidence: 99%

Scenario-based verification in presence of variability using a synchronous approach

Millo

Mallet

Coadou

et al. 2013

Front. Comput. Sci.

View full text Add to dashboard Cite

This paper presents a new model of scenarios, dedicated to the specification and verification of system behaviours in the context of Software Product Lines. We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and models to bridge the gap between both worlds.

show abstract

“…The current SCCharts modeling environment is a successor of older projects, which were concerned with the development of an Eclipse-based editor for the language SyncCharts [Sch09], textual and structure based modeling of SyncCharts or general Statecharts [Wis06; Bay09; Sch11a], and simulation and code generation from SyncCharts [TAH11].…”

Section: Sccharts In Kielermentioning

confidence: 99%

Time for Reactive System Modeling

Fuhrmann¹

View full text Add to dashboard Cite

Reactive systems interact with their environment by reading inputs and computing and feeding back outputs in reactive cycles that are also called ticks. Often they are safety critical systems and are increasingly modeled with highlevel modeling tools. The concepts of the corresponding modeling languages are typically aimed to facilitate formal reasoning about program constructiveness to guarantee deterministic output and are explicitly abstracted from execution time aspects. Nevertheless, the worst-case execution time of a tick can be a crucial value, as it decides the frequency in which the system can interact with its surroundings. An excessive tick Worst Case Execution Time (WCET) can lead to lost inputs or tardy reaction to critical events. Thus, the modeler has to make sure that the timing behaviour of the system under development meets the specifications. This thesis proposes a general approach to interactive timing analysis, which enables the feedback of detailed timing values directly in the model representation to support timing aware modeling. The concept is based on a generic timing interface that enables the exchangeability of the modeling as well as the timing analysis tool for the flexible implementation of varying tool chains. This aims at enhancing the comparability of tools and facilitates the sharing of benchmark model suites. The introduced approach is applicable not only to dataflow-based systems, but also to state-based systems. The latter is enabled by a concept for communicating analysis requests and responses for arbitrary code parts instead of a restriction to function granularity. The proposed timing analysis approach includes visual highlighting and modeling pragmatics features to guide the user to WCET hotspots for timing related model revisions. The approach is practically evaluated with an open-source Eclipse-based example implementation for the modeling language SCCharts, which includes a user study.

show abstract

Compiling SyncCharts to Synchronous C

Cited by 9 publications

References 6 publications

SCCharts: sequentially constructive statecharts for safety-critical applications

SCCharts: sequentially constructive statecharts for safety-critical applications

Scenario-based verification in presence of variability using a synchronous approach

Time for Reactive System Modeling

Contact Info

Product

Resources

About