Les services Web permettent la communication de systèmes hétérogènes sur le Web. Ces facilités font que ces services sont particulièrement adaptés au déploiement dans le cloud. Les efforts de formalisation et de vérification permettent d’améliorer la confiance dans les services Web, néanmoins des problèmes tels que la haute disponibilité et la sécurité ne sont pas entièrement pris en compte. Par ailleurs, les services Web déployés dans une infrastructure cloud héritent des vulnérabilités de cette dernière. En raison de cette limitation, ils peuvent être incapables d’exécuter parfaitement leurs tâches. Dans cette thèse, nous pensons qu’une bonne tolérance nécessite un monitoring constant et des mécanismes de réaction fiables. Nous avons donc proposé une nouvelle méthodologie de monitoring tenant compte des risques auxquels peuvent être confrontés nos services. Pour mettre en oeuvre cette méthodologie, nous avons d’abord développé une méthode de tolérance aux attaques qui s’appuie sur la diversification au niveau modèle. On définit un modèle du système puis on dérive des variantes fonctionnellement équivalents qui remplaceront ce dernier en cas d’attaque. Pour ne pas dériver manuellement les variants et pour augmenter le niveau de diversification nous avons proposé une deuxième méthode complémentaire. Cette dernière consiste toujours à avoir des variants de nos services; mais contrairement à la première méthode, nous proposons un modèle unique avec des implantations différentes tant au niveau des interfaces, du langage qu’au niveau des exécutables. Par ailleurs, pour détecter les attaques internes, nous avons proposé un mécanisme de détection et de réaction basé sur la reflexivité. Lorsque le programme tourne, nous l’analysons pour détecter les exécutions malveillantes. Comme contremesure, on génère de nouvelles implantations en utilisant la reflexivité. Pour finir, nous avons étendu notre environnement formel et outillé de services Web en y incorporant de manière cohérente tous ces mécanismes. L’idée est de pouvoir combiner ces différentes méthodes afin de tirer profit des avantages de chacune d’elle. Nous avons validé toute cette approche par des expériences réalistes. / Web services allow the communication of heterogeneous systems on the Web. These facilities make them particularly suitable for deploying in the cloud. Although research on formalization and verification has improved trust in Web services, issues such as high availability and security are not fully addressed. In addition, Web services deployed in cloud infrastructures inherit their vulnerabilities. Because of this limitation, they may be unable to perform their tasks perfectly. In this thesis, we claim that a good tolerance requires attack detection and continuous monitoring on the one hand; and reliable reaction mechanisms on the other hand. We therefore proposed a new formal monitoring methodology that takes into account the risks that our services may face. To implement this methodology, we first developed an approach of attack tolerance that leverages model-level diversity. We define a model of the system and derive more robust functionally equivalent variants that can replace the first one in case of attack. To avoid manually deriving the variants and to increase the level of diversity, we proposed a second complementary approach. The latter always consists in having different variants of our services; but unlike the first, we have a single model and the implementations differ at the language, source code and binaries levels. Moreover, to ensure detection of insider attacks, we investigated a new detection and reaction mechanism based on software reflection. While the program is running, we analyze the methods to detect malicious executions. When these malicious activities are detected, using reflection again, new efficient implementations are generated as countermeasure. Finally, we extended a formal Web service testing framework by incorporating all these complementary mechanisms in order to take advantage of the benefits of each of them. We validated our approach with realistic experiments.

Le présent mémoire s'inscrit dans une perspective méthodologique prenant en compte les articulations entre lexique et discours. L'option de base de cette recherche est que le sens se construit en discours, dans l'interaction et en situation, et que les définitions dictionnairiques, malgré leurs apports, limitent la dynamique du sens. Un cadre théorique et méthodologique de l'étude du lexique est exploité dans ce mémoire pour illustrer que le sens est continuellement l'objet d'une construction énonciative qui tient compte des enjeux de sens, des enjeux de représentation d'un sujet porteur d'un projet argumentatif et d'une certaine vision du monde. Nous avons analysé une notion lexicale, celle de ± tolérance¿ qui a fortement circulé dans le marché des échanges linguistiques qui ont suivi les événements tragiques du 11 septembre 2001 (La tragédie du World Trade Center). Les outils linguistiques, sémantiques, cognitifs et discursifs utilisés nous ont permis d'identifier plusieurs styles de catégorisations de la notion lexicale [TOLÉRANCE]. Ces catégorisations découlent d'un déploiement, dans le fil du discours, de plusieurs opérations linguistiques, énonciatives et cognitives afin d'actualiser une représentation qui est dans un jeu d'opposition, de rapprochement, de rupture, de frontière, de chevauchement, de miroir, de métaphorisation avec d'autres représentations. Ces jeux sur la représentation pour conforter une représentation ne se dévoilent que dans la charpente du discours. Notre travail qui est un travail qualitatif et qui visait surtout la mise en pratique d'une approche linguistique et discursive nous a permis d'illustrer la polysémie dont la notion lexicale [TOLÉRANCE] est aujourd'hui l'objet et de montrer combien cette polysémie est porteuse de valeurs nouvelles et de conflits sociaux, politiques, religieux et identitaires nouveaux non pris en compte ou inexistants lors des représentations premières de la notion.

Les travaux de recherche, dont la synthèse est présentée dans ce manuscrit, portent sur la conception de systèmes reconfigurables dynamiquement. L'évolution constante des applications et le besoin toujours croissant de performances imposent le développement de nouvelles architectures performantes et flexibles. Ces contraintes ont amené à une complexification des architectures, de leurs mécanismes de reconfiguration et de leur gestion. Dans le premier axe de travail, nous proposons des architectures offrant un bon compromis performances, consommation d'énergie, flexibilité. Afin de simplifier la conception de ces architectures et de leur gestion nous avons proposé un langage de description haut niveau qui permet de générer l'architecture mais aussi de paramétrer ses outils de développement. Les systèmes sur puce moderne incluent un grand nombre de fonctionnalités hétérogènes, et doivent faire face à des problèmes liés à la réduction des dimensions technologiques. Pour répondre à ces difficultés, le concept de réseau intégré sur silicium semble prometteur. Dans notre deuxième axe, nous étudions de nouveaux codages et l'utilisation de nouvelles technologies pour réduire la consommation des interconnexions tout en améliorant leur fiabilité. Nous travaillons également à la définition de réseaux flexibles adaptés au paradigme de la reconfiguration dynamique. L'émergence de systèmes intégrant une zone reconfigurable dynamiquement nécessite l'emploi d'outils et de mécanismes spécifiques. En particulier, la présence d'un système d'exploitation adapté devient nécessaire. Celui-ci doit être capable, au minimum, d'ordonnancer les tâches à exécuter, d'assurer le partage des moyens de communication et d'offrir un modèle de déploiement d'applications indépendant de l'architecture cible. Le deuxième enjeu de cet axe vient de la nécessité de développer des architectures tolérantes aux fautes. Ainsi la mise en place de gestions spécifiques permet de développer des systèmes reconfigurables dynamiquement sûrs de fonctionnement.

La démarche générale du mémoire consiste à utiliser des outils mathématiques permettant d'élaborer un formalisme vectoriel applicable aux systèmes électriques au sens large. Ce formalisme bénéficie à la fois des propriétés graphiques et géométriques de la théorie des vecteurs d'espace qu'il généralise et de la puissance du calcul matriciel. Aussi, est-il tout particulièrement adapté à l'étude des systèmes polyphasés.<br />Tout d'abord, on caractérise les modulateurs d'énergie indépendamment de leurs charges. Pour cela des espaces vectoriels leur sont associés ainsi que des familles de vecteurs qui les caractérisent. Il est possible alors de définir quel type de charge le modulateur est capable de contrôler. Les degrés de liberté de la commande trouvent également une formulation mathématique. Les exemples traités sont les onduleurs de tension monophasé et triphasé deux niveaux. L'approche conduit, dans le cas d'une commande aux valeurs moyennes, à un calcul original des durées de conduction des interrupteurs en utilisant la notion de barycentre. Les algorithmes obtenus, généralisables aux onduleurs à n bras, comportent un nombre réduit d'opérations logiques et arithmétiques.<br />Le formalisme est ensuite appliqué à la machine asynchrone triphasée avec q barres au rotor ; ceci nous permet d'expliciter la notion de rotor diphasé équivalent. La machine asynchrone pentaphasée est également modélisée et l'approche développée met en évidence les conditions que doit remplir l'onduleur à 5 bras pour l'alimenter correctement.<br />Dans la dernière partie, un onduleur de courant à Modulation de Largeur d'Impulsions est étudié à l'aide du formalisme. Les non-linéarités de la commande sont prises en compte vectoriellement, notamment, de façon originale, celle concernant la durée minimale de conduction des interrupteurs. On décrit enfin l'implantation matérielle de cette commande sur microcontrôleur 16 bits et présente les résultats expérimentaux dans le cas d'une charge constituée d'une machine asynchrone triphasée en parallèle avec des condensateurs.

