Intro Sdl Suite

7/27/2019 Intro Sdl Suite

http://slidepdf.com/reader/full/intro-sdl-suite 1/32

Introduction to

Telelogic TauSDL Suite

200109



ii © Telelogic AB

____________________________________________________________

Copyright by Telelogic AB 1991-2001

This publication contains course materials and examples of applications of the Program and is owned

by Telelogic and is protected by national copyright laws and international copyright treaties. Telelogic

grants you the right to use the training course material and the enclosed examples on one computer or

in one local computer network at any one time. This does not convey to you an interest in or to the

publication, but only a limited right of use.

No part of this publication may be reproduced, transmitted, transcribed, stored in a retrieval system

or translated into any language in any form without the written permission of Telelogic.

Telelogic does not warrant that this training course material and the enclosed examples will meet your

requirements or that the operation of the Program will be according to the information in this publi-

cation, uninterrupted and error free. You are solely responsible for the selection and operation of the

Program to achieve your intended results and for the results actually obtained.

Information in this publication is subject to change without notice.



© Telelogic AB iii

_____________________________________________________ Contents

Contents Introduction to

Telelogic Tau

SDL Suite

Introduction......................................................................... 1

Starting up Telelogic Tau SDL Suite...............................2

The Organizer ...................................................................... 2The Preference Manager..................................................................... 5

Help Viewer ...........................................................................6

The SDL Editor .....................................................................7Block Diagrams .................................................................................. 8

Process Diagrams.............................................................................. 10

Editing Text ...................................................................................... 12

On-line Syntax Check....................................................................... 12

Grammar Help....................................................................13

The Analyzer .......................................................................14Trace static errors in an SDL System ............................................... 15

The Index Viewer...............................................................16

The MSC Editor ..................................................................17

The Simulator .....................................................................19

The Coverage Viewer ........................................................23

The Validator ......................................................................24



iv © Telelogic AB

Contents _____________________________________________________



© Telelogic AB 1

_________________________________________ Telelogic Tau SDL Suite

Telelogic Tau SDL SuiteIntroduction

Telelogic Tau SDL Suite is a tool for designing and implementing real-time softw a re.

The SDL Suite consists of a graphical editor and syntax analyzer, a

simulat or a nd va lidat or a nd several optimized code generat ors for com-

pilation to executable code. The SDL Suite consists of the tools shown

in F i g u r e 1 .

Figure1 Telelogic Ta u S D L S uit e

Telelogic Ta u S DL Suit e is ava ilable on U NIX a nd Windows plat forms.

This document describes the basic functions of the Telelogic Tau SDL

Suite.

SDL

Editor

OM

Editor

State Chart

Editor

(H)MSC

Editor

Text

Editor

Deployment

Editor

Analyzer

Simulator

Code

Generator

Master

Libraries

TTCN

Editor

UML

Editor

Organizer

Utilities ViewersLink

ManagerValidator

Targeting

ExpertTTCN Link



2 © Telelogic AB

Telelogic Tau SDL Suite _________________________________________

Starting up Telelogic Tau SDL Suite

UNIX >sdtor

>tau

Windows Use the Start/Program files a nd select

t he Telelogic Ta u progr a m.

The SDL S uite start s an d the Organizer window a ppears.

The Organizer

The Organizer is t he tool tha t assists you w hen working w ith t he SDL

a nd MS C d iagr a ms. The Orga nizer ca n ha ndle text files, object m odels

and c-files (see F i g u r e 2 ). In fact, any file can be referenced in the Or-

gan izer. I t is a lso the Organizer tha t is ma na ging the other t ools in t he

SD L Sui te.

Figure2 Organizer w indow



© Telelogic AB 3


A general introduction to some important commands within the Orga-

nizer are found in T a b l e 1 . Note that several of these commands are

also available in the context-sensitive pop-up menu (right mouse but-

ton).

Table 1: Frequent Organizer Menu Commands

Menu /C omma nd Act ion

File /New... C rea t es a new syst em file.

F ile /Open... Opens a n old syst em file.

F ile /S a ve... S a ves t he current set t ings in t he syst em file.

F ile /P rint ... P rin t s t he w hole st ruct ure or pa r t s of the st ruc-

ture.

F i le /Compare Sys tem.. . Compares the system in the Organ izer wi th the

syst em in a specified .sdt file, w ith t he possibil-

i ty t o add or remove diagr am s th at differ.

E dit /Add New... Adds a new dia gra m/module/cha pt er t o t he con-

tent s of th e Orga nizer.

E d it /Ad d E xis t in g... Ad ds a file t o t h e con t en t s of t h e Or ga n iz er.

View /View O pt ion s... S et s t h e view of t h e Or ga n iz er w in dow.

G ener a te /Ana ly ze... S t ar ts an aly zin g t he select ed sy st em .

