SDL 2013: Model-Driven Dependability Engineering

16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

  • Ferhat Khendek
  • Maria Toeroe
  • Abdelouahed Gherbi
  • Rick Reed
Conference proceedings SDL 2013

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

Table of contents

  1. Front Matter
  2. Verification and Testing

    1. Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erős, Gábor Kovács
      Pages 1-18
    2. Emmanuel Gaudin, Eric Brunel
      Pages 19-35
  3. Dependability Engineering

    1. Jameleddine Hassine, Gunter Mussbacher, Edna Braun, Mohammad Alhaj
      Pages 54-71
    2. Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez
      Pages 72-90
  4. Analysis

    1. Ludovic Apvrille, Pierre de Saqui-Sannes
      Pages 91-106
    2. El Arbi Aboussoror, Ileana Ober, Iulian Ober
      Pages 107-123
    3. Naif A. Mokhayesh Alzahrani, Dorina C. Petriu
      Pages 124-143
  5. Domain Specific Languages

    1. Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel
      Pages 144-162
  6. Model Transformation

    1. Levi Lúcio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss
      Pages 182-202
    2. Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski
      Pages 222-238
  7. Specification and Description Language and Evolution

    1. Dennis Christmann, Tobias Braun, Reinhard Gotzhein
      Pages 239-257
    2. Pau Fonseca i Casas, Xavier Pi, Josep Casanovas, Jordi Jové
      Pages 258-274
    3. Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev
      Pages 275-290
  8. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.


aspect-oriented modeling formal languages model verification resource constrained embedded systems software performance engineering

Editors and affiliations

  • Ferhat Khendek
    • 1
  • Maria Toeroe
    • 2
  • Abdelouahed Gherbi
    • 3
  • Rick Reed
    • 4
  1. 1.Electrical and Computer EngineeringConcordia UniversityMontréalCanada
  2. 2.Ericsson Inc.MontréalCanada
  3. 3.Departement de Génie LogicielÉcole de Technologie SupérieureMontrealCanada
  4. 4.Telecommunications Software Engineering, The LaurelsWindermereUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38910-8
  • Online ISBN 978-3-642-38911-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site