SyncCharts

SyncCharts

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 Esterel Technologies. Any syncChart can be automatically translated into an Esterel program, so users can use the Esterel software environment developed for synchronous programming.

External links

* [http://www.i3s.unice.fr/~map/WEBSPORTS/SyncCharts/ Sports Project]
* [http://www.esterel-eda.com/products/ Esterel Studio] product page.
* [http://www.i3s.unice.fr/~andre/]
* [http://julien.boucaron.free.fr/i3s/] SyncCharts Experimental Compiler.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents …   Wikipedia

  • List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… …   Wikipedia

  • 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 …   Wikipedia

  • Esterel Studio — is a design environment based on the Esterel language. It is optimized for hardware IPs (such as DMAs, protocols, cache controllers, I/O subsystems, etc.) dedicated at capturing formal design specifications, enabling formal verification of… …   Wikipedia

  • Synchrone Programmiersprache — Eine synchrone Programmiersprache ist eine Programmiersprache, die sich aufgrund ihres Verhaltens vorwiegend für reaktive Systeme eignet. Inhaltsverzeichnis 1 Allgemeines 2 Synchrone Programmiersprachen 3 Vor und Nachteile …   Deutsch Wikipedia

  • Liste des langages de programmation — Le but de cette Liste des langages de programmation est d inclure tous les langages de programmation existants, qu ils soient actuellement utilisés ou historiques, par ordre alphabétique. Ne sont pas listés ici les langages informatiques de… …   Wikipédia en Français

  • Список языков программирования — Списки языков программирования Алфавитный По категориям Хронологический Генеалогический Цель этого алфавитного списка языков программирования состоит в том, чтобы дать полный перечень всех существующих языков программирования, как используемых в… …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”