Notre travail s’inscrit dans le thème plus global de la modélisation et de l’évaluation des systèmes multidimensionnelset adresse plus particulièrement la prédiction des indicateurs de performabilité qui réfère auxperformances des systèmes en présence de pannes et de réparations. L’analyse exacte, de ces derniers, est trèsdifficile voire impossible si la distribution des probabilités n’a pas de solution évidente (par exemple une formeproduit) à cause de l’explosion de l’espace d’états. Pour contourner ce problème, et parce que souvent on nes’intéresse qu’à une partie du système (noeud ou un chemin), nous utilisons l’agrégation bornante basée sur lecouplage par fonction de projection sur des espaces d’états plus petits. La méthode du couplag...
Les systèmes d'énergie électrique embarqués ou semi autonomes connaissent des évolutions marquées. P...
Cette thèse vise à fournir des outils permettant d analyser et de prédire la performance de systèmes...
Nous présentons dans cette thèse une méthode d évaluation de l efficience basée sur la modélisation ...
Notre travail s’inscrit dans le thème plus global de la modélisation et de l’évaluation des systèmes...
Une approche classique en évaluation de performances consiste à calculer des indices de performances...
Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de n...
La conception à base de composants est une méthode bien connue, quoique diverse, pour gérer la compl...
National audienceLes réseaux et les systèmes informatiques sont devenus extraordinairement complexes...
Dans cette thèse, nous nous intéressons au calcul de la fiabilité et de la disponibilité de systèmes...
L'objet de cette thèse est l'étude des performances dans les systèmes à évènements discrets. Trois m...
Les systèmes complexes à longue durée de service sont des systèmes de grande taille qui ont générale...
International audienceLe progrès technologique et les exigences accrues en termes de productivité, c...
L'industrie du logiciel et du matériel s'oriente de plus en plus vers la conception de systèmes sous...
Colloque avec actes et comité de lecture.Les applications distribuées autour du réseau CAN sont cara...
Aujourd hui, les activités humaines dépendent plus que jamais des performances des systèmes qu ils c...
Les systèmes d'énergie électrique embarqués ou semi autonomes connaissent des évolutions marquées. P...
Cette thèse vise à fournir des outils permettant d analyser et de prédire la performance de systèmes...
Nous présentons dans cette thèse une méthode d évaluation de l efficience basée sur la modélisation ...
Notre travail s’inscrit dans le thème plus global de la modélisation et de l’évaluation des systèmes...
Une approche classique en évaluation de performances consiste à calculer des indices de performances...
Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de n...
La conception à base de composants est une méthode bien connue, quoique diverse, pour gérer la compl...
National audienceLes réseaux et les systèmes informatiques sont devenus extraordinairement complexes...
Dans cette thèse, nous nous intéressons au calcul de la fiabilité et de la disponibilité de systèmes...
L'objet de cette thèse est l'étude des performances dans les systèmes à évènements discrets. Trois m...
Les systèmes complexes à longue durée de service sont des systèmes de grande taille qui ont générale...
International audienceLe progrès technologique et les exigences accrues en termes de productivité, c...
L'industrie du logiciel et du matériel s'oriente de plus en plus vers la conception de systèmes sous...
Colloque avec actes et comité de lecture.Les applications distribuées autour du réseau CAN sont cara...
Aujourd hui, les activités humaines dépendent plus que jamais des performances des systèmes qu ils c...
Les systèmes d'énergie électrique embarqués ou semi autonomes connaissent des évolutions marquées. P...
Cette thèse vise à fournir des outils permettant d analyser et de prédire la performance de systèmes...
Nous présentons dans cette thèse une méthode d évaluation de l efficience basée sur la modélisation ...