Les structures en béton armé exposées à des environnements agressifs subissent des dégradations qui affectent leur intégrité. La corrosion des armatures est l'un des mécanismes de dégradation les plus répandus et les coûteux en terme de maintenance et de réparation. Ce processus est dû à la pénétration des agents agressifs dans le béton, notamment les ions chlorures et le gaz carbonique. Les chlorures induisent une corrosion localisée ou par piqûre, alors que le gaz carbonique engendre une corrosion généralisée ou uniforme. Le déclenchement et la propagation de la corrosion dépendent de plusieurs facteurs liés aux matériaux, aux chargements, à la géométrie et à l'environnement. Ces facteurs présentent de grandes incertitudes qui doivent être prise en comptes à travers une approche probabiliste. Dans ce travail de recherche, nous nous intéressons au mécanisme de corrosion en général. Un intérêt particulier est porté à la prise en compte de l'impact des facteurs climatiques sur ce processus, notamment dans le contexte libanais. Ainsi, nous proposons une modélisation physique de la corrosion des aciers dans les poutres en béton armé qui se déroule en deux phases : - une phase d'initiation durant laquelle les agents agressifs (chlorures et gaz carbonique) pénètrent dans le béton et atteignent des concentrations critiques provoquant la dépassivation de l'acier ; - une phase de propagation durant laquelle il y a corrosion active des aciers et diminution de la résistance de la poutre jusqu'à la défaillance. Les facteurs présentant des incertitudes sont traités comme des variables aléatoires. Pour les modéliser, nous avons étudié, pour les différentes variables aléatoires, de nombreux modèles probabilistes proposés dans la littérature. Nous avons vérifié leur compatibilité vis-à-vis de notre problématique et la possibilité d'assurer les données nécessaires à leur bonne utilisation (notamment la cohérence entre les hypothèses). Ensuite, nous avons retenu les modèles probabilistes les plus adaptés à notre cas. Par ailleurs, l'application des principes fiabilistes nous permet d'évaluer la fiabilité des poutres sujettes à la corrosion vis-à-vis des deux états-limites (ELU et ELS). En effet, la perte de la section d'acier due à la corrosion induit d'une part, une diminution de la capacité portante de la poutre, et d'autre part une augmentation de la contrainte au niveau du béton tendu (provoquant un accroissement des ouvertures des fissures). Ainsi, pour l'état limite de service, la marge de sûreté s'annule lorsque l'ouverture des fissures dépasse la valeur limite préconisée par l'Eurocode 2. Quant à l'état limite ultime, la fonction d'état limite est la résistance en flexion : la défaillance a lieu lorsque le moment résistant équivaut au moment sollicitant. Le calcul fiabiliste est effectué au moyen de simulations de Monte-Carlo. Finalement, nous avons réalisé plusieurs applications aux modèles de corrosions proposées dans ce travail. La première application porte sur l'analyse des sensibilités des modèles de corrosion aux différents paramètres. L'effet des moyennes des paramètres aléatoires ainsi que leurs variabilités sur la réponse du modèle est examiné. Une attention particulière est accordée à l'impact des facteurs climatiques. Ainsi une application du modèle de corrosion induite par les chlorures avec des données réelles de température et d'humidité relatives à trois villes côtières ayant des caractéristiques climatiques différentes est présentée. Ensuite une étude comparative de l'effet du choix des diamètres des armatures et des épaisseurs des enrobages sur la fiabilité à l'état limite ultime et à l'état limite de service est effectuée. Les résultats obtenus ont permis de mettre en évidence l'aspect agressif des facteurs climatiques : un climat chaud et humide est très agressif vis-à-vis de la corrosion induite par les chlorures alors qu'un climat à humidité relative variable favorise la corrosion par carbonatation. Ainsi, la chaleur et l'humidité relative se révèlent être des facteurs qui agressent la structure dans un environnement corrosif avec un effet déterminant de l'humidité relative sur la phase d'initiation et un impact important de la température sur la phase de propagation. Cette constatation nous a poussé à recommander, entre autres, l'intégration des facteurs climatiques dans les codes de conception comme sources d'agression dans la définition des classes d'exposition des ouvrages. Les résultats obtenus ont montré aussi l'effet contradictoire du diamètre des armatures et de l'épaisseur de l'enrobage sur la fiabilité des poutres vis-à-vis de l'ELS et de l'ELU. Cette combinaison diamètre des armatures/épaisseur de l'enrobage doit être optimisée en sorte d'assurer les recommandations de l'Eurocode 2 à l'ELS et à l'ELU. L'évaluation de l'effet du climat libanais sur la corrosion des aciers dans le béton est réalisée. Les applications sont effectuées avec des données climatiques réelles de trois villes du Liban permettant de représenter les différents aspects du climat libanais. Les résultats ont montré : - l'agressivité du climat de la zone côtière libanaise vis-à-vis de la corrosion induite par les chlorures ; - l'agressivité du climat de la zone interne du Liban vis-à-vis de la corrosion par carbonatation.

