Argos and Argonaute
Argos: imperative synchronous language developed at Verimag. Argonaute: programming environment based on it, with compiler and some connections to verification tools. Aim: study, implement 2 mixed languages: Argos + Esterel/Lustre.
url: www-verimag.imag.fr//SYNCHRONE/argonaute-english.h...
Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
Descriptions, reviews, purchase source. [Amazon.com]
url: www.amazon.com/exec/obidos/ASIN/1558607552
Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
By R.J. Wieringa; Morgan Kaufmann, 2002, ISBN 1558607552. Shows how techniques and approaches of 3 most popular design methods can be mixed in flexible, problem-driven way; more examples on companion website. [Morgan Kaufmann]
url: books.elsevier.com/us/mk/us/subindex.asp?isbn=1558...
Esterel
Synchronous language and compiler, translates source code into complex state machines (software or hardware) automatically; can cut cost and development time of embedded systems by 50%. Recreates hijacked esterel.org website.
url: www.softwaresafety.net/Esterel.org/esterel.html
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex]
url: citeseer.nj.nec.com/berry92esterel.html
Lustre
Declarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment developed by Esterel Technologies; a description is a set of equations that must be verified always by program variables. [Verimag]
url: www-verimag.imag.fr//SYNCHRONE/lustre-english.html
The Multi-Paradigm Synchronous Programming Language LEA
To program synchronous reactive systems, made by merging 3 existing synchronous languages (Lustre, Esterel, Argos) by uniform translation rules to a common intermediate format called Boolean automata. Paper, PDF format.
url: www.ais.fraunhofer.de/~ap/papers/LEA.pdf
SyncCharts
Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduction, related publications, distribution, downloads.
url: www.i3s.unice.fr/sports/SyncCharts/
Synchronous Languages at Verimag
Languages and reactive systems laboratory: research topics, papers, tools, people, industrial and academic cooperations, projects/contracts. France.
url: www-verimag.imag.fr/SYNCHRONE/
The Synchronous Programming Language Signal: A Tutorial
For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format.
url: www.irisa.fr/espresso/source/logiciels/SignalPrime...
Synchronous Programming of Reactive Systems
Nicolas Halbwachs; Kluwer Academic Publishers, 1992, ISBN 0792393112. Presents synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. [Kluwer]
url: www.wkap.nl/prod/b/0-7923-9311-2
Synchronous Programming of Reactive Systems
Descriptions, reviews, purchase source. [Amazon.com]
url: www.amazon.com/exec/obidos/ASIN/0792393112
Unification of Synchronous and Asynchronous Models for Parallel Programming Languages
Thesis proposing parallel language, based on C, that lets programmers explicitly specify and manage parallelism on a broad class of architectures. [Purdue University]
url: www.ece.purdue.edu/~hankd/CARP/XPC/paper.html
