The purpose of this project to test and find bugs in cyber-physical system development tool chains such as Simulink

The prototype implementation is developed extending DeepSmith code base.

####How to use The entire project is built using Bazel, with a preliminary configure script to setup the build.

Please create virtual environment so that the installation doesnot conflict with system wide installs.
This project can only be built on a modern version of Ubuntu Linux . There are issues on macOS right now.

First install the required packages:

$ sudo apt-get update
$ sudo apt install -y --no-install-recommends \
   ca-certificates curl g++ git libmysqlclient-dev ocl-icd-opencl-dev \
   pkg-config python python-dev python3.6 python3.6-dev python3-distutils \
   unzip zip zlib1g-dev openjdk-11-jdk  m4 libexempi-dev rsync texlive-full \
   python3-numpy build-essential libsdl2-dev libjpeg-dev nasm tar libbz2-dev \
   libgtk2.0-dev cmake libfluidsynth-dev libgme-dev libopenal-dev timidity \
   libwildmidi-dev libboost-all-dev libsdl2-dev

Please note that this list of packages is for Ubuntu 18.04. On older distributions, some of the packages may not exist. For example, Ubuntu distributions prior to 16.10 require a custom PPA to provide the python3.6 package.

Next, install Bazel:

$ curl -L -o /tmp/bazel.sh https://github.com/bazelbuild/bazel/releases/download/0.14.1/bazel-0.14.1-installer-linux-x86_64.sh
$ sudo bash /tmp/bazel.sh && rm /tmp/bazel.sh

Now install the requirements which are common across platforms: Install julia :

$ julia
(julia)$ import Pkg
(julia)$ Pkg.add("CxxWrap")
(julia)$ exit()

Clone this project:(as of now clone in /var directory)

$ git clone [repo]
$ cd phd

Configure the build and answer the yes/no questions. The default answers should be fine:

$ sudo ./configure

Note that CUDA support requires CUDA to have been installed separately, see the TensorFlow build docs for instructions. CUDA support has only been tested for Linux builds, not macOS or Docker containers.

Finally, we must set up the shell environment for running bazel. The file .env is created by the configure process and must be sourced for every shell we want to use bazel with:

$ source $PWD/.env

Now build or test whatever bazel targets you'd like. Use bazel query //... to list the available targets. E.g. to run the specific test suite, run:

$ bazel test //lib/labm8:fs_test

See Readme.md in slearner directory to learn how to run preprocessor.

Next, collect only those models which still run after preprocessing.

cd slsf_randgen
export COVEXPEXPLORE="/location/of/preprocessed/files"
export COVEXPSUCCESS="/location/where/you/want/to/save/these/models"
matlab &
covexp.covcollect # Run in MATLAB prompt

After running this, the pre-processed, valid models will be located in the directory pointed by $COVEXPSUCCESS

Create .tar.bz2 file from the contents in

cd $COVEXPSUCCESS
tar cvjf mycorpus.tar/bz2 * # j means bz2

Place the corpus in deeplearning/clgen/tests/data/mdl/mycorpus.tar.bz2 And update the location in deeplearning/clgen/tests/data/mdl/mdl_config.pbtxt file

To train CLGen on Simulink corpus:

$ bazel run //deeplearning/clgen -- --config=/path/to/the/config/file

$ bazel run //deeplearning/clgen -- --config=$PWD/deeplearning/clgen/tests/data/mdl/mdl_config.pbtxt

To run test cases typical to this project:

$ bazel test //deeplearning/clgen/preprocessors/...