G enera t e /Ma ke... S ta rt s t he ma ke process, genera tes code a nd a n

execut a ble Simu la t or /Va lida t or /Applica t ion /...

G enera te /SD L Overview. .. S ta r ts to genera t e an SDL Overview diagra m (a

tra nsparent S DL view ) for t he selected diagra m

in th e Organ izer.

G enera te /Convert to GR. .. Converts an SD L PR f i le to SDL G R diagra ms.

Tools /S ea rch ... S t a r t s t he sea rch a nd repla ce t ool.

Tools /SD L /Type View er St ar ts t he Type Viewer, used to look at the

inherita nce trees and insta ntia t ion informa tion.

Tools /SDL /

Covera ge Viewer

St a rt s t he Covera ge View er, to look at coverage

information from simulations and validations.

Tools /SD L /Index View er St ar ts t he Index Viewer, to look at SD L defini-

tions an d w here the definitions a re used.

Tools /SDL /Simula tor U I Sta rts the Simula tor user in terface .

Tools /SDL /Val ida tor UI Sta rts the Val ida tor user in terface.

Tools /P reference Mana ger St ar ts t he preference mana ger, where the inter-

face an d beha vior of th e oth er t ools can be cus-

tomized.



4 © Telelogic AB


The Organ izer ha s fas t a ccess to th e most frequent comman ds by:

a t ool ba r w it h q uick bu tt on s (s ee F i g u r e 3 a nd T a b l e 2 )

• a context sensi t ive pop-up menu (on the r ight mouse but ton)• key boa r d shor t-cut s.

The follow ing quick buttons a re a va ilable in t he Orga nizer:

Figure3 The Or ga nizer Tool B a r

Some quick buttons correspond to menu commands, while other quick

butt ons perform a sequence of actions.

Table 2: Useful Quick Button Commands

C omma nd Act ion

S imula te Ana lyses t he select ed S DL syst em, ma kes a Sim-

ulator a nd opens the Simulat or in a Simulat or

U I .

Va lida te Ana lyses t he select ed S DL syst em, ma kes a Va li-

da tor a nd opens the Va lidat or in a Va lidat or UI .

G e nera t e In dex An a ly ses t h e s elect ed s ys t em , g en era t es a cros s

reference file a nd opens t ha t file in th e Index

Viewer.

Move Dow n Move t he select ed dia gra m dow n.

Move U p Move t he select ed dia gra m up.

A d d N

e w

Z o o m

O u t

S a v e

P r i n t

O p e n

V a l i d

a t e L o g

H e l p

Z o o m

I n

G e n e

r a t e I

n d e x

O v e r v i e w

S i m u l a t e

S e a r c

h

A n a l y

z e M a

k e

M o v e

D o w

n

M o v e

U p



© Telelogic AB 5


The Preference Manager

The Preference Manager allows you to customize the appearance and

behavior of th e SD L S uite. To sta rt th e P reference Ma na ger, choose thecommand Preference Manager from the Organizer Tools menu and

the P reference Mana ger w indow a ppears, see F i g u r e 4 .

Figure4 P reference Mana ger windows

To show t he preference va lues you can:

• dou ble-click on a n icon

• s elect t h e icon a n d ch oos e t h e Expand comma nd under t he View

menu

• press the r igh t mouse but ton on the icon and choose the Expand

comm a nd in t he popup menu

Perform the Save and then the Exit command from the File menu in

the Preferences window. Your settings have now been saved and will

be read by t he other SD L Suite tools when they sta rt up.



6 © Telelogic AB


Help Viewer

A Help menu is available in most main and sub windows of the SDLSuite. However, the menu choices in this menu are not the same in

each tool or on each platform, but they work in the same way: When

you select a menu choice in the Help menu, a help viewer will be

opened w ith th e corresponding help topic, see F i g u r e 5 .

Figure5 H elp Viewer w indow

In th e help view er you can perform th e actions described in T a b l e 3 .

Table 3: Useful Help Viewer Commands

C omma nd Act ion

Index Opens t he help view er w it h a n index of a ll ent r ies

in t he Telelogic Ta u docum ent a t ion.

S ea rch S t a rt s a text ua l sea rch a cross a ll help files.



© Telelogic AB 7


The SDL Editor

The SDL Ed itor is the tool tha t lets you crea te, view a nd edit your SD Ldiagr a ms. The editor ha s different modes, depending on t he kind of ed-

ited diagram, for example block or process diagram. The modes differ

with respect to on-line syntax and the symbols in the symbol menu. A

few comma nds a re a lso a ffected by t he mode.

The most frequently used commands in the SDL Editor are viewed in

T a b l e 4 . Note that several of these commands are also available in the

cont ext-sensit ive pop-up m enu (righ t mouse but t on).

The quick buttons a va ilable in t he SD L E ditor a re shown in F i g u r e 6 .

