Sessions

Sessions adress introduction to modeling, modeling with SysML and verification.
You can perform the models of exercices with TTool.

Installing TTool on your computer

If you want to use TTool on your own laptop, then, you need to download it and then to install it. Select the develoment version, graphical installer. You need to have Java 8 at least installed on your computer.
Once downloaded, just uncompress the file, go in the TTool directory, and start it with ttool.bat (windows) or ttool.exe (MacOS, Linux). Alternatevely, in Windows, you can simply double lick on ttool.jar in TTool/bin directory

Using TTool on Eurecom computers

TTool packages are installed in /opt/ttool/
To be able to use TTool, you first need to install the configuration of TTool in your home directory. To do so, execute from a terminal the following command:

$ /opt/ttool/local_install/makeLocalInstall

This should create a directory named TTool_local in your home directory. This is done once for all, you don't need to re-execute that script in the future, apart when TTool is updated (your favourite teacher will tell you when to do this).

Now, to start TTool, do as follows:

~/TTool_local/bin/ttool.exe

or:

$ cd ~/TTool_local/bin
$ ttool.exe