Cette thèse traite de l'ordonnancement dans les systèmes distribués. L'objectif est d'étudier l'impact de l'incertitude sur les ordonnancements et de proposer des techniques pour en réduire les effets sur les critères à optimiser. Nous distinguons plusieurs aspects de l'incertitude en considérant celle liée aux limites des méthodes employées (e.g., modèle imparfait) et celle concernant la variabilité aléatoire qui est inhérente aux phénomènes physiques (e.g., panne matérielle). Nous considérons aussi les incertitudes qui se rapportent à l'ignorance portée sur les mécanismes en jeu dans un système donné (e.g., soumission de tâches en ligne dans une machine parallèle). En toute généralité, l'ordonnancement est l'étape qui réalise une association ordonnée entre des requêtes (dans notre cas, des tâches) et des ressources (dans notre cas, des processeurs). L'objectif est de réaliser cette association de manière à optimiser des critères d'efficacité (e.g., temps total consacré à l'exécution d'un application) tout en respectant les contraintes définies. Examiner l'effet de l'incertitude sur les ordonnancements nous amène à considérer les aspects probabilistes et multicritères qui sont traités dans la première partie. La seconde partie repose sur l'analyse de problèmes représentatifs de différentes modalités en terme d'ordonnancement et d'incertitude (comme l'étude de la robustesse ou de la fiabilité des ordonnancements).

Le paradigme des systèmes multi-agents (SMA), qui propose une manière originale de modéliser le monde, est considéré comme un mode pertinent de représentation des connaissances. Mais les potentialités des SMA ne doivent pas cacher les difficultés qui guettent le modélisateur et qui peuvent remettre en cause sa légitimité scientifique. La question de la validation sert alors de fil directeur de cette thèse qui décrit un cadre méthodologique pour concevoir des modèles plus fiables. Car, contrairement aux modèles mathématiques, un SMA ne peut pas prouver ses résultats ni s'abstraire de la simulation. De plus, les probabilités de faire apparaître des erreurs ou des biais ne sont pas négligeables. De sa conception à son implémentation, de nombreux artefacts peuvent apparaître. On peut alors légitimement s'interroger sur la fiabilité des simulateurs. Or il s'agit moins d'erreurs de codage que de problèmes de gestion approximative des interactions ou d'activation des agents qui peuvent remettre en cause cette fiabilité. Cette thèse éclaire donc les zones sensibles susceptibles de générer des artefacts. Car la modélisation des socio-éco-systèmes n'est pas juste une spécialité informatique, mais demande un véritable savoir-faire et le modélisateur doit garder un regard critique sur ses outils. Non seulement il faut connaître par avance les points sensibles des SMA mais il faut également s'assurer de la robustesse de ses résultats en montrant que le simulateur exhibe des comportements relativement stables. Au-delà de la phase d'élaboration, la thèse souligne le rôle des analyses exploratoires pour mieux expliquer le comportement global d'un modèle, hiérarchiser l'influence des paramètres et tester la robustesse des hypothèses. Elle montre l'intérêt de la réplication et la nécessité de présenter un SMA de façon claire et non ambiguë. Après la mise en place d'un simulateur, un travail de re-présentation reste à mener pour proposer des diagrammes réorganisés qui mettent la lumière sur les points essentiels et autorisent des discussions et des critiques. Nous défendons l'idée d'une modélisation exposée, qui doit assumer ses choix sans imposer ses points de vue. Il est urgent d'abandonner la vision naïve qui consiste à penser qu'un modèle est objectif. La notion de modèle neutre qui ne serait qu'une copie du réel in silico, impliquerait que le modélisateur n'a aucun présupposé sur le système qu'il étudie et que le monde se reflète dans sa pensée comme une image dans un miroir. Or, que ce soit intentionnel ou non, un modèle est forcément une représentation subjective. Il faut donc expliciter ses choix et les présenter de la façon la plus lisible possible pour qu'ils puissent être compris, partagés ou critiqués. Suite aux défauts de fiabilité des SMA et aussi à cause de démarches naïves de la modélisation, il est préférable, dans l'état actuel des SMA, d'opter pour des modèles simples plutôt qu'une approche descriptive qui chercherait à introduire dans le modèle le maximum d'informations considérées comme données par nature.

La modélisation d'un dispositif destiné à une simulation numérique est aujourd'hui une tâche à la complexité croissante. Or, la conception de modèles fiables est une condition sine qua non pour garantir la fiabilité des résultats. Un modèle sera fiable si il respecte un ensemble de règles physico-numériques, qui définissent l'expertise des concepteurs de l'application. Dans le cadre largement répandu du génie logiciel objet, les spécifications structurelles et contractuelles d'un logiciel de simulation électromagnétique ont été partiellement définies grâce aux langages normalisés UML et OCL. Les expressions OCL expriment d'une part des contraintes d'implantation du logiciel, et d'autre part des contraintes de modélisation comportant des aspects numériques. Un système expert Prolog, encapsulé dans un composant logiciel Java, associé à une base de données d'instances, et fondé sur les formalismes UML et OCL, a été implanté. Il permet de guider l'utilisateur dans la phase de modélisation de son dispositif, en validant ses choix, en expliquant les éventuelles erreurs, et enfin en proposant dynamiquement des solutions alternatives fiables Dans le cas des simulations temporelles transitoires, un modèle initialement fiable peut sortir du domaine de validité des algorithmes de résolution utilisés, engendrant ainsi des erreurs. Dans l'hypothèse où différents modèles d'un même dispositif sont définis, leur commutation en fonction de l'algorithmique de résolution utilisée dépend de règles. Un système expert permettant de gérer ce type de commutation est étudié dans le cadre de la convection thermique.

Les travaux présentés dans cette thèse abordent la problématique de l'estimation de la fiabilité des systèmes qui est devenue un enjeu majeur pour les entreprises et ce dès les premières phases de développement. En effet, plus tôt les caractéristiques d'un produit ou d'un système sont appréhendées dans son cycle de vie et moins les risques ( financiers ou liés à la sécurité des installations ), dus à la non réalisation des performances attendues sont élevés. Dans un contexte exigeant des systèmes de plus en plus fiables et sûrs, et de durées de garanties croissantes, il est impératif de vérifier le plus rapidement possible que les performances des systèmes soient conformes au cahier des charges. La démarche idéale pour identifier la fiabilité d'un produit ou d'un système avant sa fabrication en série, est de procéder à des séries d'essais sur des prototypes, quand ils existent. Cette démarche nécessite un investissement trop important en temps en nombre de prototypes, car ces derniers étant de plus en plus fiables, l'observation de défaillances est de moins en moins probable .

Cette thèse porte sur l'étude des systèmes complexes tels que les systèmes mécatroniques, en tenant compte de leur aspect dynamique, hybride, reconfigurable et multitechnologies. Le premier chapitre est consacré au contexte actuel des systèmes mécatroniques et la nécessité qu'ils soient conçus et développés de manière collaborative afin d'obtenir des systèmes sûrs de fonctionnement. La démarche systémique aide à l'étude de ces systèmes complexes. Le second chapitre expose les différentes méthodes utilisées dans l'analyse qualitative ainsi que dans l'analyse quantitative. Le choix se porte alors sur les méthodes SADT et SA-RT pour l'analyse fonctionnelle, l'AMDE et l'AEEL pour l'analyse dysfonctionnelle et sur les réseaux de Petri pour l'analyse quantitative. Le dernier chapitre expose la méthodologie proposée pour l'estimation de la fiabilité des systèmes mécatroniques ainsi que l'application de cette méthodologie sur un système ABS. Finalement, les conclusions et les perspectives de l'approche proposée sont émises.

Cette thèse s'intéresse à la conception de systèmes complexes d'automatisation sûrs de fonctionnement dont l'évaluation est basée sur des scénarios. Pour déterminer un système optimal, il est important de disposer d'outils de modélisation et d'évaluation rapides ainsi que des algorithmes d'optimisation adaptés au sein d'une méthodologie globale de conception. Cette méthodologie doit également permettre d'étudier l'impact des défaillances sur le comportement final du système contrôlé. Dans ce cadre, la détermination d'un architecture matérielle, son optimisation vis-à-vis de critères comme la longueur minimale des scénarios et le nombre de combinaisons de scénarios sont considérés. Nous proposons une modélisation fonctionnelle et dysfonctionnelle utilisant les scénarios de modes de défaillances. Le niveau de détail considéré est suffisamment fin pour décrire différentes possibilités d'agencements des composants utilisables ainsi que plusieurs types de composants. Si la modélisation fonctionnelle est facile à appréhender, la modélisation dysfonctionnelle tenant compte des scénarios est plus difficile. Afin de répondre à ce problème, nous proposons un modèle graphique baptisé "Arbre de défaillances multiples amélioré" permettant de modéliser, à l'aide d'opérateurs temporels et de relations entre modes de défaillances, ce comportement dysfonctionnel. L'application de cette méthodologie à un système de ferroutage est présentée. Les résultats obtenus pour les fonctionnalités liées au problème de l'incendie et du désarrimage sont comparés avec une méthode classique d'évaluation afin de montrer l'efficacité de l'approche proposée. L'intégration de ces travaux dans un logiciel dédié à la conception de systèmes d'automatisation (plate forme ALoCSyS : Atelier Logiciel de Conception de Systèmes Sûrs) est décrite.

Le mémoire porte sur l'expérimentation de piles à combustible (PAC) de type PEM (à membranes échangeuses de protons, ou à membranes polymères) destinées à trouver des applications dans les systèmes de transport. Le document proposé commence par donner un aperçu des principales problématiques liées aux transports et à l'énergie. L'objectif essentiel est d'indiquer, dans ce contexte, la pertinence d'une recherche finalisée sur les systèmes PAC et l'hydrogène, avec des travaux à mener qui s'inscrivent nécessairement dans la durée. Vient ensuite une présentation scientifique et technique des générateurs PAC de type PEM ; l'accent est alors mis sur les aspects les plus " système " de ces objets. Le concept d'hybridation par des organes de stockage tampon de l'énergie électrique (batteries et supercondensateurs) est mis en avant. Le document offre aussi une description de moyens originaux disponibles sur la plateforme PAC de Belfort en termes de matériels (bancs, instruments), de méthodes (plans d'expérience) permettant de caractériser des PAC aux puissances significatives pour les applications véhicule. Des exemples d'expérimentations spécifiques à l'application véhicule sont proposés ; les essais menés conduisent à dupliquer en laboratoire les conditions d'essais de l'environnement transport (sollicitations en dynamiques de courant, contraintes climatiques et vibratoires). Les aspects majeurs de la durée de vie, de la fiabilité et du diagnostic des systèmes PAC font l'objet du dernier chapitre du document. Le mémoire s'appuie sur un ensemble de travaux présentant une forte composante expérimentale, justifiée par la nécessaire détermination des performances des piles existantes, par l'évaluation de leurs durées de vie et de leurs modes de défaillance sous les contraintes réelles des applications embarquées. La démarche scientifique adoptée mêle étroitement expérimentation, analyse des phénomènes et diagnostic, modélisation de l'expérience et modélisation physique.

Dans cette thèse, la fiabilité des provisions comptables environnementales est évaluée par une combinaison de méthodes de recherche quantitatives et qualitatives dans une perspective de triangulation des résultats. Tout d'abord, l'étude de la divulgation de ces provisions par les groupes cotés français révèle son insuffisance et sa dégradation sur la période 2005-2010. Ensuite, l'utilisation de tests d'adéquation à la loi de Benford pour les montants comptabilisés au bilan et de régressions multiples pour les impacts au résultat ne permettent pas de remettre en cause la fiabilité des provisions environnementales divulguées par le même échantillon de groupes cotés français. Ces résultats contrastent avec ceux des recherches antérieures validant l'utilisation discrétionnaire des provisions environnementales pour lisser le résultat et limiter l'émergence de coûts politiques. L'étude de cas multiple conduite au niveau des acteurs de ces mêmes groupes explique cette fiabilité des montants par celle de leur processus de détermination et les nombreuses pressions institutionnelles qui l'encadrent. Les résultats de cette thèse indiquent donc que certains choix comptables pouvant affecter le résultat de façon discrétionnaire sont davantage expliqués par les pressions institutionnelles subies que par la volonté des dirigeants d'améliorer leur situation personnelle.

Au cours des dernières années, l'essor spectaculaire des microsystèmes (ou MEMS), qui touche tous les domaines industriels, est à l'origine de nombreux et nouveaux progrès technologiques. Néanmoins, dans ce contexte prometteur de large envergure, la fiabilité des MEMS s'avère être la problématique à améliorer pour franchir la phase d'industrialisation à grande échelle. C'est dans le cadre de cette thématique de fiabilité des microsystèmes, que s'inscrit ce travail.La température étant un paramètre majeur entrant dans de nombreux mécanismes d'endommagement des MEMS, notre étude présente la conception et la réalisation d'un banc de thermographie infrarouge de haute résolution (2 µm), associé à la mise en œuvre d'une méthodologie d'analyse et de traitement des mesures infrarouges.Ce dispositif innovant permet un diagnostic in-situ, sans contact et rapide des défaillances des MEMS par mesures locales et quantitatives des pertes thermiques associées. Cet outil constitue une avancée importante pour détecter, mesurer et comprendre les mécanismes d'endommagement des MEMS. Il nous permet de reconstituer des images thermiques de tout type de microsystème en cours de fonctionnement ou soumis à des tests de vieillissement accéléré, et ceci afin de réaliser une analyse fine et rapide de leur fiabilité.Ce travail apporte de nouveaux résultats en ce qui concerne la détection des mécanismes de défaillance de différents types de MEMS-RF et tout particulièrement des MEMS-RF avec contact électrique.