Figure6 The SD L E dit or Tool B a r

Table 4: Frequent SDL Editor Commands

Menu /Comma nd Act ion

File /S a ve S a ve t he current dia gra m.

F ile /P rin t ... P r int t he current dia gra m.

E d it /C ut , C opy, P a s t e G r a ph ica l clipboa r d fea t ur es.

E dit /D ra w in g S ize... S et the size of t he dia gr a m d ra w in g a r ea .

View /Window Options...,

Dia gra m Options. . .,

E ditor Options...

S et some options for th e Window, Dia gra m or

Editor.

P ages /E dit ... E dit ing fea t ures for dia gra m pa ges: Add pa ges,Rena me pages, Edit pages, Copy pa ges,. . .

D ia gra ms /... S w it ch bet w een t he different dia gra m buffers

in th e edit or.

Win dow /New Win dow Open a new S D L E d it or w in dow.

Win dow /G r a m m a r H elp Open t h e G r a m m a r H elp w in dow.

Window /Signal Dictiona ry Open the Signal Dictiona ry window.

S c a l e

O v e r v i e w

Z o o m

O u t

S a v e

P r i n t

O p e n

R e f e r

e n c e

P a g

e H e

l p

Z o o m

I n

P r e v i o u

s P a g

e

S h o w

/ H i d e

T e x t W i n d

o w

S h o w

/ H i d e

S y m b o l M

e n u

N e x t P a

g e

N e x t D i

a g r a m

P r e v i o u

s

S h o w

t h e O

r g a n i z

e r

S h o w

O r g a

n i z e r L o

g



8 © Telelogic AB


Block Diagrams

The appearance of the SDL Editor when block diagrams are created and edited is

shown in Figure 7 .

Figure7 SD L E ditor w indow in block diagra m mode


C omma nd Act ion

Show /Hide Text Window Toggle the tex t window.

Show /Hide Symbol Menu Toggle the symbol menu .

Reference P a ge E dit t he dia gra m w here t h is dia gra m is

referenced.

P revious /Next P a ge S how t he previous /next pa ge.

P op-up t he Orga nizer S how the Orga nizer.

S ca le Overview S et t he sca le t o fit t he dia gra m int o t he

size of th e win dow.

Drawingarea

Symbolmenu

Textwindow



© Telelogic AB 9


Draw symbolsS ymbols can be pla ced eith er by double-clicking in t he sym bol menu or

manually by selecting and dragging from the symbol menu. When se-

lecting a sy mbol in the symbol menu, the cursor is shaped a s a n a rrow .

A 4-Arrow cursor w ill be show n w hen a click + dra g w ill result in m ov-

ing t he object .

To resize a sym bol, gra b one of th e corners of th e symbol, and dra g.

The text symbol is shrinkable to save space on a drawing. If you dou-

ble-click in a text symbol it will assume the smallest size, one more

double-click w ill restore th e size a ga in. On a print -out, t he text in side a

shru nk text symbol is fully expanded on a separa te page.

Sy mbols can be copied a nd past ed betw een d ifferent editor modes pro-

vided tha t t he copied informa tion is allow ed in tha t editor mode.

Draw channels and signal routesCha nnels ca n be inserted if you select a block symbol, gra b th e han dle

on the bott om of the symbol a nd dr a g.

Signal routes can be inserted if you select a process symbol, grab the

left handle and drag. Observe that there are two handles on the pro-

cess symbol. The second handle will produce a Create Line (dashed)

which is used for indicating a Parent-Offspring relationship, see

F i g u r e 8 .

Figure8 Cha nnel and Signal Route ha ndles

The components of a Channel (identical to Signal Route) between a

block a nd t he environment a re shown in F i g u r e 9 .

Figure9 Cha nnel components

Channel handle Signal route handle Create line handle

Connection point (to holdchannel/gate reference)

Channel name

Signal list box (for one direction)

Channel direction



10 © Telelogic AB


The placement of cha nnels a nd signa l routes can be interr upted by ei-

ther pressing the <ESC> key or double-clicking on the left mouse but-

ton.

The channel or signal route direction can be changed with the menucomma nds r edirect, bidirect a nd un idirect, see T a b l e 6 .

Process Diagrams

The appearance of the SDL Editor when process diagrams are created

a nd edited is shown in F i g u r e 10 .

Figure10 SD L E ditor w indow in process diagra m mode

Table 6: Channel and signal route menu commands

C omma nd Act ion

E d it /R ed ir ect R ed ir ect a ch a n nel or sig na l r ou t e.

E d it /B id ir ect B i dir ect a ch a nn el or sign a l r out e.

Edi t /Unidirect Unid irect a b id irect iona l channel or s igna l rou te.

Drawingarea

Symbolmenu

Textwindow



© Telelogic AB 11


