Previous Chapter SDT 3.01 User's Guide

SDT 3.01
User's Guide

A Task-oriented Guide to SDT 3.01

Telelogic AB Phone +46 40-174700

Box 4128 Telefax +46 40-174747

S-203 12 MALMÖ E-Mail support@telelogic.se

SWEDEN

SDT 3.01

Credits to:

Bengt Andersson

Michael Andersson

Tord Andreasson

Johan Bergstrand

Per Beremark

Per Blysa

Ulf Dahlén

Jan Docekal

Anders Ek

Petra Ericson

Ola Eklundh

Jan Ellsberger

Tommy Eriksson

Ib Green

Catarina Görtz

Magnus Herner

Carl Olof Hydbom

Henric Isacsson

Jan Karlsson

Jan Lindh

Tomas Lundh

Eric Lundquist

Pär Madsen

Thomas Michanek

Carl Eric Mols

Piotr Nestorow

Gert Nilsson

Per-Olov Nilsson

Håkan Rusk

Lars Råwall

Henrik Sundström

John Svensson

Jon Stephenson von Tetzchner

Lars Tufvesson

Hugo Tullberg

Björn Waldt

Björn Yndén

Copyrights

All rights reserved. No part of this publication may be reproduced, transmitted, transcribed, stored in a retrieval system or translated into any language in any form by any means without the written permission of Telelogic. Information in this document is subject to change without notice.

Telelogic provides this publication "As Is" without warranty of any kind, either expressed or limited. Telelogic may revise this publication from time to time without notice.

Software License Notice

Your license agreement with Telelogic AB authorizes the number of copies that can be made and the computer systems on which they may be used. Any unauthorized depublication or use of SDT in whole or in part, in print, or in any other storage and retrieval system is forbidden.

Other Software

The SDT Help Viewer uses giftoppm and ppmtoxpm:

giftoppm and ppmtoxpm are Copyright (C) 1991 Rainer Klute
Permission to use, copy, modify, distribute, and sell this software and its documentation for any purpose is hereby granted without fee, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation, and that the copyright holder's name not be used in advertising or publicity pertaining to distribution of the software without specific, written prior permission. The copyright holder makes no representations about the suitability of this software for any purpose. It is provided "as is" without express or implied warranty.

Trademarks

DEC, DECstation, DECwindows, PATHWORKS and ULTRIX are registered trademarks of Digital Equipment, Incorporated.

FrameMaker, FrameReader and FrameViewer are registered trademarks of Frame Technology Corporation.

Hewlett-Packard is a registered trademark of Hewlett-Packard Corporation.

IARC51 is a trademark of IAR, Incorporated.

IBM is a registered trademark of International Business Machines Corporation.

Interleaf is a registered trademark of Interleaf, Incorporated.

ITEX is a trademark of Telelogic.

Microsoft, MS and MS-DOS are registered trademarks of Microsoft Corporation.

Netscape is a registered trademark of Netscape Communications Corporation.

Oasys is a trademark of XEL, Incorporated.

OSE is a registered trademark of ENEA DATA AB.

OSF, OSF/Motif and Motif are trademarks of Open Software Foundation, Inc.

Personal System/2, PS/2, MicroChannel, RISC System/6000 and AIX are trademarks of International Business Machines Corporation.

PostScript is a registered trademark of Adobe Systems, Inc.

pSOS+ is a trademark of Integrated Systems, Inc.

SDT is a trademark of Telelogic.

Solaris, Sun Microsystem, SPARCstation, Sun Workstation and NFS are trademarks of Sun Microsystems, Incorporated.

TeleUse is a registered trademark of Alsys.

UNIX is a registered trademark of AT&T Bell laboratories, Incorporated.

Microtec and VRTX are registered trademarks of Microtec Research, Inc.

VxGDB and VxSim are trademarks of Wind River Systems, Inc.

VxWorks is a registered trademark of Wind River Systems, Inc.

Windows and Windows/386 are trademarks of Microsoft Corporation.

X Window System is a trademark of the Massachusetts Institute of Technology.

XRAY is a trademark of Microtec Research, Inc.

Using this Manual

This manual is a task-oriented User's Guide to SDT, meaning that it provides answers to questions like "how do I perform a particular operation?" For a reference to the tool windows, menus, commands, storage formats, etc., see the volume SDT 3.01 Reference Manual.

We have organized the operations into the following chapters:

Using SDT Frame Help: How to take advantage of the FrameMaker based on-line help utility.
Editing SDL Diagrams: How to create, edit and manage diagrams.
Editing MSC Diagrams: How to create, editand manage Mesage Sequence Charts.
Printing Information: How to produce print-outs from the SDT tools.
Managing Preferences: How to use the Preference Manager to customize the behavior of the SDT tools.
Verifying a System: How to use the Analyzer tool from the Organizer in order to perform syntactic and semantic check on an SDL structure.
Simulating a System: How to generate and run a Simulator in an SDT-3 environment.
Validating a System: How to generate and run a Validator in an
SDT-3 environment.
Building an Application: How to generate a real-time application with SDT.
How to Use the SDT Public Interface: How to use the features of the interface to the SDT PostMaster.

Documentation Guide

For a short overview and guide to the SDT 3.01 user documentation, see chapter 3, Documentation Guide, in the volume SDT 3.01 Release and Documentation. This chapter contains the following:

Contents of the volumes making up the documentation
Reading Advice for the documentation
Typographic Conventions used in all volumes.

Table of Contents

Next Chapter