SDL '97: Time for Testing

1st Edition

SDL, MSC and Trends

Editors: Ana Cavalli Amardeo Sarma
Hardcover ISBN: 9780444828163
eBook ISBN: 9780080541532
Imprint: Elsevier Science
Published Date: 18th August 1997
Page Count: 551
Tax/VAT will be calculated at check-out
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed.

SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.

Table of Contents

I. Applications (I). Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92 (C.G.N. Macario et al.). SDL-based modelling and design of IN/UMTS handover functionality (A. Alonistioti et al.). An SDL-based platform for the simulation of communication networks using dynamic block instantiations (A. Iselt, A. Autenrieth). II. Performance Analysis. SPEET SDL performance evaluation tool (M. Steppler, M. Lott). Performance analysis of TCP's flow control mechanisms using queueing SDL (J. Hintelmann, R. Westerfeld). Tuning development of distributed real-time systems with SDL: Current experience and future issues (R. Gerlich). III. Verification and Validation (I). Telephone feature verification: Translating SDL to TLA+ (D. Mery, P. Gibson). Simulation of IP mobility support: An experiment in mobile protocol specification with SDL (M. Toro). Experiences with ISDN validation models in SDL and proposal for new SDL features (N. Fischbeck). Design for testability of communication protocols based on SDL language (K. Karoui et al.). IV. MSC (I). The MSC-96 distillery (O. Haugen). Switching software test environment using MSC (S. Shiba et al.). Deriving an SDL specification with a given architecture from a set of MSCs (G. Robert et al.). MSC'96 and beyond - a critical look (S. Loidl et al.). V. SDL and MSC in International Organizations. SDL and MSC in international organizations: ITU-T (R. Reed). VI. Testing. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications (A. Ek et al.). Automating the process of test derivation from SDL specifications (G. v. Bochmann et al.). Test generation for the SSCOP-ATM networks protocol (A. Cavalli et al.). VII. MSC (II). High-level message s


No. of pages:
© Elsevier Science 1997
Elsevier Science
eBook ISBN:
Hardcover ISBN:

About the Editor

Ana Cavalli

Affiliations and Expertise

Institut National des Télécommunications, Evry, France

Amardeo Sarma

Affiliations and Expertise

EURESCOM GmbH, Heidelberg, Germany