Apart from the commands described in T a b l e 4 , there are some more

useful commands when editing process diagrams. Note that several of

these commands are also available in the context-sensitive pop-up

menu (right mouse button).

Add symbolsWhen double-click is used, the new symbol is automatically connected

to the symbol selected in the flow. The newly inserted symbol is now

selected, so that you can directly double-click on the next symbol to beinserted in t he flow. The great benefit is th a t th e flow lines do not ha ve

t o be ma nua lly conn ected. This is ca lled Aut o pla cement .

The selection is not moved down when double-clicking, if <SHIFT> is

pressed. This can be useful if you for exa mple wa nt to place severa l IN-

P U T sym bols connected t o the sa me S TATE sym bol.

Connecting flowlinesFlowlines ca n be inserted if you select a symbol, gra b th e ha ndle on t he

bott om of th e symbol and dra g.

Flowlines ca n a lso be inserted a utoma tically. If you use the aut o place-

ment for symbols the symbols will automatically be connected with

flow lines provided th a t it is a sy nt a ctically correct flow .

The placement of flowlines can be interrupted either by pressing the

<ES C> key or double-clicking on t he left m ouse butt on.

If you wa nt t o insert a symbol into an existing flow , just pla ce the sym-

bol from the symbol menu on the flowline where you want to insert it

or select th e flow line (or th e symbol above) a nd d ouble click in t he sym -

bol menu on t he symbol you wa nt to insert.

Table 7: Frequent SDL Editor Commands for Process Diagrams


E d it /I n ser t P a s t e P a s tes t he con t en t s of th e clipboa r d in t o a con -

nected flow, tr ying t o preserve th e flow lines.

E dit /F lip Mirrors t he gra phica l a ppea ra nce of cer t a in flow

sym bols vert ica lly.

E d it /S elect Ta il S elect s a ll it em s follow in g th e s elect ed it em . Als oa vaila ble w ith t he keyboa rd short-cut <ctr l> - t.

Tools /Tid y U p... R ed ra w y ou r d ia g ra m w it h a ut o la y ou t of s ym bols .

Tools /C onn ect t o Text

Editor

An extern a l Text E dit or ca n be used to edit la rge

texts in symbols.



12 © Telelogic AB


Multiple selectionA group of elements or an area can be selected by pressing and drag-

ging the left mouse button to create a box that completely surrounds

the group or a rea.

Several symbols can be selected after each other by first selecting one

of the symbols, pressing <shift> and then selecting the symbols one by

one. From a group of selected symbols it is possible to deselect one by

one in a similar w ay .

There is a lso a possibility to select one flow symbol and th en a utoma ti-

cally select a ll symbols in th e bra nches from t ha t symbol. This is done

a utoma tically w ith t he Select Ta il comman d (see T a b l e 7 ), w hich is a lso

a va ilable as t he keyboa rd short-cut <ctr l>- t.

Editing Text

If y ou ha ve a symbol selected, you can w rite t ext into the sym bol. You

can place a text cursor anywhere in a text inside a symbol, see

F i g u r e 11 .

Figure11 Text selected in sy mbol is visible in t ext w indow

If t he symbol is unselected a n I -beam cursor w ill be shown a nd a click

w ill result in ent ering text editing mode.

Observe th a t in the case w here a selected object h a s more tha n one text

a rea (e.g. a cha nnel ha s na me, signa l list a nd connection point) it is t he

na me of the object t ha t t he text w ill be entered into. Ea ch text a rea can

be selected individually, though.

Text handling, like clipboard operations, are handled in the text win-

dow. When the cursor is in the text window it is constantly shaped as

a n I-bea m.

On-line Syntax Check

The SDL Editor checks that the symbols you add to a diagram are in

a ccorda nce w ith t he synta ctic rules imposed by SD L.

Some texts in t he editor a re subject t o synta ctic checks a s soon a s th ey

a re cha nged. Er rors detected dur ing synt a x checks w ill be display ed in

th e textua l object by a red underlining.



© Telelogic AB 13


Grammar Help

Grammar Help is a very convenient tool when you define a text-baseddefinit ion a nd you need help with t he exact synt a x. Gra mma r H elp is

useful when defining for exam ple newt ypes, syntypes, an d signa ls, see

F i g u r e 12 .

The Grammar Help is started in the SDL Editor under the Windowmenu with the comma nd Grammar Help.

Figure12 G ramma r help window

The Grammar Help is context sensitive: it shows relevant information

for th e selected sym bol.

The sections that starts with GRAMMAR in the Grammar Help de-

scribes the BNF (Backus-Naur Form) production rules for different

concepts available in the selected symbol. Chapter references to ITU-T

recommendation Z.100 are also available for reading about the defini-

t ions of th e different concepts.

The templates are perhaps the most useful part of the Grammar Help

functionality. The templates are items that do not star t wi th GRAM-

