In the context of Industry 4.0,(cyber) manufacturing systems enter in a world of services
which is a convenient paradigm to match virtual and physical systems including Cloud …

Early verification is essential in model-driven development because late error detection
involves a costly correction and approval process. Modelling real life systems covers three …

This article contributes to the design and the verification of trusted components and services.
The contracts are declined at several levels to cover then different facets, such as …

In model-driven development, the correctness of models is essential. Testing as soon as
possible reduces the cost of the verification and validation process. Considering separately …

Early testing reduces the cost of detecting faults and improves the system reliability. In
particular, testing component or service based systems during modeling frees the tests from …

Pour répondre aux objectifs de qualité dans la construction de systèmes à base de
composants logiciels et améliorer la confiance dans les composants et leur assemblage, il …

Composition is a core concept of component and service-based models. In hierarchical
component composition, promotion is used to make services available at a higher level of …

Building reliable software systems from components requires to verify the consistency of
components and the correctness of component assemblies. In this work, we design a …

Early testing reduces the cost of detecting faults and improves the reliability of systems,
especially for component based systems where the middleware brings additional …

We propose a method to check if a distribution of components, proposed to implement a
given assembly of components, is correct with respect to the targeted host distributed …