International audienceSummary This article presents an efficient way to design AltaRica 3.0 models with different features: maintenance policy, limited number of repairers, etc. We use some advanced primitives of the AltaRica 3.0 modeling language to simplify the design of models with such features. This making the design activity efficient and easier. We also show that these features can be defined as modeling patterns. These modeling patterns could be reused to design other systems.Cette communication présente comment modéliser efficacement, en AltaRica 3.0, des politiques de maintenance de plusieurs composants d'un système en prenant en compte différentes caractéristiques, telles que un nombre limité de réparateurs, des réparations condi...
This thesis links two fields : system safety analyses and formal methods.We aim at checking the cons...
International audienceThis paper presents a framework for modeling diagnosis problems based on a for...
The maintenance of industrial production systems is one of the major actual challenges, and the mana...
International audienceSummary This article presents an efficient way to design AltaRica 3.0 models w...
International audienceIn this article, we present modeling patterns dedicated to the assessment of m...
International audienceOperational condition strategies of complex systems is one of the major actual...
International audienceSummary This article invites the reader to a guided tour of AltaRica Wizard, a...
The Model-Based approach for safety and reliability analysis is gradually wining the trust of engine...
International audienceAltaRica 3.0 is the third version of the AltaRica modeling language. AltaRica ...
Cette thèse a eu pour but l'étude et la mise en oeuvre des méthodes de vérification par abstraction ...
International audienceAltaRica 3.0 is an event-based, object-oriented modeling language dedic...
This thesis aimed at providing methods to assist modelling and assessing qualitatively embedded comp...
The heterogeneity of crop modeling platforms in terms of implementation language, design pattern, an...
International audienceIn this publication, we present how the AltaRica 3.0 modelling language can be...
International audienceComplex systems development based on Model Driven Engineering introduces a set...
This thesis links two fields : system safety analyses and formal methods.We aim at checking the cons...
International audienceThis paper presents a framework for modeling diagnosis problems based on a for...
The maintenance of industrial production systems is one of the major actual challenges, and the mana...
International audienceSummary This article presents an efficient way to design AltaRica 3.0 models w...
International audienceIn this article, we present modeling patterns dedicated to the assessment of m...
International audienceOperational condition strategies of complex systems is one of the major actual...
International audienceSummary This article invites the reader to a guided tour of AltaRica Wizard, a...
The Model-Based approach for safety and reliability analysis is gradually wining the trust of engine...
International audienceAltaRica 3.0 is the third version of the AltaRica modeling language. AltaRica ...
Cette thèse a eu pour but l'étude et la mise en oeuvre des méthodes de vérification par abstraction ...
International audienceAltaRica 3.0 is an event-based, object-oriented modeling language dedic...
This thesis aimed at providing methods to assist modelling and assessing qualitatively embedded comp...
The heterogeneity of crop modeling platforms in terms of implementation language, design pattern, an...
International audienceIn this publication, we present how the AltaRica 3.0 modelling language can be...
International audienceComplex systems development based on Model Driven Engineering introduces a set...
This thesis links two fields : system safety analyses and formal methods.We aim at checking the cons...
International audienceThis paper presents a framework for modeling diagnosis problems based on a for...
The maintenance of industrial production systems is one of the major actual challenges, and the mana...