In this part of the course, you will learn to become familiar with designing and developing protocols using SDL with Telelogic's SDT/TAU.

Using SDT:

Telelogic SDT-tool can be used from all SUN-stations in lintula.  First you have to add /share/telelogic42/bin to your PATH variable, and /share/telelogic42/lib to your LD_LIBRARY_PATH variable. Then SDT is started by typing "sdt". Please note: As the SDT software has just been upgraded recently from 3.4 to 4.2, you may encounter several warnings when doing your assignments. Also the assignments were prepared for the older version, so there may be slight differences in some menu options, checkboxes. etc. However this should not affect your work.

The SDT Graphical Tools

SDT comprises the following graphical tools:

Other SDT Tools and Back-End Facilities

The following additional tools and facilities are available: You can browse the html help files for SDT from within the Help Menu Option if you are using the Lintula machines. Essentially they are the same as the ones you would find from within SDT itself. Should you have any problems with SDT for this coursework, please contact me at [email protected]. I am also available in room H212.