TSE SDL  -92

3 DAY COURSE

Objectives


Day 1 Day 2 Day 3

Start here

Introductions
Objectives of course
Overview of SDL

Examples of use

Structuring

Blocks in Blocks
Procedures, Services
Synonyms, Macros & Generics

Exercise 5

Other features

Other Inputs
More on Procedures
Current SDL (1996)

Team Exercise(cont.)

Basic SDL

Basic:System/Blocks
Channels/Signals
Simple Processes
Basic Data
Decisions
Non-determinism

Exercise 1

Focus on Data

Predefined Data
Declarations and variables
Syntypes, Newtypes, ADTs
Checks and Errors
Operators: Imperative, Definitions
Remote, Alternative data

Exercise 6

Methodology I

Using SDL
Documentation
Classification
Rigorisation
Formalisation
Implementation
Validation

Inputs & Output

States/Transitions
Input/Output/Save
Signal data, paths, lists
Valid signal set
Timers
Queues and delays
MSC's

Exercises 2, 3

SDL-92 Types

Types and Instances
Gates
Reuse of Types
Redefinition of types
Parameters
Constraints
Multiple Blocks

Exercise 7

Methodology II

ASN.1 and MSC

ITU-T guidelines

Formalisation Steps

Use of Documents

Review of exercise

Process Creation

Numbers: start/max.
Create
Parameters
Process Identity
self, sender, parent, offspring

Exercise 4

Team Exercise

(Exercise 8)

The objective is to tackle a specification as a team using the concepts of SDL. The task needs to be small to fit time/resources.

Conclusion

ITU-T work
SDL-2000
Tools
Review
Topics not covered

Questions

Courses can be arranged on site and tailored to meet your requirements.


Course Tutor:

Rick Reed the founder of TSE, is a world acknowledged expert in the area of formal description techniques with more than 25 years experience in software in the telecommunications industry. He has been acting as a Technology Transfer consultant for over 17 years. He is the Rapporteur responsible for all SDL work for ITU-T Study Group 10 in the current study period (1996-2000), and was previously (1992-1996) Rapportuer for SDL Methodology and Editor of the SDL Newsletter. He has made major contributions to international standards and has delivered successful courses on SDL in the UK, Europe, USA and South America.

Course price and content of on-site courses

The course was developed particularly NOT to require the use of an SDL tool. The reasons for this were to meet the requirements of clients buying SDL tools that:

The price includes all documentation (including examples and example solutions). Each delegate receives: classroom notes, a copy per delegate of the book 'Systems Engineering using SDL-92' which currently retails over 250 Dfl(dutch guilders). The book itself can be ordered online direct from the publisher.

ITU-T Recommendations (Z.100 including annexes A, B, C and D, Addendum 1 and Supplement 1; Z.105, Z.120 are supplied as paper copies for use during the course and retention after the course has been delivered. For up to 8 persons 1 copy is supplied, above 8 persons 2 copies are supplied.

The basic cost (including expenses but excluding customisation) for the 3-day course given on-site for a minimum of six participants is

which includes delivery of the course, preparation of course notes, documentation etc.; subject to exactly how much customisation is required and payment terms. Additional delegates will be at a cost of 550 Euros or US Dollars per person (300 pounds sterling in the UK). The suggested maximum of for a course is sixteen.

Subject to availability, a minimum notice of 20 working days (normally=4 weeks) and a non-returnable deposit of 120 pounds sterling (190 euros or US dollars) per person with order is required. The time and charge is to allow for ordering materials (such as books) and other preparations.

The course is not computer based, but requires overhead projector facilities.

All prices exclude VAT or any other national taxes applicable.


Last updated and ©23-Apr-99. Comments and enquiries to (address updated 04-Sep-02, fax number updated 23-Jan-2007)

TSE Ltd.,The Laurels, Victoria Road
Windermere, Cumbria
LA23 2DL, England
Tel: (+44) 15394 88 462
Fax: (+44) 15394 47 395
email:
sales@tseng.co.uk