Main Page
Related Pages
Related Pages
Here is a list of all related documentation pages:
Some elementary examples
Computation of the current average of input values
An exochronous example
Programming by adding constraints: a simple example
Using the APEX/ARINC653 (avionic norm).
An example using the APEX/ARINC653 avionic norm
Using assertions
Examples of distributed code generation
Environnement de simulation d'un circuit electro-domestique
Specification of a drink distributor
Specification of a drum regulator
An example of oversampling used for separated compiling and profiling study
An example of oversampling (new inputs are not at faster clock).
Using the Signal separated compiling techniques
Profiling by morphism of SIGNAL programs
Morphism of Signal Program and coSimulation
Morphism of Signal Program and coSimulation, applying Cluster funtionality.
Morphism of Signal Program and coSimulation
an example of automatic domain: a level crosssing
Specification of a Modulator/demodulator in Signal.
A mouse handler in Signal
Description of a mouse handler
Proving a static property on the mouse hanlder
Proving a dynamic property on the mouse hanlder
Using array of processes: a simple example.
Formal development of reactive Systems: case study production cell using Signal language.
A voice recognition system.
Using the predefined Graphical library.
An example using a predefined Graphical library
A Simple example (adder) of the use of a predefined Graphical library.
Using of the VCD format and gtkwave for simulating a Signal program: an example.
Description of a digital watch in Signal
Description of a digital watch in Signal.
The supervisor of the digital watch.
The alarm part of the the digital watch.
The watch part of the digital watch.
The chronometer part of the digital watch.
A simple example of the affine clock calculus
The exercices of the Signal tutorial.
Todo List
All
Files
Generated on Mon Jul 25 16:55:00 2011 for Polychrony, by
1.6.1. This page has been designed by the
Espresso
team (
contact )