Formal Methods for Software Engineering

Telelogic Tau SDL installation

Windows

The tools can be installed using the Add/Remove Software option of the Control Panel if you are working inside the Informatica domain. The license server is called hercules and the port number must be set to 1726. The environment settings to reach the license server can be set by logging in to the course account and starting the script pointed to by an icon.

NOTE FOR WINDOWS USERS

If you observe problems using the coverage viewer - problems that you have not observed last week while doing the self-study exercise with the Tau tool - you may wish to switch to the Solaris installation of the tool.

• On the practicum clusters, you can run Solaris under Windows using the Exceed software (broadcast option).
• Login with the username and password you use for Windows.
• Run the script below in the Solaris section to start up the Tau tool.

Solaris

The tools can be accessed in the Solaris environment by downloading and running the sdt script. This script sets the following environment variables necessary to access the tool binaries and the license server:

setenv TELELOGIC_HOME /home/multi/arch/bin/solaris/telelogic/bin
setenv PATH $PATH":"$TELELOGIC_HOME
setenv LM_LICENSE_FILE 1726@hercules.cs.utwente.nl

C/C++ Compilers

In order to create a simulation or a validation you need a C/C++ compiler. On the Windows lab environment you can use the Borland C++ Builder; in the Solaris environment you can use Gnu gcc.