Subject: RE: SDL-News: signal-delays
From: Rick Reed (Rick.Reed#etsi.fr)
Date: Mon Oct 29 2001 - 14:04:12 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Rick Reed <Rick.Reed#etsi.fr> to sdlnews -----
Dear Patrick,
=20
I understand from what you say, that you are interested in
validation/verification (or even performance evaluation or test case
generation) of SDL models, and this is why you may need to have =
concrete
channel delays.=20
This feature is not so much interesting for people only interested in =
code
generation from SDL models (even if it allows a more correct validation =
of
the model). This is why commercial tools do not generally provide =
strong
means for that.
=20
Nevertheless, it is a well-known (and poorly-resolved) problem for SDL
community.
People using the commercial versions of ObjectGeode (the other SDL tool =
from
Telelogic) can use some channel delay specifications included in =
comments
like for example=20
CHANNEL C1 COMMENT "##delay 1,5,uni";=20
meaning C1 delays messages uniformally from 1 to 5 time units, and this =
is
taken into account by the interactive or random simulator.
It is not complete (not allowed for exhaustive verification), and no
possibility provided for unreliable channels.
=20
An ongoing european project (IST INTERVAL) (see
<http://www-interval.imag.fr> ) is currently working on the topic of timed
extensions for SDL, MSC and TTCN.
This project has some interesting results namely for SDL :
* proposed SDL extensions to ITU-T/SG17 : these extensions are
currently handled by the ad hoc question Q23 on time and performance for SDL
in order to go in the standard
* a prototype (build on Telelogic/ObjectGeode) implementing most of
these extensions : channel delays, lossy channels, task delays, clocks,
urgencies ... This proto is not distributed at the moment by Telelogic, but
is used in the Interval project for some experiments by Ericsson (S), France
Telecom (F) and Teletel (Gr).
Hope it helps. Daniel Vincent=20
& france telecom
BD/FT R&D/DTL/MSV
Technopole Anticipa Tel: +33 2 96 05 39 54
2, Avenue Pierre Marzin Fax: +33 2 96 05 39 45
F 22 307 LANNION CEDEX
mailto:daniel.vincent#francetelecom.com
--End text from Rick Reed <Rick.Reed#etsi.fr> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT