Melibea Web Directory | Save your Bookmarks
Synchronous
|
» Averest  - A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in binary form for Linux (i586)
» 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]
» 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]
» 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.
» Synchronous Programming Language - Growing article, with links to many related topics. Wikipedia.
» Synchronous Programming of Reactive Systems - By Nicolas Halbwachs; Springer, 1993, ISBN 9780792393115. Synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. Outline, table of contents, reviews.
» 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]
» 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.
» The Synchronous Group - Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, language design, publications, tools.
» 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.
» 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]
|
|
Last Updated: 2007-02-14 20:52:34
|