SDL 2013: Model-Driven Dependability Engineering

  title={SDL 2013: Model-Driven Dependability Engineering},
  author={Ferhat Khendek and Maria Toeroe and Rick Reed and Abdelouahed Gherbi},
  booktitle={Lecture Notes in Computer Science},
In this paper, we present how we created a Domain Specific Language (DSL) dedicated to IP Multimedia Subsystem (IMS) at Ericsson. First, we introduce IMS and how developers are burdened by its complexity when integrating it in their application. Then we describe the principles we followed to create our new IMS DSL from its core in the Scala language to its syntax. We then present how we integrated it in two existing projects and show how it can save time for developers and how readable the… Expand

Figures and Tables from this paper

Guiding the Selection of Security Patterns for Real-Time Systems
A model-based approach for selecting proper security solution alternatives composed of security patterns at early design stage against real-time requirements is proposed and a generalizable and tool-supported solution is provided to support the approach using UML and its profiles. Expand
An applied model for secure information release between federated military and non-military networks
This paper presents a model for information confidentiality and release based on a combination of secure state transactions and the inverse Role-Based Access Control (R-BAC) paradigm, which is tailored to a multi-domain implementation able to securely release information products among a wide variety of security domains. Expand
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces
A dynamic analysis approach to recover availability requirements from system execution traces using the Use Case Maps language of the ITU-T User Requirements Notation (URN) standard, extended with availability annotations is proposed. Expand


Seeing errors: model driven simulation trace visualization
A model driven approach that supports the user during the error diagnosis phases, by allowing customizable simulation trace visualization, has the potential to improve the practical usage of modeling techniques and to increase the usability and attractiveness of model validation tools. Expand
Formal Model Driven Engineering for Space Onboard Software
One of the major sources of errors in the development of real time critical embedded software is the misinterpretation of system requirements allocated to the software. These misunderstandingsExpand
Optimum: a MARTE-based methodology for schedulability analysis at early design stages
This paper proposes a two step methodology for schedulability-aware real-time software design models construction and proposes a high-level functional model as entry which represents the system end-to-end workload of critical scenarios triggered by an external stimulus and subject to hard-real time constraints. Expand
Event Processing in Action
Event Processing in Action introduces the major concepts of event-driven architectures and shows how to use, design, and build event processing systems and applications. Expand
OMEGA2: A New Version of the Profile and the Tools
  • Iulian Ober, I. Dragomir
  • Computer Science
  • 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
  • 2010
The present paper contains an overview of both the profile and the tool, in line with the original principles: simplicity, well-defined operational semantics and tool support for simulation and verification (IFx version 2). Expand
Timing analysis and validation with UML: the case of the embedded MARS bus manager
The purpose is to show how automata-based timing analysis and verification tools can be used by field engineers for solving isolated hard points in a complex real-time design, even if the press-button verification of entire systems remains a remote goal. Expand
DSMDiff: a differentiation tool for domain-specific models
Model differentiation techniques, which provide the capability to identify mappings and differences between models, are essential to many model development and management practices. There has beenExpand
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle controlExpand
Annotating UML Models with Non-functional Properties for Quantitative Analysis
Some domain concepts for annotating Non-Functional Properties (NFPs), whose focus is on supporting temporal verification of UML-based models, are described and a preliminary framework for describing NFPs is proposed. Expand
The IF Toolset
The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representations, and is expressive enough to support real-time primitives and extensions of high-level modelling languages such as SDL and UML by means of structure preserving mappings. Expand