Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

SDL 2013: Model Driven Dependability Engineering

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

Editors:

  1. Ferhat Khendek

    1. Electrical and Computer Engineering, Concordia University, Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maria Toeroe

    1. Ericsson Inc., Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Abdelouahed Gherbi

    1. Departement de Génie Logiciel, École de Technologie Supérieure, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Rick Reed

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

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

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

Conference series link(s): SDL: International SDL Forum

Conference proceedings info: SDL 2013.

Sections

Buy it now

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

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

Table of contents (16 papers)

  1. Front Matter

    PDF

  2. Verification and Testing

    1. Data Flow Testing in TTCN-3 with a Relational Database Schema

      • Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erős, Gábor Kovács
      Pages 1-18

    2. Property Verification with MSC

      • Emmanuel Gaudin, Eric Brunel
      Pages 19-35

  3. Dependability Engineering

    2. Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps

      • Jameleddine Hassine, Gunter Mussbacher, Edna Braun, Mohammad Alhaj
      Pages 54-71

    3. Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns

      • Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez
      Pages 72-90

  4. Analysis

    1. Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models

      • Ludovic Apvrille, Pierre de Saqui-Sannes
      Pages 91-106

    2. Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback

      • El Arbi Aboussoror, Ileana Ober, Iulian Ober
      Pages 107-123

    3. Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis

      • Naif A. Mokhayesh Alzahrani, Dorina C. Petriu
      Pages 124-143

  5. Domain Specific Languages

    1. An IMS DSL Developed at Ericsson

      • Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel
      Pages 144-162

  6. Model Transformation

    1. FTG+PM: An Integrated Framework for Investigating Model Transformation Chains

      • Levi Lúcio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss
      Pages 182-202

    3. Refactorings in Language Development with Asymmetric Bidirectional Model Transformations

      • Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski
      Pages 222-238

  7. Specification and Description Language and Evolution

    1. SDL Real-Time Tasks – Concept, Implementation, and Evaluation

      • Dennis Christmann, Tobias Braun, Reinhard Gotzhein
      Pages 239-257

    2. Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams

      • Pau Fonseca i Casas, Xavier Pi, Josep Casanovas, Jordi Jové
      Pages 258-274

    3. Integration of SDL Models into a SystemC Project for Network Simulation

      • Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev
      Pages 275-290

  8. Back Matter

    PDF
Back to top

Other Volumes

  1. SDL 2013: Model-Driven Dependability Engineering

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Electrical and Computer Engineering, Concordia University, Montréal, Canada

    Ferhat Khendek

  • Ericsson Inc., Montréal, Canada

    Maria Toeroe

  • Departement de Génie Logiciel, École de Technologie Supérieure, Montreal, Canada

    Abdelouahed Gherbi

  • Telecommunications Software Engineering, The Laurels, Windermere, UK

    Rick Reed

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation