Ce travail est consacré à l'étude de méthodes statistiques pour l'évaluation de la fiabilité des logiciels. Son but principal est de fournir des outils statistiques permettant de construire et ensuite valider des modèles en tenant compte des spécificités des logiciels étudiés. Pour ce faire deux outils sont utilisés : les modèles linéaires généralisés (paramétriques et non-paramétriques) et l'analyse statistique bayésienne. La deuxième partie de ce travail est consacrée à l'ètude mathématique des problèmes de validation et de choix de modèles en fiabilité des Logiciels. On y étudie entre autres une approche dite "préquentielle" (prédictive-séquentielle) bien adaptée aux tests d'adéquation aux processus de Poisson. Cette approche semble pouvoir se généraliser à un grand nombre de modèles de fiabilité des logiciels.

Dans les études de fiabilité, il est possible que les durées de vie s'expriment par des valeurs entières. C'est le cas par exemple pour des appareils fonctionnant à la sollicitation. Le but de cette thèse est de revisiter les concepts classiques de la fiabilité des systèmes non réparables, quand on suppose que le temps est discret. Les grandeurs usuelles de la fiabilité en temps discret sont définies, ainsi que les principales notions de vieillissement. Nous passons ensuite en revue les principaux modèles de fiabilité que nous avons classés en trois familles à la suite de notre étude bibliographique. Après avoir mis en évidence qu'un certain nombre de différences entre les notions de fiabilité usuelles en temps continu et leurs équivalents en temps discret sont dues à la définition du taux de défaillance en temps discret, nous proposons une nouvelle définition qui résout les problèmes rencontrés. L'estimation non paramétrique des fonctions pouvant caractériser le vieillissement est traitée et nous donnons des résultats d'estimation ponctuelle, par intervalle et bande de confiance pour le taux de défaillance (usuel). L'estimation paramétrique des modèles de fiabilité est également abordée, avec une section importante consacrée à la loi géométrique dont les estimateurs sont explicites, contrairement à la plupart des autres lois discrètes. Un état de l'art des tests d'adéquation statistiques aux lois discrètes est présenté. Nous proposons un test basé sur la transformation de Smirnov généralisée dont la puissance est étudiée pour tester l'adéquation aux lois géométrique et Weibull de type I.

Cette thèse s'intéresse au problème de gestion de l'interférence co-canal dans les réseaux de communications sans fil. Tout d'abord nous abordons les systèmes de communications coopératives et étudions le compromis entre les bienfaits et les méfaits de la coopération. Plus un message est redondé via les relais, meilleure en est son décodage, mais plus la redondance interfère avec les destinations voisines et en affectent les performances. Nous proposons ainsi de coordonner et d'adapter l'allocation des ressources et l'activation de la coopération dans des cellules voisines aux variations temporelles, spatiales et fréquentielles du contexte courant de communication. Nous proposons ensuite un classificateur d'interférence à trois régimes dont le but est d'estimer l'interférence co-canal perçue par une destination sur une bande afin d'adapter le traitement de l'interférence à la nature temps-variable du canal de transmission et ainsi améliorer le décodage en réception. Ce classificateur est finalement combiné à de l'optimisation sous contraintes de QoS afin de dériver des algorithmes de contrôle de puissance. Une approche centralisée et une approche distribuée sont proposées et toutes deux cherchent à minimiser la puissance de transmission sous respect des contraintes de QoS, et ce quel que soit le scénario de transmission. Nos résultats de simulations montrent que notre approche adaptative permet de réduire notablement le budget de puissance sans affecter la fiabilité de la transmission.

Les usages occupent une place importante dans le discours du concepteur souhaitant mettre au point des produits innovants, sources de valeur pour l'usager. L'examen des pratiques d'analyse des usages montre qu'elles impliquent des décisions préalables, concernant quelles activités analyser pour la conception. Ceci pose problème dans certains projets d'innovation, e.g. visant la valorisation de technologies émergentes, ou intégrant des problématiques d'usage comme la sécurité. Comment anticiper les usages d'un produit n'existant pas encore, dans les phases initiales du processus? Quel statut donner à ces anticipations ? Nous tentons de répondre par le concept d'analyse prospective des usages. A l'aide d'expérimentations simulant des réunions de conception pour anticiper les usages futurs de produits, nous examinons les apports d'outils, issus de la créativité et de la fiabilité industrielle, à la production de scénarii d'usage pour guider le processus de conception innovante.