MAR. P redefined templat es for certa in design const ructs a re a va ilable.

Ident ifier na mes a re generic (i .e. Sort Na me, ComponentNa me etc.) a nd

should be cha nged to releva nt na mes.

The templates can be automatically inserted into the selected symbolby double-clicking on the template name in the left Grammar Help

window. The insertion can also be cancelled by the Undo command in

t he Edit menu of th e Grammar Help window.

Double-click here to insert a template into the text symbol.



14 © Telelogic AB


The Analyzer

The SDL Analyzer (see F i g u r e 13 ) checks that SDL diagrams are de-signed a ccording t o synta ctic a nd sema nt ic rules in Z.100.

An a nalysis is sta rted by selecting the part you w a nt t o ana lyse in the

Orga nizer an d t hen do one of th e follow ing:

• C hoose t he Analyze... comma nd under t he Generatemenu in the

Organizer. Set th e options for t he ana lysis (seman tic ana lysis ca n,

for exam ple, be omitt ed) in the dia logue tha t a ppea rs a nd t hen press

t he Analyze or Full Analyze button.

• P ress t he Analyze quick butt on in the Orga nizer. In this ca se, th e

la test specified options in the Ana lyze dia logue w ill be used.

Figure 13 Ana lyzer w indow

The results of the Analyzer are appended to the Organizer Log Window.

Analysis is performedif any diagram ischanged since lastanalysis

The system isanalyzed



© Telelogic AB 15


Trace static errors in an SDL System

I f a ny errors or w ar nings are found during the a na lysis the Organizer

Log window wil l appear, and inform you about what happens duringth e ana lysis. All errors found du ring th e different phas es of the a na lyz-

er w ill be displayed in t his w indow, see F i g u r e 14 .

Figure14 Show error in Organ izer Log window

The SDL suite provides a nice feature for displaying the source of an

an alysis error:

1. Select th e error (or w a rning) message in the Organizer log window

by dra gging the mouse.

2. Select t he menu choice Show Er ror from th e Tools menu

or use the Show Error quick button in th e Organ izer logwindow

3. The symbol where the error has been detected is displayed in a n SD L

Ed itor window.

A repeated a na lysis (w ith previous settings) is convenient ly

done in th e Organ izer Log by the Analyze quick button.

If you select an error in the Organizer Log window you can

use the Help on error quick button t o get a brief help mes-

sa ge a bout t he error.



16 © Telelogic AB


The Index Viewer

The Index Viewer sh ow s a ll the user defined identifiers in a n S DL sys-tem in a graphical way. The information is generated at the end of the

semantic analysis. The Index Viewer (see F i g u r e 15 ) is a useful fea tur e

for finding SDL information in a large system, since it keeps track of

both t he definition of a n entity a nd a ll references to tha t ent ity.

The Index View er is sta rt ed in the Tools menu in the Organ izer under

the sub-menu SDL, using the command Index Viewer. I t ca n a lso be

sta rted by using the Generate Index quick butt on in th e Orga nizer.

Figure15 Ind ex view er wind ow

The Index View er a ppea rs w ith informa tion about a ll identifiers in t heSDL System. Both the definitions and the references of an identifier

can be found. The predefined dat a ty pes of SDL a re a lso shown.

The sort order can be changed with the Toggle Order quick but-

ton. The informa tion is now presented w ith s ort order Type and nameinstead of Name. Pr ess the quick button a gain t o have the informa tion

sorted by Name. Start typing the name in the Viewer window to

sear ch for a n identifier.

Select the Tools/Show Definition command (in the References win-

dow) to show th e definition in the SD L E ditor.



© Telelogic AB 17


The MSC Editor

The MSC Editor is the tool that lets you create, view and edit yourMSC diagrams according to the ITU-T recommendation Z.120. Here

you ca n design your sy st em scena rios/use ca ses an d see tra ce output s

from simula tions a nd/or valida tions, see F i g u r e 16 .

Figure16 MSC E ditor w indow

The Clipboard functionality could be used for copying similar messag-

es, for exa mple.

The diagram size can be changed by the Drawing Size command in

t he Edit menu.

The most frequently used commands in the MSC Editor are viewed in

T a b l e 8 . Note that several of these commands are also available in the

cont ext-sensit ive pop-up m enu (right mouse but ton)

Drawingarea

Symbolmenu

Textwindow



18 © Telelogic AB


.

The quick butt ons in t he MSC Ed itor a re shown in F i g u r e 17 .

Figure17 The MS C E dit or Tool B a r

Table 8: Frequent MSC Editor Commands


File /Sa ve S a ve t he current dia gra m.

Ed it /C u t , C opy, P a s t e G ra p h ica l clipboa rd fea t u res .

E d it /D r a w in g S iz e... S et t he s iz e of t h e d ia g ra m dr a w in g a r ea .

