SyncCharts
Encyclopedia
SyncCharts is a graphical formalism
dedicated to reactive system modeling
. It allows specifying the reactive behavior, and the synchronous programming
, of applications. SyncCharts is the name of the model. A syncChart is an instance. This language was created by Prof. Charles Andre.
SyncCharts inherits many features from Statecharts, and Argos.
An academic distribution is available on Sports Project.
A commercial distribution is in Esterel Studio
, from Synfora. Any syncChart can be automatically translated into an Esterel
program, so users can use the Esterel software environment developed for synchronous programming.
Visual programming language
In computing, a visual programming language is any programming language that lets users create programs by manipulating program elements graphically rather than by specifying them textually. A VPL allows programming with visual expressions, spatial arrangements of text and graphic symbols, used...
dedicated to reactive system modeling
Reactive programming
In computing, reactive programming is a programming paradigm oriented around data flows and the propagation of change. This means that it should be possible to express static or dynamic data flows with ease in the programming languages used, and that the underlying execution model will...
. It allows specifying the reactive behavior, and the synchronous programming
Synchronous programming language
A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often in embedded uses. The term 'reactive' is chosen to...
, of applications. SyncCharts is the name of the model. A syncChart is an instance. This language was created by Prof. Charles Andre.
SyncCharts inherits many features from Statecharts, and Argos.
An academic distribution is available on Sports Project.
A commercial distribution is in Esterel Studio
Esterel Studio
Esterel Studio is a design environment based on the Esterel language. It is optimized for hardware IPs dedicated at capturing formal design specifications, enabling formal verification of properties early in the design phase, and automating the production of synthesizable RTL , both for...
, from Synfora. Any syncChart can be automatically translated into an Esterel
Esterel
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption...
program, so users can use the Esterel software environment developed for synchronous programming.