Afin d'étudier la faisabilité de la technologie ADS (" Accelerator Driven System ") pour la transmutation des déchets hautement radiotoxiques le projet MYRRHA (" Multi-purpose hYbrid Research Reactor for High-tech Applications ") a pour objectif la construction d'un démonstrateur de réacteur hybride (50 à 100 MWth). Pour cela le réacteur sous-critique nécessite un accélérateur de forte puissance délivrant un faisceau continu de protons (600 MeV, 4mA), avec une exigence de fiabilité très élevée. La solution de référence retenue pour cette machine est un accélérateur linéaire supraconducteur. Ce mémoire de thèse décrit le travail de recherche - entrepris depuis octobre 2008 à l'IPN d'Orsay - portant sur la conception et la mise au point d'un module supraconducteur et des systèmes de régulation associés à sa cavité accélératrice, pour la partie haute énergie de l'accélérateur. Dans un premier temps, le design et l'optimisation de cavités accélératrices 5-cellules (β=0,65), fonctionnant à la fréquence de 704,4 MHz, sont présentés. Ensuite, la partie expérimentale se concentre sur l'étude de fiabilité du " cryomodule " prototype accueillant une cavité elliptique 5-cellules (β=0,47). Au cours de cette étude on s'est notamment attaché à mesurer et à caractériser le comportement dynamique du système d'accord. Les problématiques de maintient du " plat de champ " dans les cavités multi-cellules " bas béta " ont aussi été mises en évidence. Enfin, une analyse sur la tolérance aux pannes de l'accélérateur linéaire a été menée. Dans ce but, une modélisation de la cavité, de sa boucle de régulation RF (radiofréquence) et de la boucle de contrôle de son système d'accord, a été développée afin d'étudier les comportements transitoires de cet ensemble. Cette étude a permis de chiffrer les besoins en puissance RF et les performances requises du système d'accord et de démontrer la faisabilité d'un réglage rapides des cavités supraconductrices afin de minimiser le nombre d'arrêts faisceau dans le linac de MYRRHA.

L'objectif de cette thèse est de proposer une méthode permettant d'optimiser la stratégie de maintenance d'un système multi-composants. Cette nouvelle stratégie doit être adaptée aux conditions d'utilisation et aux contraintes budgétaires et sécuritaires. Le vieillissement des composants et la complexité des stratégies de maintenance étudiées nous obligent à avoir recours à de nouveaux modèles probabilistes afin de répondre à la problématique. Nous utilisons un processus stochastique issu de la Fiabilité Dynamique nommé processus markovien déterministe par morceaux (Piecewise Deterministic Markov Process ou PDMP). L'évaluation des quantités d'intérêt (fiabilité, nombre moyen de pannes...) est ici réalisée à l'aide d'un algorithme déterministe de type volumes finis. L'utilisation de ce type d'algorithme, dans ce cadre d'application, présente des difficultés informatiques dues à la place mémoire. Nous proposons plusieurs méthodes pour repousser ces difficultés. L'optimisation d'un plan de maintenance est ensuite effectuée à l'aide d'un algorithme de recuit simulé. Cette méthodologie a été adaptée à deux systèmes ferroviaires utilisés par la SNCF, l'un issu de l'infrastructure, l'autre du matériel roulant.

L'ingénierie logicielle doit faire face à un besoin toujours croissant en évolutivité des systèmes informatiques pour faciliter leur maintenance et de manière générale leur administration. Cependant, l'évolution d'un système, et plus spécifiquement l'évolution dynamique, ne doit pas se faire au dépend de sa fiabilité, c'est à dire de sa capacité à délivrer correctement les fonctionnalités attendues au cours de sa vie. En effet, des modifications dans un système peuvent laisser ce dernier dans un état incohérent et donc remettre en cause son caractère fiable. L'objectif de cette thèse est de garantir la fiabilité des reconfigurations dynamiques utilisées pour faire évoluer les systèmes pendant leur exécution tout en préservant leur disponibilité, c'est à dire leur continuité de service. Nous nous intéressons plus particulièrement aux systèmes à base de composants logiciels, potentiellement distribués, dont l'architecture peut être le support de reconfigurations dynamiques non anticipées et concurrentes. Nous proposons une définition de la cohérence des configurations et des reconfigurations dans le modèle de composants Fractal à travers une modélisation basée sur des contraintes d'intégrité tels que des invariants structurels. La fiabilité des reconfigurations est garantie par une approche transactionnelle permettant à la fois de réaliser du recouvrement d'erreurs et de gérer la concurrence des reconfigurations dans les applications. Nous proposons enfin une architecture à composants modulaire pour mettre en oeuvre nos mécanismes transactionnels adaptés aux reconfigurations dynamiques dans des applications à base de composants Fractal.