D ia gra ms /... S w it ch bet w een t he different dia gra m buffers in

th e edit or.

Win dow / New Win dow O pen a n e w M S C Ed it or w i n dow .

Window /In fo Window Open the In fo window, d isplay ing in forma t ion

about the selected symbol.


C omma nd Act ion

Ma ke Spa ce Insert space after t he selected event .

Remove Spa ce Remove space after the selected event.

Show /Hide Inst a nce Ruler Toggle the ins t a nce ruler.

Sh ow /H ide Text Window Toggle the t ext w indow.

Toggle S ymbol Menu S how /hide t he symbol men u.

P op-up the Orga nizer Show the Organizer.

M a k e

S p a c e

Z o o m

O u t

S a v e

P r i n t

O p e n

R e m o

v e S p a

c e

S h o w t h

e O r g a

n i z e r

H e l p

Z o o m

I n

S h o w

/ H i d e I n

s t a n c e R

u l e r

S h o w

/ H i d e T

e x t W

i n d o w

T o g g l e S

y m b o

l M e n

u

N e x t D

i a g r a m

P r e v i o u

s



© Telelogic AB 19


The Simulator

The Simulator is used to test and learn the dynamic behavior of thesyst em specifica tion. The Simula tor w orks a s a debugger on S DL level.

During simulations it is possible to ha ve MSC, SD L a nd t extua l tra ces.

To facilita te simula tion comma nds can be logged an d la ter included as

scripts.

If you want to create a simulator, you can use one of the following

wa y s :

• S elect t h e sy st em i n t he Orga n iz er . C hoos e t h e Make...comma nd in

t he Generatemenu. Set t he Standard kernel opt ion t o one of th e

Simulation options in th e dialog w hich a ppea rs. P ress the Set but-

ton. P ress the Simulate quick butt on in the Organizer.

• Choose the system you wa n t to crea te a s imula tor for in the Organ iz-

er a nd t hen choose the Make...comma nd under t he Generatemenu

in the Organizer. Set t he Standard kernel option t o Simulation in

the dialog w hich a ppears a nd t hen press the Make but t on. When

you have crea ted a simula tor you ca n sta rt t he simula tion by choos-

ing the Simulator UI comma nd in t he SDL sub-menu in t he Tools

menu in the Organ izer.

The Simulat or UI w indow a ppears, see F i g u r e 18 .

Figure18 The Simula tor w indow



20 © Telelogic AB


Table 10: Useful Simulator Button /Menu Commands

G roup /B uttonMenu /Choice

Text ua lcommand

Action

Send Signal/

S end To

out put -t o S end s a signa l fr om t he envir onm ent to a n S D L

process insta nce. E xpected pa ra meters:

signa l_na me [par a met er_va l_list] proc_na me

Send Signal/

S end Via

out put -via S en ds a sign a l fr om th e en vir on men t in to t he

system via a certa in cha nnel. Expected para m-

eters:

signal_name [parameter_val_list] channel

Exa mine /P rocess List lis t -proces s L is t s a l l proces s in st a n ces a s socia t e d w i t h t h especified process type.

P a ra meters: <Optiona l process name>

G enera l /

S t a r t S DL En v

s ta r t -sd l-env Sta r t s handl ing of the SDL environment (con-

nects t o oth er applicat ions via a broa dcast

socket m echa nism).

E xecut e /G o go Will execut e t he syst em un t il t here a re no more

tra nsit ions t ha t can execute.

Execute /

Tra nsit ion

next-tra nsit ion Executes one tra nsit ion in the system a ccord-

ing to the ready q ueue.

Execute /

Into Stmt

step-sta tement Executes one sta tement in the system (the fin-

est gra nula rity ). P rocedure ca lls a re expand ed

an d each assignment is treat ed as one stat e-

ment.

E xecute /Unt il

Time

proceed-unt i l The execut ion of the simula t ion is resumed a nd

is active when th e value of the simulat ion time

is equa l to the time value given a s para meter.

P a ra meters: <Time value>

Execute /

CommandScript. . .

in clu de-file R ea ds a s im ula t or s cr ipt f rom a s pecified t ext

file. Expected parameters: file_name

Execute /

Bre a k

<r et ur n> B r ea ks t he execut ion a nd r et ur ns t o t he m oni-

tor.

View /

Set Scope

set -scope S et s t he scope. E xpect ed pa r am et er s:

proc_name

View /

Ready Q

list-ready-

queue

Sh ows t he order in w hich t he processes will

execute, as scheduled a t th is moment .

View /Now now P rint s t he current t ime in t he syst em.



© Telelogic AB 21


View /

Input P ort

l is t-input-port Shows the input port for t he current process

scope.

View /

Timer List

list -t imer P rin t s t he syst em t imer queue.

View /

Variable

examine-vari-

able

