SDL 2007: Design for Dependable Systems

13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

  • Editors
  • Emmanuel Gaudin
  • Elie Najm
  • Rick Reed
Conference proceedings SDL 2007

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

Table of contents

  1. Front Matter
  2. Model Driven Engineering

    1. Andreas Prinz, Markus Scheidgen, Merete S. Tveit
      Pages 1-18
    2. Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
      Pages 19-34
    3. Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz et al.
      Pages 35-53
  3. Testing

    1. Edith Werner, Jens Grabowski, Helmut Neukirchen, Nils Röttger, Stephan Waack, Benjamin Zeiss
      Pages 54-68
    2. Javier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola
      Pages 69-85
  4. Language Extensions

    1. Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn
      Pages 101-116
    2. Krzysztof Sacha
      Pages 117-132
    3. Jason Kealey, Daniel Amyot
      Pages 133-149
  5. Implementation

  6. Modeling Experience and Extensions

    1. Abdelouahed Gherbi, Ferhat Khendek
      Pages 203-224
    2. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
      Pages 225-241
    3. Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener
      Pages 242-257
    4. Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin
      Pages 272-288
  7. Back Matter

About these proceedings

Introduction

th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums was the ITU-T Speci?cation and Description Language de?ned in Z.100, and the app- cation domain was almost entirely ?xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene?t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend.

Keywords

MSC (Message Sequence Charts) SDL (Specification and Description Language) Session System UML Unified Modeling Language (UML) description languages formal verification modeling requirements engineering semantics semantics and analysis of scenario notations software testing systems modeling verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74984-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74983-7
  • Online ISBN 978-3-540-74984-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book