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… 

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.

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.

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.



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.

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.

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 misunderstandings

OMEGA2: A New Version of the Profile and the Tools

  • Iulian OberI. 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).

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.

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.

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.

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 been

vUML: a tool for verifying UML models

  • J. LiliusIvan Paltor
  • Computer Science
    14th IEEE International Conference on Automated Software Engineering
  • 1999
The Unified Modelling Language (UML) is a standardised notation for describing object oriented software designs. We present vUML, a tool that automatically verifies UML models where the behaviour of

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 control