P rint s th e value of a specified var iable for t he

current process scope.Expected parameters:

var_name.

NOTE : th e var iable na me ca n be omitt ed, in

th a t case a ll varia bles of the process will be

printed.

Cha nge /

Variable

ass ign-va lue Changes the va lue of a specif ied va r i ab le for

the current process scope.Expected parame-

ters: va r_na me value.

Show /

Coverage

print-coverage-

table

P rint s covera ge sta tist ics for th e simulat ion so

far. E xpected pa ra meters: file_na me

Tra ce /

Text Level: S et

set -t ra ce S et s th e t ext ua l t ra ce scope a nd level. Expect ed

pa ra met ers: sdl_scope_entit y scope_na me

range_value

Ra nge_va lue is 0..6. Exa mple: se-tr B lock Con-tr ol 6

Tra ce /

SD L Level: Set

s et -g r-t r a ce S et s t he S D L t ra ce s cope a n d lev el a n d st a r t s

the SD L t ra ce. Expected para meters:

sdl_scope_entity scope_name range_value

Ra nge_va lue is 0..2. E xa mple: se-gr-tr S yst em

Acc 0

Tra ce /

MSC Level: Set

set-msc-t race Se ts the MSC t ra ce scope and ins tance level .

E xpected pa ra meter s: sdl_scope_ent ity

scope_na me ra nge_va lue

Ra nge_va lue is 0..3. Exa mple: se-msc-t r B lockContr ol 2

Tra ce /

MSC Tra ce: Sta rt

start- interac-

tive-msc-log

Sets th e MSC tr ace level an d sta rt s interactive

MSC tr a ce. Expected par a meters: ra nge_va lue

Ra nge_va lue is 0..2. Exa mple: st a -int -msc-log 2

Log /St a rt

Complete Log

log-on E na bles logging of a ll t he in tera ct ion bet ween

the Simulat or a nd t he user t ha t is visible on

the screen.

P ar am eters: <Optiona l f i le na me>


G roup /B utt on

Menu /Choice

Text ua l

commandAction



22 © Telelogic AB


• Note tha t the tex tua l commands can be abbrevia ted a s long a s they

a re unique:

n-t next -t ra nsit ion

out -to out put -t o

• S DL iden t ifier s ca n a l so be a b brev ia t e d.Example: output-to KeyStroke ‘0’ Panel can for example be ab-

breviated

out-to keystr ‘0’ pan

• The textua l command l ine has a h is tory wh ich can be browsed by the

up-a rr ow key. This can be useful for r epea tedly s ending simila r sig-

na ls from t he environment.

• Command scripts to faci li ta te future s imula t ions , can be crea t ed by

logging of all issued simulat or comma nds. The scripts ma y for exam-

ple cont a in comman ds or sending signals w ith par a meter values. A

comma nd script ma y la ter be read in an d executed to repeat thesa me comma nd session, see T a b l e 1 0 .

• In the S imula tor UI , it i s possible to cus tomize the con ten ts and a p-

pea ra nce of th e button modules. For exa mple you may w ish to ad d

your ow n comma nd but tons for frequent ly used comma nds, or t o

cha nge or delete existin g comm a nd but tons. These opera tions a re in-

voked from t he Group menu in t he butt on modules.

Log /S top

Complete Log

log-off Turns-off t he in t era ct ion log fa cilit y.

File Menu /E xit quit The simula t ion is t ermina t ed.

File /Open S t a r t a new S imula t or.

File /Rest a r t Rest a rt t he current S imula t or

View /Watch

Window

Sh ow the Wa tch wind ow (w hich a utoma tically

monitors var iable values during a simula tion).

View /Comma ndWindow Show t he Comma nd w indow (which aut oma ti-cally monitors t he output of cert a in comman ds

during a simulat ion).

Log /St a rt C om-

ma nd Log

Command-Log-

On .

St ar t logging the comma nds.


G roup /B utton

Menu /Choice

Text ua l

commandAction



© Telelogic AB 23


The Coverage Viewer

When you ha ve run a simulat ion you may w a nt t o know wh ich part ofth e specificat ion you ha ve tested a nd w hich pa rt you have not. This can

be done w ith t he help of th e Covera ge View er.

Choose Coverage under the Show menu to show the coverage infor-

ma tion. The Covera ge Viewer w indow is show n in F i g u r e 19 .

Figure19 The Covera ge Viewer w indow

The covera ge tree ca n display symbols or tr a nsitions. P ress t he

Tree Mode quick button to display the Transition Coverage

Tree.

In the coverage tree which will appear, you can see the number of

times you have visited the different transitions (symbolized by the in-put symbol). If you double-click one of the input symbols in the

coverage tree you will automatically get up the corresponding symbol

selected in a n S DL Editor.

You can also set thresholds on what you want to see in the coverage

