Signal Toolset: some examples
The examples provided with the Signal Toolset distribution
A set of Signal examples is provided in the distribution. The following suffixes are used:
- a file suffixed by SIG is a textual Signal program
- a file suffixed by gpk is a graphical Signal program (internal representation of the Signal GUI),
- a file suffixed by sme is a Signal program under Eclipse (internal representation of the SME platform).
Read the AAREADME* files of each sub-directory.
- memories contains a simple memory programmed by adding constraints.
- apex contains an example that uses the servives defined in apex/ARINC653 (avionic norm).
- equationSolving contains an example of oversampling. On this example, mapping, interface synthesis, separated compiling techniques, and morphism of programs are applied. This example is also used in the distribution.
- distribution contaisn examples of distributed code generation.
- modem contains a signal processing example.
- oscillo contains a signal processing example.
- watch contains a pure control example.
- mouse contains a simple control example with verification of some properties.
- 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.
- affines A very simple example shows that successive values of some signal are provided at specific micro-instants between any two successive macro-instants in a regular manner.
- manualExercises In this directory, the exercises of the tutorial are implemented.