Skip to main content
SpringerLink
Log in
Book cover

SDL 2003: System Design

11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Rick Reed

    1. The Laurels, Telecommunications Software Engineering Limited, Windermere, Cumbria, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeanne Reed

    1. The Laurels, Telecommunications Software Engineering Limited, Windermere, Cumbria, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2708)

Included in the following conference series:

Conference proceedings info: SDL 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Performance

    1. Looking for Better Integration of Design and Performance Engineering

      • Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes
      Pages 1-17

    2. Scenario-Based Performance Engineering with UCMNAV

      • Dorin Petriu, Daniel Amyot, Murray Woodside
      Pages 18-35

  3. Evolution

    1. Using SDL for Modeling Behavior Composition

      • Jacqueline Floch, Rolv Bræk
      Pages 36-54

    2. A Real-Time Profile for UML and How to Adapt It to SDL

      • Susanne Graf, Ileana Ober
      Pages 55-76

    3. MSC Connectors — The Chamber of Secrets

      • Peter Graubmann
      Pages 77-101

  4. Development

    1. Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment —

      • Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer
      Pages 102-117

    2. Synthesizing SDL from Use Case Maps: An Experiment

      • Yong He, Daniel Amyot, Alan W. Williams
      Pages 117-136

    3. Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems

      • Christoforos Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis
      Pages 137-149

  5. Modeling

    1. Generating a Compiler for SDL from the Formal Language Definition

      • Andreas Prinz, Martin v. Löwis
      Pages 150-165

    2. Modelling and Evaluation of a Network on Chip Architecture Using SDL

      • Rickard Holsmark, Magnus Högberg, Shashi Kumar
      Pages 166-182

    3. Formalizing Graphical Service Descriptions Using SDL

      • Kenneth J. Turner
      Pages 183-202

  6. Timing

    1. Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools

      • Giacomo Bucci, Andrea Fedeli, Enrico Vicario
      Pages 203-217

    2. RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol

      • Benoît Parreaux, Daniel Vincent, Gérard Babonneau
      Pages 218-233

    3. Refining Timed MSCs

      • Tong Zheng, Ferhat Khendek, Benoît Parreaux
      Pages 234-250

  7. Validation

    1. Using Projections for the Detection of Anomalous Behaviors

      • Jacqueline Floch, Rolv Bræk
      Pages 251-268

    2. Applying Mutation Analysis to SDL Specifications

      • Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki
      Pages 269-284

    3. Automatic Formal Model Generation and Analysis of SDL

      • Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
      Pages 285-299

  8. Design

    1. Applying SDL to Formal Analysis of Security Systems

      • Javier López, Juan J. Ortega, José M. Troya
      Pages 300-316

    2. Development of Distributed Systems with SDL by Means of Formalized APIs

      • Philipp Schaible, Reinhard Gotzhein
      Pages 317-334
Back to top

Other volumes

  1. SDL 2003: System Design

Keywords

About this book

This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the “best” design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Descr- tion Language ?rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended ?nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci?cations were certainly more formal than the main alternative: natural languagewith some ad hoc ?gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description.

Editors and Affiliations

  • The Laurels, Telecommunications Software Engineering Limited, Windermere, Cumbria, UK

    Rick Reed, Jeanne Reed

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation