Skip to main content
SpringerLink
Log in

SDL 2013: Model Driven Dependability Engineering

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

  • Conference proceedings
  • © 2013

Overview

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)

Included in the following conference series:

Conference proceedings info: SDL 2013.

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 (16 papers)

  1. Front Matter

    Download chapter 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

    1. Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements

      • Jameleddine Hassine, Abdelwahab Hamou-Lhadj
      Pages 36-53

    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

    2. Efficient Development of Domain-Specific Simulation Modelling Languages and Tools

      • Andreas Blunk, Joachim Fischer
      Pages 163-181

  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

    2. Traceability Links in Model Transformations between Software and Performance Models

      • Mohammad Alhaj, Dorina C. Petriu
      Pages 203-221

    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

    Download chapter PDF
Back to top

Other volumes

  1. SDL 2013: Model-Driven Dependability Engineering

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation