================================================
Building software for ROSACE with Giotto
================================================
Giotto is a programming language for embedded control system. The Giotto Toolkit has been developed at the University of California, Berkeley (http://embedded.eecs.berkeley.edu/giotto/).

These step-by-step instructions was produced for Linux.

1. Install Giotto
-----------------

To install Giotto, download the GDK at http://embedded.eecs.berkeley.edu/giotto/downloadGDK.html (be careful the archives for Linux and Mac OS have been inverted).

Create a specific folder for giotto
> mkdir ~/giotto
> cd 'download folder'
> chmod +x giotto_1_0_1_install.bin
> ./giotto_1_0_1_install.bin

Follow instructions and install Giotto into the giotto folder ~/giotto

2. Compile Giotto model
-----------------------

run Giotto GUI
> cd ~/giotto
> ./Giotto_1.0.1
  Select with File>open the model rosace.giotto in the folder /ROSACE_CaseStudy/giotto_implementation/giotto_model/
  Check 'make c' and uncheck 'make java' on the Giotto GUI
  Click 'Compile' button on the Giotto GUI
Remark that command to compile the giotto model certainly exists but the Giotto documentation is not explicit.

The generated code can be found in ~/giotto/c_output/, especially the ecode sequence is in ~/giotto/c_ouput/ecode/e_code.c

Replace ~/giotto/c_functionality/fcode with the ROSACE case study code
> cd ~/giotto
> cp 'dir'/ROSACE_CaseStudy/giotto_implementation/giotto_fcode/f_code.* ./c_functionality/fcode/


Copy and execute the CMakeLists file into the giotto folder
> cp 'dir'/ROSACE_CaseStudy/giotto_implementation/CMakeLists.txt .
> cmake .
> make

3. Run the executable
---------------------

Copy the properties file (you can edit it to specify initial conditions and the number of steps of the experimentation)
> cp 'dir'/ROSACE_CaseStudy/giotto_implementation/properties.txt ./bin/
> cd ./bin
> ./giotto | grep -v time