Abstract Model-driven software engineering (MDSE) is an established approach for
develo** complex software systems. The unified modelling language (UML) is one of the …

The development of safety critical systems becomes even harder since the complexity of
these systems grows continuously. Moreover, this kind of process involves the use of …

UML diagrams describe different views of one software. These diagrams strongly depend on
each other and must therefore be consistent with one another, since inconsistencies …

In this paper, we propose an original simulation approach to evaluate the availability of
systems in the presence of state uncertainty which arises from incompleteness or …

In this paper, we consider the European Rail Traffic Management System (ERTMS) as a
System-of-Systems (SoS) and propose modeling it using Unified Modeling Language …

We study the question of consistency of multi-view models in UML and OCL. We critically
survey the large amount of literature that already exists. We find that only limited subsets of …

In this paper, we introduce a methodology for the reliability analysis of complex systems
during their design. The challenge of such a method is to be efficient and accessible for …

To tackle the growing complexity of engineered systems, Model-Driven Engineering (MDE)
proposes to promote models to first-class citizens in the development process. Within MDE …

Abstract [Context and motivation] In the early phases of requirements engineering, often
graphical models are used to communicate requirements. In particular, business process …

The reduction of aircraft operating costs is one of the most important objectives addressed
by aeronautical manufactures and research centers in the last decades. In order to reach …