No description, website, or topics provided.
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
files updated Equalizer report Jan 23, 2018
LICENSE Update Jan 23, 2018
forsyde-shallow-examples.cabal added image processing example Jan 22, 2018


Demonstrators implemented with the ForSyDe-Haskell Shallow modeling library.


The example applications are provided as extensions to the ForSyDe.Shallow library, and can be imported or run in a ghci session. Please make sure you acquire ForSyDe-Shallow prior to installing the examples.

To install the applications globaly, you need to have installed ForSyDe-Shallow globally. Then, using the Cabal package manager, you can type in:

cabal update     # updates the cabal repositories information
cabal install    # installs 'forsyde-shallow-examples' and all its dependencies globally
ghci             # opens a GHC interpreter session from which you can import the applications

To install the applications locally in a sandbox, you still need to acquire the ForSyDe-Shallow source project, but it does not need to be installed. You can use the following commands:

cabal update       # updates the latest repositories information
cabal sandbox init # creates a sandbox in the current folder
cabal install      # installs 'forsyde-shallow-examples' and all its dependencies locally, in the sandbox
cabal repl         # opens a GHC interpreter session for the sandbox from which you can import the applications

Each application is documented in-line using Haddock style comments. You are strongly advised to compile and consult the documentation before running the applications. You need to install Haddock prior to compiling the documentation.

cabal install haddock hscolour    # installs tools for generating documentation
cabal configure                   # prepares the sources for documentation
cabal haddock --hyperlink-source  # generates a HTML documentation

The path to the index.html file which you need to open with a browser is printed out on the terminal if the command succeeds.


Once you have installed the applications (globally or sandboxed), open an GHC interpreter session (see above for the right command). Each application can be imported as a module under ForSyDe.Shallow.Example. For example, to load and test the RCFilter application here is how the session could look like:

Prelude> import ForSyDe.Shallow.Example.Synchronous.RCFilter as RCFilter
Prelude RCFilter> simulate 1 1 1 10
Prelude RCFilter> plotOutput 1e3 1e-6 1e-6 10000
"Signal(s) output plotted."

NOTE: most plotting functions provided depend on gnuplot, so make sure you have it installed and accessible in case you want to use plots.

List of demos

1. Synchronous MoC

  1. TrafficLight: Models a FSM for a traffic light controller.
  2. PitchControl: Models a Proportional Integral Derivative (PID) control case study for the pitch of a Boeing's commercial aircraf.
  3. FibonacciRabbits: Models to Fibonacci rabbits reproduction system.
  4. FibonacciRabbitsDeath: Models the Fibonacci reproduction system considering rabbits death rate.
  5. RCFilter: Models a first order low pass RC filter.
  6. MulAcc : Models a multiply-accumulator. Adaptation from a ForSyDe-SystemC version, bridging between the two languages.
  7. Equalizer: Models an equalizer system used in Sander's PhD thesis.

2. Untimed MoC

  1. AdaptiveAmp: Models an adaptive amplifier.
  2. Ascii2Bin: Models two processes to convert between ASCII characters and their binary representations.

3. Synchronous DataFlow MoC

  1. ImageProcessing: Models a toy image processing example used as system specification for the KTH IL2212 Embedded Software lab project. It introduces the concept of parallel patterns as skeletons on vectors.

4. Continuous Time MoC

No demos available at the moment.

5. Heterogeneous Models

These are demos that show how to use more than one MoC to model a system.

  1. ASKTransceiver: Models an Asynchronous Shift Key Trasciever, using the SY, SDF and CT models of computation.