SyncCharts are a new graphical formalism dedicated to reactive System Modeling.

Many features are inherited from StateCharts (D. Harel) and Argos (F. Maraninchi).

This page offers:

• A brief introduction to SyncCharts
• Related Publications

Brief Presentation

SyncCharts allow the specification of Reactive behavior, as well as the synchronous programming of applications. SyncCharts adhere to the "Synchronous Paradigm". They support

• Hierarchy: nested macrostates
• Concurrency: orthogonal constellations (kinds of state graphs)
• Communication: instantaneous broadcasting of signals
• Preemption: abortion and suspension

Any SyncCharts can be automatically translated into an Esterel program (esterel v5), so that, the user can take advantage of the software environment developped for synchronous programming.

SyncCharts are created with the syncCharts editor . Reports can be generated in LaTeX and postscript formats (postscript file of the watchdog example). To see the esterel program associated with this example, click here.

Related Publications

SyncCharts have been introduced in an invited paper presented at CESA'96, IEEE-SMC, Lille(F), july 9-12, 1996, entitled:"Representation and Analysis of Reactive Behaviors: A Synchronous Approach ", Charles André. (you can get the gziped postscript file of the associated research report: tr96-28, 11 pages).

Syntax and semantics of SyncCharts are available as a research report entitled " SyncCharts: A Visual Representation of Reactive Behaviors" , Charles André (gziped postscript file: tr95-52 , 48 pages).

How SyncCharts can be applied to complex control applications is illustrated in a paper entitled " SyncCharts : un modèle graphique synchrone pour systèmes réactifs complexes " written in French, (gziped postscript file: rts98 , 20 pages).

Back to ANDRE Home page