tr ee. To set t ha t y ou only w a nt to see th e pa rt s w hich never ha ve been

executed choose the Set Visibility... command under the Tree menu

in the Coverage Viewer. Make sure that the radio button Show tran-sitions executed <= threshold is selected. If not, select it and press

t he Set button.

Another way to easily change the representation isby th e quick butt ons: Least, Most a nd All Nodes.



24 © Telelogic AB


The Validator

The Validator provides an automated fault detection mechanism thatchecks the robustness of the application and finds inconsistencies and

problems in an early stage of development. This is often referred to as

verification of an S DL sy stem.

When comparing the system against requirements, the Validator pro-

vides a possibility t o perform a utoma tic validat ion of the requirements

expressed using the MSC n ota tion.

If you want to create a Validator, you can use one of the following

wa y s :

1. Select the system in the Organizer . Choose the Make...comma nd int he Generatemenu. Set t he Standard kernel option t o one of th e

Validation options in the dia log w hich a ppea rs. P ress the Set but-

ton. P ress the Validate quick butt on in the Orga nizer.

• Choose the system you wan t to crea te a s imula tor for in the Organ iz-

er a nd t hen choose the Make...comma nd under t he Generatemenu

in the Organizer. Set t he Standard kernel opt ion t o Validation in

the dialog w hich a ppears a nd t hen press the Make but t on. When

you have created a val idat or you can sta rt the va l ida tion by choosing

t he Validator UI comma nd in t he SDL sub-menu in t he Tools

menu in the Orga nizer.

The Va lidat or UI w indow a ppea rs, see F i g u r e 20 .

Figure 20 The Valida tor w indow



© Telelogic AB 25


Table 11: Useful Validator Button Commands

G roup /B ut t on Text ua l comma nd Act ion

E xplore /B it -S t a te bit -st a t e S t a rt s a bit -st a te explora t ion .

E xplore /

Ra ndom Wa lk

ra ndom-w alk S t a rt s a ra ndom w alk explora -

tion.

- exha ust ive-explora -

tion

St a rts a n exha ustive explora tion

E xplore /Verify

MS C

ver ify-msc S t a rt s a n MS C ver ifica t ion explo-

ration.

E xplore /B rea k <return> I nt errupt s t he current explora -

tion.

Test Va lues /

Def signa l

define-signa l D efines a n incoming signa l t ha t

should be tested.

Test Va lues /

Clear signa l

clea r-signa l C lea rs a ll possible signa ls for a

signal with a given name.

Table 12: Useful Validator Menu Commands


File /Open S t a r t a new Va lida t or.

F ile /Rest a rt Rest a rt the current Va lida tor

View /

Watch Window

Sh ow th e Wa tch wind ow (w hich a utoma tically moni-

tors va ria ble va lues during a simulat ion).

View /

CommandWindow

Show t he Comma nd w indow (w hich a utomat ical ly

monitors the output of certa in comma nds dur ing a

simulation).

Log /

Sta rt Command Log

St ar t logging th e comma nds.

Commands /

Toggle M S C Tra ce

S ets t he MS C tr a ce on/off.

Commands /

Toggle S D L Tra ce

S ets t he S DL t ra ce on/off.

Commands /

Show C overage

Viewer

Opens t he Covera ge Viewer w ith th e coverage results

from the last explora tion.



26 © Telelogic AB


Report viewerInformation about the exploration results will be presented in the Re-port Viewer window, see F i g u r e 21

Figure21 Va lidat or R eport Viewer w indow

Double-click on the box in the Report Viewer. You will now get a

more detailed description of the problems. Double-click on the left

one of the report description boxes you just got up. The Validator

will now go to the place where the error occurred and the MSC Editor

will pop up and show what happened in the system up to the point

w here th e error occurr ed.

You can also go from the MSC trace to the SDL definition. Select a

symbol in the MSC diagram and choose Show SDL Symbol on theright m ouse but ton.

Table 13: Some Validator reports

Repor t na me D escr ipt ion

ImplSigCons Implici t s igna l consumption . A s igna l w as sent t o a process

tha t w a s not a ble to handle (or sa ve) the signal in the cur-

rent st a te, so th e signa l wa s implicitly consumed.

Out put A signa l w a s sent using a P I d va lue t ha t did not refer to a n

exist ing process or a signal w a s sent (w ithout P Id) a nd nopossible receiver w a s found.

Dea d lock All proces ses a re wa i t in g f or s om e ot h er proces s t o a ct ,

implying t ha t none of t he processes w ill execute, no mat ter

if signa ls ar e sent in to the system from the environment .

MaxQueue-

Length

Ma x input port queue lengt h exceeded. The length of th e

input port h a s exceeded th e value defined by th e comman d

Define-Max-Input-Port-Length

Intro Sdl Suite

Documents

Transcript of Intro Sdl Suite