Documentation

Documentation covering the SDL suite and the TTCN suite is available as online help. It is also available on the Telelogic Tau 4.5 CD, in PDF format. This allows you to print selected parts of the documentation.

Note: You need the Adobe Acrobat Reader to be able open the files. The Acrobat Reader can be downloaded as freeware from Adobe's home page at http://www.adobe.com.

• Installation Guide (IG-ST)
• Release Guide (RG-ST)
• SDL Suite Methodology Guidelines (MG-S)
• TTCN Suite Methodology Guidelines (MG-T)
• SDL Suite Getting Started (GS-S)
• TTCN Suite Getting Started (GS-T)
• User Manual (UM-ST)
Introduction and Interface Operations
General References
Integrations
Conversion Tools
Editors
Viewers
Simulators and Validators
Code Generation
Libraries and OS Integrations
TTCN Suite - UNIX
TTCN Suite - Windows
SOMT Methodology Reference

• Platforms and Products - (sysreq.pdf)
• Installation Procedure for UNIX - (instunix.pdf)
• Installation Procedure for Windows - (instpc.pdf)
• System Setup - (syssetup.pdf)
• Licensing Management - (licman.pdf)
• A Primer on Licensing - (licintro.pdf)

• Compatibility Notes - (compnote.pdf)
• Release Notes - (relnotes.pdf)

• Object Oriented Design Using SDL - (sdl92des.pdf)
• Data Types - (datatype.pdf)
• Using SDL Extensions - (sdlext.pdf)
• Organizing a Project - (projorg.pdf)

• The TTCN Introduction - (ttcncase.pdf)

• Introduction to Languages and Notations - (introsdl.pdf)
• Introduction to the SDL Suite - (introsdt.pdf)
• Tutorial: The Editors and the Analyzer - (bastutsd.pdf)
• Tutorial: The SDL Simulator - (simtutsd.pdf)
• Tutorial: The SDL Validator - (valtut.pdf)
• Tutorial: Applying SDL-92 to the DemonGame - (sdl92tut.pdf)
• Cmicro Targeting Tutorial - (cmicrtut.pdf)
• ASN.1 Tutorial - (asn1tut.pdf)
• SDL-2000 Tutorial - (sdl2ktut.pdf)
• Threaded Integration Tutorial - (tlitetut.pdf)

• Introduction to Languages and Notations - (intrttcn.pdf)
• Introduction to the TTCN Suite (in Windows) - (intrixpc.pdf)
• Introduction to the TTCN Suite (on UNIX) - (intrixux.pdf)
• Tutorial: TTCN Suite Basics (in Windows) - (bastutip.pdf)
• Tutorial: TTCN Suite Basics (on UNIX) - (bastutiu.pdf)
• Tutorial: TTCN-SDL Co-Simulator (Windows) - (simtutip.pdf)
• Tutorial: TTCN-SDL Co-Simulator (on UNIX) - (simtutiu.pdf)
• Tutorial: The TTCN Link - (linktut.pdf)
• Tutorial: The Autolink Tool - (autotut.pdf)

User's Manual (UM-ST)

• User Interface and Basic Operations - (taugui.pdf)
• The Organizer - (organize.pdf)
• The Telelogic Tau Public Interface - (pubinter.pdf)
• Using the Telelogic Tau Public Interface - (pubintus.pdf)
• The Preference Manager - (prefman.pdf)
• Managing Preferences - (prefuse.pdf)
• Printing Documents and Diagrams - (print.pdf)

• The PostMaster - (postmast.pdf)
• The Information Server - (infoserv.pdf)
• SDT References - (sdtrefs.pdf)

• Emacs Integration - (emacs.pdf)
• MS Word Integration - (msword.pdf)
• DOORS Integration - (doors.pdf)
• Implinks and Endpoints - (implinks.pdf)

• The CPP2SDL Tool - (cpp2sdl.pdf)
• The CPP2SDL Migration - (cppmigr.pdf)
• CIF Converter Tools - (cifconv.pdf)
• The UML2SDL Utility - (uml2sdl.pdf)

