Examples
A set of Signal examples is provided with the distribution.
- Elementary examples described in the tutorial document (primer-eng,
primer-fr).
- Other examples can be found in $Examples_root directory (read the AAREADME* files of each
sub-directory):
- elementary
- Contains simple examples: how to obtain a quick simulation of a program (endochronous or exochronous)
and how to find simple clock constraints.
- equationSolving
- Contains an example of oversampling. On this example, mapping, interface synthesis, separated
compiling techniques, and morphisms of programs are applied.
- modem and
oscillo
- Contain signal processing examples.
- watch
- Contains a pure control example.
- levelCrossing
- Contains an example of automatic domain.
- mouse
- Contains a simple control example with verification of some properties.
- memories
- Contains a simple memory programmed by adding constraints.
- usingGraphicalLibrary
- Contains examples that use the predefined graphical Signal library.
- apex
- Contains an example that uses the servives defined in APEX/ARINC653 (avionic norm).
- domestic_appliance_circuit
- Contains a specification of a simulator of a domestic appliance circuit (documentation only in
French).
- drink
- Contains an example of a controller for a drink distributor.
- productionCell
- Contains an example of a controller for a robotic production cell.
- speechRecognition
- Contains a voice recognition system. It gets in input a voice signal and restitutes the message that
has been pronounced.