Ce travail porte sur l'analyse de la fiabilité de structures marines de type Jacket, de comportement élastique-parfaitement plastique, vis-à-vis de chargement de houle linéaire stochastique. Les fonctions d'état de sécurité ou de ruine du système mécanique, calculées à l'aide d'une méthode d'analyse de contraintes pas-à-pas, prennent en compte les efforts combinés de flexion et de traction-compression par le flambement (écoulement bi-dimensionnel), dans les éléments de la structure. Les incertitudes des résistances des éléments de la structure sont prises en compte par des lois normales ou log-normales, définies à partir de données statistiques, rapportées par le comité LRFD (sur des facteurs de résistance et de chargement), de la Société Américaine de Génie civil. L'incertitude du chargement de houle est prise en compte par un modèle de houle linéaire stochastique, gaussien stationnaire ergodique. L'approche de la probabilité de ruine globale du système mécanique se fait par deux méthodes: la méthode dite de Premier Ordre, basée sur l'approximation des hyperplans équivalents des intersections ou des unions des régions de ruine du système, et la méthode dite hybride, basée sur la simulation Monte-Carlo. Enfin, deux exemples d'application d'un portique et d'une structure marine installée en eau moyennement profonde, mettent en évidence les avantages de l'utilisation du modèle d'efforts combinés de flexion et de traction-compression, y compris le flambement, proposé dans ce travail. Les modèles proposés dans ce travail, d'application aux structures marines, mais de portée beaucoup plus grande, permettent d'étudier la variation de la probabilité de ruine globale d'un système mécanique, en fonction des critères adoptés dans sa conception. Ils permettent également d'établir des critères pour définir les niveaux de sécurité désirables.

Cette thèse s'inscrit dans le cadre d'une collaboration tripartite entre STMicroelectronics, le CEA-Leti et le TIMA. Elle a pour objet la caractérisation et l'étude de la fiabilité des composants à ondes acoustiques de volume (ou BAW pour Bulk Acoustic Wave) fabriqués à partir de couches piézoélectriques minces déposées sur un miroir de Bragg réalisé sur silicium (la technologie SMR pour Solidly Mounted Resonator) pour des applications Radiofréquence (RF). Dans ce travail, on s'intéresse particulièrement aux résonateurs et filtres à modes longitudinaux à base de Nitrure d'Aluminium (AlN) excités et piégés dans des capacités de type Métal-Insolant-Métal (MIM) dans le but de caractériser leur adéquation à répondre aux critères industriels et de permettre la compréhension et la modélisation des phénomènes physiques entrant en jeu dans la dégradation des composants. Le premier chapitre introduit la problématique des composants radiofréquences pour la téléphonie cellulaire et plus particulièrement les composants à ondes acoustiques de volume. Ce chapitre décrit le principe de fonctionnement de la technologie BAW, ses avantages ainsi que la problématique de la fiabilité comme étant un point clé dont l'étude est nécessaire avant la commercialisation. Le deuxième chapitre est consacré à l'analyse des propriétés électriques et acoustiques de la brique de base de la technologie BAW SMR qui est la structure MIM. Dans le troisième chapitre, on s'intéresse à l'étude de résonateurs sur miroir de Bragg sous différentes conditions de fonctionnement afin d'évaluer leur stabilité, de mettre en évidence les modes de défaillance et d'expliquer les phénomènes physiques observés. Enfin, le quatrième chapitre de ce manuscrit est consacré à l'étude d'un filtre complet exploitant ces résonateurs comme éléments d'impédance. La conclusion du mémoire reprend les principaux résultats des travaux effectués et fournit des lignes directrices en vue d'améliorer la stabilité et la fiabilité de la technologie BAW.

Les fluctuations électriques des composants sont une limitation à la miniaturisation des circuits. Malgré des procédés de fabrications en continuelle évolution, les variations des caractéristiques électriques dues au désappariement entre deux dispositifs limitent les performances des circuits. Concernant les applications à faible consommation, ces fluctuations locales peuvent devenir très critiques. Dans le contexte du développement d'une technologie CMOS 90nm avec mémoire Flash embarquée pour des applications basse consommation, l'appariement de transistors MOS est étudié. Une analyse de l'impact du dopage de grille des transistors NMOS est menée. L'étude se focalise sur l'appariement en tension des paires différentielles polarisées dans la zone de fonctionnement sous le seuil. Il est démontré que cet appariement peut être dégradé à cause de l'effet " hump ", c'est-à-dire la présence de transistors parasites en bord d'active. Un macro-modèle permettant aux concepteurs de modéliser cet effet est présenté. Il est étudié au niveau composant, au niveau circuit et en température. Enfin, une étude de la dégradation de l'appariement des transistors MOS sous stress porteurs chauds est réalisée, validant un modèle de dégradation. Des transistors octogonaux sont proposés pour supprimer l'effet " hump " et donnent d'excellents résultats en termes d'appariement ainsi qu'en fiabilité.