Dans cette thèse, nous nous intéressons au calcul de la fiabilité et de la disponibilité de systèmes complexes. Dans un premier temps, nous considérons le cas d un système modélisé par un processus de Markov possédant toutes les caractéristiques gênantes pour les méthodes de quantification usuelles : le nombre d états du système est très important, et la défaillance est un événement rare. Plusieurs algorithmes ont été proposés dans la littérature pour calculer la fiabilité dans de tels modèles en explorant les séquences d événements menant à la panne du système. Nous proposons des extensions de deux de ces algorithmes, extensions visant à améliorer l efficacité numérique du calcul de fiabilité et à permettre le calcul de la disponibilité as...
Ce travail contribue à un modèle déterministe discret d'un système hôte-macroparasite et propose un ...
International audienceLe progrès technologique et les exigences accrues en termes de productivité, c...
Dans cette thèse, le problème de détermination des domaines d'incertitude et de modélisation de l'er...
La confiance dans les systèmes complexes est aujourd'hui primordiale. Parmi les langages de modélisa...
Ces dernières années, l'analyse de systèmes complexes critiques est devenue de plus en plus importan...
Notre travail s’inscrit dans le thème plus global de la modélisation et de l’évaluation des systèmes...
L'objet de cette thèse est l'étude des performances dans les systèmes à évènements discrets. Trois m...
Dans le cadre de modélisation et de résolution mathématique en terme d'une chaîne de MARKOV, plusieu...
La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemb...
La sûreté de fonctionnement est une qualité essentielle requise pour un système réparable. Nous déve...
Composants de systèmes de sûreté nucléaire sont en général très fiable, ce qui conduit à une difficu...
Les méthodes mécano-fiabilistes ont démontré leur efficacit é dans la prise en compte des incertitud...
La vérification de systèmes est aujourd’hui un sujet de recherche récurrent et différentes technique...
L'utilisation omniprésente des systèmes informatiques impose de s'assurer de leur bon fonctionnement...
Nous proposons dans cette thèse plusieurs contributions relatives à la vérification quantitative d...
Ce travail contribue à un modèle déterministe discret d'un système hôte-macroparasite et propose un ...
International audienceLe progrès technologique et les exigences accrues en termes de productivité, c...
Dans cette thèse, le problème de détermination des domaines d'incertitude et de modélisation de l'er...
La confiance dans les systèmes complexes est aujourd'hui primordiale. Parmi les langages de modélisa...
Ces dernières années, l'analyse de systèmes complexes critiques est devenue de plus en plus importan...
Notre travail s’inscrit dans le thème plus global de la modélisation et de l’évaluation des systèmes...
L'objet de cette thèse est l'étude des performances dans les systèmes à évènements discrets. Trois m...
Dans le cadre de modélisation et de résolution mathématique en terme d'une chaîne de MARKOV, plusieu...
La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemb...
La sûreté de fonctionnement est une qualité essentielle requise pour un système réparable. Nous déve...
Composants de systèmes de sûreté nucléaire sont en général très fiable, ce qui conduit à une difficu...
Les méthodes mécano-fiabilistes ont démontré leur efficacit é dans la prise en compte des incertitud...
La vérification de systèmes est aujourd’hui un sujet de recherche récurrent et différentes technique...
L'utilisation omniprésente des systèmes informatiques impose de s'assurer de leur bon fonctionnement...
Nous proposons dans cette thèse plusieurs contributions relatives à la vérification quantitative d...
Ce travail contribue à un modèle déterministe discret d'un système hôte-macroparasite et propose un ...
International audienceLe progrès technologique et les exigences accrues en termes de productivité, c...
Dans cette thèse, le problème de détermination des domaines d'incertitude et de modélisation de l'er...