La maîtrise des qualités physiologique (performance germinative) et sanitaire des semences (vection d'agents pathogènes) constitue un verrou scientifique et technologique majeur dans le cadre d'une agriculture raisonnée et mondialisée. La qualité physiologique repose notamment sur la tolérance à la dessiccation, la dormance et l'aptitude à la conservation qui s'acquièrent pendant le développement de la graine. Cependant les mécanismes régulateurs de ces processus restent mal compris. Chez Medicago truncatula, par une approche transcriptomique nous avons montré que la signalisation par l'acide abscissique participe via le facteur de transcription ABI5 à la régulation de la survie à l'état sec et à la dormance. ABI5 joue un rôle prépondérant dans les phases du développement allant de la fin de la maturation et à la levée. La transmission à et par les semences est l'un des principaux moyens de survie et de dissémination des bactéries phytopathogènes telles que Xanthomonas. Les éléments du dialogue moléculaire qui pourrait s'établir entre ces bactéries et la graine sont cependant méconnus. Après avoir établi que la contamination est plus efficace en situation compatible [Xanthomonas alfalfae subsp. alfalfae] qu'en situation incompatible [X. campestris pv. campestris, Xcc], nous démontrons l'existence d'un dialogue moléculaire entre Xcc et la graine en développement. La réponse transcriptionelle de la graine contaminée par Xcc et la réduction de leur poids suggèrent un trade-off entre l'activation des défenses basales et son développement. Cette thèse apporte des éléments permettant de suggérer que les qualités sanitaire et physiologique sont liées.

L’objectif de ce mémoire est de montrer qu’il est nécessaire de complémenter les schèmes multiculturalistes existants de mesures destinées à promouvoir l’autonomie et l’égalité des individus vulnérables au sein des groupes culturels et religieux minoritaires. En effet, les politiques multiculturalistes sont justifiées, dans une société libérale, dans la mesure où elles permettent de compenser les inégalités imméritées liées à l’appartenance à une culture minoritaire. C’est de cette justification de l’aménagement de la diversité culturelle dont traite le premier chapitre de ce mémoire. Cependant, plusieurs féministes, dont les critiques sont exposées au deuxième chapitre, ont mis en lumière le fait que ces politiques peuvent, en pratique, contribuer à fragiliser encore la position des individus vulnérables au sein de ces minorités et donc à renforcer les inégalités au sein du groupe. Dans le troisième chapitre, à l’aide du concept de capabilités, compris comme définition opérationnelle et procédurale de l’autonomie relationnelle, un modèle pouvant servir de complément aux schèmes multiculturels existants est élaboré. Le fonctionnement concret que pourrait avoir ce modèle fait l’objet du quatrième chapitre. Le modèle des capabilités – qui sont ici conçues à la fois comme guide pour les politiques et comme critère pour trancher les cas particuliers – pourrait donc mener à un type d’aménagement de la diversité à la fois plus flexible, au niveau des pratiques qu’il serait possible d’accommoder, mais également plus exigeant, au niveau des mécanismes institutionnels à mettre en place. / This dissertation aims at complementing existing multicultural theories with measures promoting autonomy and equality among cultural and religious minorities’ most vulnerable members. In a liberal society, multicultural policies are justified inasmuch as they allow compensating for undeserved inequalities, particularly those stemming from the individuals’ belonging to a cultural minority. The first chapter addresses this justification of cultural diversity management. In practice, multicultural policies can however contribute to weaken even more the vulnerable individuals within minorities, hence reinforcing existing inequalities among the group. Indeed, feminist writers have brought to light a number of criticisms about these policies, which are exposed in the second chapter. In the third chapter, the capabilities concept, constructed as an operational and procedural definition of relational autonomy, is used to build a framework complementing existing multicultural theories. Potential practical applications of this model are then explored in the fourth chapter. The capabilities framework, construed both as a guide for policy-making and as a standard to resolve hard cases, could pave the way for a new kind of cultural diversity management techniques. This framework is more flexible towards cultural diversity, potentially allowing accommodations for more cultural practices, but it is also more stringent, requiring the implementation of institutional mechanisms addressing issues within minorities.

Les opioïdes sont les analgésiques les plus puissants mais leur utilisation prolongée peut entraîner le développement d’une tolérance analgésique. La tolérance serait en partie associée à l’inhibition prolongée de l’adénosine monophosphate cyclique (AMPc) entraînant des changements compensatoires dans la voie de l’adénylate cyclase. Pour cette étude, nous avons eu recours à un biosenseur basée sur la technologie de Bioluminescence Resonnance Energy Transfer (BRET) et qui fournit des mesures de l’AMPc en fonction du temps réel. Durant les 15 premières minutes de stimulation, la réponse de l’AMPc est bi-phasique. Cette progression de la réponse à l’AMPc n’est pas la même pour tous les ligands. Par exemple, la deltorphine II qui induit l’internalisation du récepteur opioïde delta (DOR) affiche une baisse de l’inhibition de l’AMPc. À l’inverse la morphine qui n’induit pas l’internalisation du DOR affiche une réponse stable à l’inhibition de l’AMPc. Ainsi le profil d’internalisation permet de prédire la progression de l’inhibition de l’AMPc à court terme (15 minutes). Nous avons aussi mesuré la réponse à l’AMPc durant 30, 60 et 120 min, étant donné qu’un traitement chronique aux opioïdes induit une tolérance analgésique. Selon les résultats obtenus, le profil d’internalisation du DOR induits par les ligands ne permet pas d’expliquer l’inhibition persistante de l’AMPc. / Opioids are the most powerful analgesics but their prolonged use can cause the development of analgesic tolerance. The tolerance may be associated with the duration of response to cAMP. For this study, we used a biosensor based on Bioluminescence Resonnance Energy Transfer technology that provides measurements of cAMP levels as a function of real time. The aim of our study was to determine whether there is a correlation between the internalization profile of delta-opioid receptor (DOR) when stimulated by different ligands, with respect to the duration of signaling in the short-term (≤15 min) and long term (120 min). This evolution of the duration of cAMP inhibition is biphasic and is explained in part by the efficiency of ligands to promote Gαi activation and by the profile of internalization for each of the different ligands used in this study. For example, deltorphin II which displayed high efficiency to promote Gαi activation and internalization shows a more pronounced decline in cAMP response, unlike morphine which displayed low efficiency to promote Gαi activation, and a poor sequestration, displaying a minimal response decay of inhibition of cAMP. However, ligand ability to promote internalization of DOR does not explain the kinetic profile of a persistent inhibition of cAMP over a longer period of 120 min.

Le campagnol roussâtre Myodes glareolus est le réservoir principal de l'hantavirus Puumala (PUUV) responsable de la néphropathie épidémique (NE) en Europe. L'objectif de cette thèse est de décrire la variabilité de la résistance / tolérance de M. glareolus à PUUV et d'explorer son rôle dans la distribution et la transmission de ce virus. Nous émettons l'hypothèse que la tolérance à PUUV favorise sa persistance et sa transmission, ce qui devrait accroître le risque d'émergence de la NE. Nous avons développé une approche gène candidat pour déterminer le rôle de trois gènes de l'immunité dans la résistance / tolérance à PUUV. L'existence d'associations positives entre les allèles du gène Drb et l'infection par PUUV d'une part et les relations négatives détectées entre le niveau d'expression du gène Tnf-α et la prévalence en PUUV d'autre part corroborent l'évolution d'une tolérance en zones d'endémie de la NE. Elle pourrait être sélectionnée en réponse au coût de la réponse inflammatoire développée contre PUUV. L'approche de génétique des populations a démontré le rôle de la dynamique des réservoirs dans l'épidémiologie de PUUV. La comparaison du polymorphisme des gènes Drb et Tnf-α et des patrons génétiques neutres semble cependant indiquer une faible influence de la sélection dans le polymorphisme de ces gènes. Ce résultat suggère un effet potentiellement important de la plasticité phénotypique dans les niveaux de résistance/tolérance observés. L'étude de la communauté d'helminthes a confirmé cette hypothèse en révélant l'impact de certaines espèces sur le risque d'infection à PUUV. / The bank vole Myodes glareolus is the main reservoir of Puumala hantavirus (PUUV), the agent of nephropathia epidemica (NE) in Europe. This work aims at describing the variability of M. glareolus resistance / tolerance to PUUV and at exploring its role in the distribution and transmission of the virus. We hypothesized that tolerance to PUUV should favour its persistence and transmission, what could increase the risk of NE emergence.We developed a candidate gene approach to determine the role of three immune genes in the resistance / tolerance to PUUV. Both the detection of positive associations between Drb alleles and PUUV infection and the negative relationship observed between Tnf-α gene expression and PUUV prevalence corroborated the evolution of tolerance in NE endemic areas. The costly inflammatory response activated against PUUV infection could mediate this evolution.Using landscape population genetics, we revealed the role of M. glareolus population dynamics in PUUV epidemiology. The comparison of Drb and Tnf-α genetic differentiation with the neutral pattern detected at microsatellites indicated that selection weakly acted on these immune genes. This result suggested the potential effect of phenotypic plasticity in the balance of resistance/tolerance to PUUV. The study of helminth communities confirmed this hypothesis as it revealed the impact of two nematode species on the risk of PUUV infection

L'aboutissement aux Commandes de Vol Électriques (CDVE) des avions civils actuels s'est fait par étapes, après une longue maturation des différentes technologies mises en place. La prochaine étape est l'utilisation de communications intégralement numériques et d'actionneurs intelligents. Cette thèse propose de nouvelles architectures, en rupture avec l'état de l'art, avec de nouvelles répartitions des fonctions intelligentes entre l'avionique centrale (calculateurs de commandes de vols) et l'avionique déportée (électroniques locales des actionneurs) dont l'avantage est d'exiger moins de ressources par rapport aux architectures conventionnelles tout en satisfaisant les mêmes exigences de sécurité et de disponibilité ainsi que les exigences croissantes en fiabilité opérationnelle de la part des compagnies aériennes. La sûreté de fonctionnement et la robustesse des nouvelles architectures proposées ont été validées respectivement sous OCAS/Altarica et Matlab/Simulink. / The current civil aircraft's electrical flight control has been changed to take benefit of technical improvements. New technologies, when mature, can be incorporated in aircrafts. Evolutions are considered towards a digital communication and intelligent actuators. This thesis is aiming at proposing alternative architectures with distribution of system functionality between flight control computers and actuators with less hardware and software resources. New architectures must meet the same safety and availability requirements with additional operational reliability (required by airlines). Dependability and robustness of new architectures have been validated trough respectively OCAS / AltaRica and Matlab / Simulink

La réponse cellulaire aux ultra-violets (UV), ou réponse UV, est une réponse complexe et spécialisée dans l’adaptation et la tolérance des dommages aux UV. Celle-ci est initiée par un grand nombre d’évènements moléculaires et de signalisation nucléaire mais aussi au niveau de la membrane plasmique ou du cytoplasme. L’importance et l’influence exactes de ces évènements sur la réparation par excision de nucléotides (NER) des dommages UV à l’ADN sont encore mal comprises et doivent encore être méthodiquement démontrées. Dans cette thèse, grâce à l’utilisation d’une méthode sensible d’analyse de la réparation NER basée sur la cytométrie en flux, il est montré, dans un premier temps, que l’activité des voies MAPK (Mitogen-Activated Protein Kinases), qui sont des voies de signalisation de stress UV d’origine cytoplsamique, ne participent pas à l’efficacité de réparation NER des dommages UV dans les cellules humaines. En effet, l’abrogation de la signalisation MAPK, par inhibition pharmacologique, par utilisation de mutants dominant-négatifs ou par inhibition de leur expression endogène, ne révèlent aucun changement de la cinétique de réparation des dommages UV par excision de nucléotides. Cependant, l’utilisation de cette même méthode de réparation, mais cette fois, appliquée pour l’étude de réparation NER en fonction du cycle cellulaire, a permis de mettre en évidence la nécessité fonctionnelle de l’ADN polymérase translésionnelle eta (Pol η) dans la réparation NER des dommages UV, uniquement en phase S. Cette observation fut initialement caractérisée dans les cellules de patients affectés du syndrome variant de xérodermie pigmentaire (XP-V) puis, confirmée ensuite par l’inhibition de l’expression de Pol η endogène ou par la complémentation avec des mutants non-fonctionnels dans les cellules XP-V. Ces résultats indiquent que, contrairement à la réponse UV MAPK cytoplasmique, les évènements nucléaires comme la synthèse translésionnelle, peuvent influencer l’efficacité de réparation NER en phase S. Plus particulièrement, ces données établissent un lien possible entre la réparation NER en phase S et les niveaux de stress réplicatifs, révélé ici par la déficience fonctionnelle Pol η ou ATR. Les observations, présentées dans cette thèse, renforcent un rôle du point de contrôle S aux UV sur l’efficacité de la réparation NER et suggèrent que l’inhibition NER, observée en phase S dans les cellules XP-V, est modulée par le stress réplicatif. Un tel moyen de contrôle pourrait avoir une action plutôt protectrice pendant cette phase critique du cycle cellulaire. Mots clés: UV, translésionnelle, eta, MAPK, NER, CPD, cytométrie, phase-S, tolérance. / The UV-response is a complex cellular response to UV irradiation, which allows cellular adaptation and protection against deleterious effects of UV. This specialized response involves numerous molecular and signaling events from plasma membrane and from the nucleus represented, among others, by Mitogen-Activated Protein Kinase (MAPK) pathway activation and translesion synthesis respectively. More particularly, the exact role of these events on the removal UV-induced DNA damage by nucleotide excision repair (NER) in human cells is poorly understood and documented. By using a sensitive flow cytometry based-NER assay, presented and validated in this thesis, to quantify the removal of UV-DNA damage, it was unexpectedly found that Mitogen-Activated Protein Kinase (MAPK) signalling, originating from the the plasma membrane, does not regulate the efficiency of UV-induced DNA damage repair in human cells. Indeed, MAPK inhibition with pharmacological inhibitors, expression of short-hairpin RNA or dominant negative mutant, all together, substantiate fully the lack of effect of this signalling pathway on UV-damage removal by NER in human primaries and tumorous cells. Surprisingly, the same NER assay, applied to quantify the removal of UV-induced DNA damages as a function of the cell cycle, has shown a requirement of functional translesion synthesis polymerase eta (Pol η) for efficient UV-DNA damage repair in human cells uniquely during S-phase, where its function is required for the bypass of UV DNA damage. This observation, originally made in fibroblasts from xeroderma pigmentosum variant syndrome (XP-V) afflicted patients, was further confirmed in normal human cells, by abrogation of endogenous Pol η expression or by complementation with Pol η in XP-V cells. All together, the data presented here, indicate that MAPK signaling play no role in NER-mediated UV-damage removal, but highlight a role for UV-DNA damage tolerance response, as translesion synthesis, in regulation of NER efficiency. More particularly, these observations establish a potential link between the S-Phase Repair (SPR) of UV-DNA damages and replicative stress, revealed by a deficiency of Pol η or ATR. This SPR defects seen under acute replicative stress conditions could impact tumorogenesis or chemotherapy outcomes. Moreover, SPR defects, seen in XP-V cells could be controlled by replicative stress, and also reflect a protective coordination to reduce high risks of genetic or chromosomal aberrations that may occur during DNA replication upon UV exposure. Key Words: Translesion, UV, TLS, eta, MAPK, NER, S-phase, flow-cytometry, CPD.