• Using the SDL Suite Diagram Editors - (editors.pdf)
• Deployment Editors - (deployed.pdf)
• Editing MSC Diagrams - (msceuse.pdf)
• The Text Editor - (textedit.pdf)
• Using the SDL Editor - (sdledit.pdf)
• Using OM Access - (omaccess.pdf)
• Symbols and Lines - (symref.pdf)

• The SDL Type Viewer - (typeview.pdf)
• The SDL Index Viewer - (indxview.pdf)
• The SDL Coverage Viewer - (covview.pdf)
• Complexity Measures - (compmeas.pdf)

• The SDL Simulator - (simsdt.pdf)
• Simulating a System - (simsdtus.pdf)
• Remote Target Simulation - (simtarg.pdf)
• The SDL Validator - (valid.pdf)
• Validating a System - (validuse.pdf)

• The SDL Analyzer - (analysdt.pdf)
• Analyzing a System - (analyuse.pdf)
• The Cadvanced/Cbasic SDL to C Compiler - (ccodesdt.pdf)
• Building an Application - (ccodeuse.pdf)
• The ASN.1 Utilities - (asn1util.pdf)
• Using ASN.1 Coders in the SDL Suite - (asn1sdl.pdf)
• The Cmicro SDL to C Compiler - (microcod.pdf)
• The SDL Target Tester - (microtst.pdf)
• The Targeting Expert - (targexp.pdf)
• SDL C Compiler Driver (SCCD) - (sccd.pdf)

• The Master Library - (mastlib.pdf)
• The ADT Library - (adtlib.pdf)
• The Performance Library - (perflib.pdf)
• The Cmicro Library - (microlib.pdf)
• Integration with Operating Systems - (rtos.pdf)

• The TTCN Browser (UNIX) - (browser.pdf)
• The TTCN Table Editor (UNIX) - (tabledit.pdf)
• Analyzing TTCN Documents (UNIX) - (analyixu.pdf)
• The TTCN to C Compiler (UNIX) - (ccodeixu.pdf)
• The TTCN-SDL Co-Simulator (UNIX) - (simitexu.pdf)
• Customizing the TTCN Suite (UNIX) - (customiz.pdf)
• The TTCN Exerciser - (ttcnexer.pdf)
• TTCN Test Suite Generation - (ttcnlink.pdf)
• Adaptation of Generated Code - (gci.pdf)
• Error Messages in the TTCN Suite - (erritex.pdf)
• Languages Supported in the TTCN Suite - (langitex.pdf)
• Basic Compiling Theory - (comptheo.pdf)
• TTCN Access - (ixaccess.pdf)
• Creating a TTCN Access Application - (ixaccuse.pdf)
• The TTCN Access Class Reference Manual - (ixaccref.pdf)

• Editing TTCN Documents (in Windows) - (ttcnedit.pdf)
• Analyzing TTCN Documents (in Windows) - (analyixp.pdf)
• The TTCN to C Compiler (in Windows) - (ccodeixp.pdf)
• The TTCN-SDL Co-Simulator (in Windows) - (simitexp.pdf)
• The TTCN Exerciser - (ttcnexer.pdf)
• TTCN Test Suite Generation - (ttcnlink.pdf)
• Adaptation of Generated Code - (gci.pdf)
• Error Messages in the TTCN Suite - (erritex.pdf)
• Languages Supported in the TTCN Suite - (langitex.pdf)

• SOMT Introduction - (somtintr.pdf)
• SOMT Concepts and Notations - (somtconc.pdf)
• Requirement Analysis - (reqanaly.pdf)
• System Analysis - (sysanaly.pdf)
• From Analysis to Design - (anal2des.pdf)
• System Design - (sysdes.pdf)
• Object Design - (objdes.pdf)
• SOMT Implementation - (somtimpl.pdf)
• SOMT Projects - (somtproj.pdf)
• SOMT Tutorial - (somttut.pdf)