7 datasets found

Complex physical phenomena can be numerically simulated by mathematical techniques. Usually, these techniques are based on discretization of partial differential...

The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three...

European Union set up a European rail traffic management system "ERTMS" to ensure, with high level of safety, train operation on different European networks. As the...

Toutes approche IDM nécessite l'enchaînement de plusieurs transformations. Cet enchaînement peut être vu comme un processus de production de logiciels. Dans le plus...

Model transformation is a fundamental operation for Model Driven Engineering. It can be performed manually or automatically, but in the later cas the developper needs...

Companies collaborate to seize opportunities as well as exchange documents and other types of resources. This is achieved by following business processes that are...

The work introduced in this thesis is in line with an original SysML Model-Based Testing approach to validate automotive mechatronic systems. A subset of SysML...