Les architectures orientées services (SOA) sont considérées comme le moyen le plus avancé pour réaliser et intégrer rapidement des applications modulaires et flexibles.Dans ce domaine, les plates-formes SOA à disposition des développeurs et des architectes de produits logiciels sont multiples; les deux plus évoluées d'entre elles étant SCA et OSGi.Une application s'appuyant sur l'une de ces plates-formes peut ainsi être assemblée avec le minimum de composants nécessaires à la réalisation de ses tâches, afin de réduire sa consommation de ressources et d'augmenter sa maintenabilité.De plus, ces plates-formes autorisent l'ajout de composants greffons qui n'étaient pas connus lors des phases initiales de la réalisation du produit.Elles permettent ainsi de mettre à jour, d'étendre et d'adapter continuellement les fonctionnalités du produit de base ou des services techniques nécessaires à sa mise en production, sans interruption de service.Ces capacités sont notamment utilisées dans le cadre du paradigme DevOps et, plus généralement, pour mettre en œuvre le déploiement continu d'artefacts.Cependant, l'extensibilité offerte par ces plates-formes peut diminuer la fiabilité globale du système: une tendance forte pour développer un produit est l'assemblage de composants provenant de tierces-parties. De tels composants peuvent être d'une qualité inconnue voire douteuse.En cas d'erreur, de détérioration des performances, etc., il est difficile de diagnostiquer les composants ou combinaisons de composants incriminés.Il devient indispensable pour le producteur d'un logiciel de déterminer la responsabilité des différents composants impliqués dans un dysfonctionnement.Cette thèse a pour objectif de fournir une plate-forme, Cohorte, permettant de concevoir et d'exécuter des produits logiciels extensibles et résilients aux dysfonctionnements d'extensions non qualifiées.Les composants de tels produits pourront être développés dans différents langages de programmation et être déployés (ajout, mise à jour et retrait) en continu et sans interruption de service.Notre proposition adopte pour principe d'isoler les composants considérés comme instables ou peu sûrs.Le choix des composants à isoler peut être décidé par l'équipe de développement et l'équipe opérationnelle, à partir de leur expertise, ou bien déterminé à partir d'une combinaison d'indicateurs.Ces derniers évoluent au cours du temps pour refléter la fiabilité des composants.Par exemple, des composants peuvent être considérés fiables après une période de quarantaine; une mise à jour peut entraîner la dégradation de leur stabilité, etc..Par conséquent, il est indispensable de remettre en cause les choix initiaux dans l'isolation des composants afin, dans le premier cas, de limiter le coup des communications entre composants et, dans le deuxième cas, de maintenir le niveau de fiabilité du noyau critique du produit. / Service-Oriented architectures (SOA) are considered the most advanced way to develop and integrate modular and flexible applications.There are many SOA platforms available for software developers and architects; the most evolved of them being SCA and OSGi.An application based on one of these platforms can be assembled with only the components required for the execution of its tasks, which helps decreasing its resource consumption and increasing its maintainability.Furthermore, those platforms allow adding plug-ins at runtime, even if they were not known during the early stages of the development of the application.Thus, they allow updating, extending and adapting the features of the base product or of the technical services required for its execution, continuously and without outage.Those capabilities are applied in the DevOps paradigm and, more generally, to implement the continuous deployment of artifacts.However, the extensibility provided by those platforms can decrease the overall reliability of the system: a strong tendency in software development is the assembly of third-parties components.Such components may be of unknown or even questionable quality.In case of error, deterioration of performance, ... it is difficult to identify the implicated components or combinations of components.It becomes essential for the software producer to determine the responsibility of the various components involved in a malfunction.This thesis aims to provide a platform, Cohorte, to design and implement scalable software products, resilient to malfunctions of unqualified extensions.The components of such products may be developed in various programming languages and be deployed continuously (adding, updating and withdrawal) and without interruption of service.Our proposal adopts the principle of isolating the components considered unstable or insecure.The choice of the components to be isolated may be decided by the development team and the operational team, from their expertise, or determined from a combination of indicators.The latters evolve over time to reflect the reliability of components.For example, components can be considered reliable after a quarantine period; an update may result in deterioration of stability, ...Therefore, it is essential to question the initial choices in isolating components to limit, in the first case, the scope of communications between components and, in the second case, to maintain the reliability of the critical core of the product.

Dans des système concurrent, potentiellement embarqués et distribué, il est souvent crucial d'être capable de déterminer quel(s) composant(s) est(sont) responsable(s) d'une défaillance, que ce soit pour debbuger, établir une responsabilité contractuelle du fournisseur des composant, ou pour isolée, ou redémarrer les composants défaillants. Le diagnostic s'appuie sur l'analyse de la causalité logique pour distinguer les composants ayant contribué à la défaillance du système, de ceux ayant eu peu ou pas d'impact sur cette dernière. Plus précisément, un composant C est une cause nécessaire, si la propriété P du système n'aurait pas été violée si C s'était comporté selon sa spécification S. De même, C est une cause suffisante de la violation de P (défaillance du système) si P aurait été violée, même si tous les composants, sauf C, avait respecté leur spécification. Autrement dit, la violation de S, du composant C, est suffisante pour violer P. L'approche a été formalisée, initialement, pour des modèle d'interaction BIP. Le but de ce projet est de formaliser un raisonnement similaire pour des programmes fonctionnels, où les fonctions sont équipées d'invariant décrivant leur comportement attendu. L'analyse prendrait en entrée une trace d'exécution (défaillante) et les invariant, et déterminerait quelle(s) fonction(s) est(sont) une(des) cause(s) de la défaillance. L'approche devra être implémenté et appliquée à des cas d'études provenant du domaine médical, ou de l'automatique. / In a concurrent, possibly embedded and distributed system, it is often crucial to be able to determine which component(s) caused an observed failure - be it for debugging, to establish the contractual liability of component providers, or to isolate or reset the failing component. The diagnostic relies on analysis of logical causality to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the system-level failure . More precisely, necessary causality of a component C characterizes cases when a system-level property P would not have been violated if the specification S of C had been fulfilled. Sufficient causality characterizes cases where P would have been violated even if all the components but C had fulfilled their specifications. In other words, the violation of S by C was sufficient to violate P. The initial approach to causality analysis on execution traces was formalized for the BIP interaction model. The goal of this project is to formalize a similar reasoning for functional programs where functions are equipped with invariants describing the expected behavior. The analysis should take a (faulty) execution trace and the invariants and determine which function(s) caused the failure. The results should be implemented and applied to case studies from the medical and automotive domains.

La recherche explore les liens existants entre le vécu socioculturel et le fonctionnement psychique des femmes qui demandent une aide psychologique à Alger-Centre. Nous avons démarré par l’idée que le vécu traditionnel pèse lourdement sur le fonctionnement psychique. La problématique de ce travail a été posée ainsi : quelles seraient les liens de cause à effet entre le vécu socioculturel et le fonctionnement psychique des femmes souffrantes ? Les hypothèses de travail supposent que le vécu socioculturel pourrait favoriser un fonctionnement hystéro-phobique. Méthodologie : Ce travail s’inscrit dans un référentiel psychanalytique. La population d’étude est de 100 femmes, toutes soumises à l’étude par un entretien clinique et un test projectif. Résultats : la majorité des femmes présente un fonctionnement hystéro-phobique. Elles ont toutes une fragilité du moi avec un besoin de dépendance. Elles ont, dans leur ensemble, une difficulté à assumer ou vivre les désirs, notamment ceux relatifs à la sexualité. Ceci confirme la prégnance d’une forte répression qui pèse lourdement sur leur fonctionnement psychique. / The research explores the links existing between a sociocultural experience and the psychological functioning of women that request psychological assistance in downtown Algiers. We have started our reflection from the idea that women’s experience in a traditional environment has a significant influence on their psychological functioning. The issue of this research was formulated as follows: what is the cause and effect relationship between the sociocultural experience and the psychological functioning of the suffering women? Our working hypotheses assume that the sociocultural experience could contribute to a hystero- phobic functioning. Methodology: this work is carried out within a psychoanalytical research framework. The study population was composed of 100 women, all subjected to a clinical interview and a projective test. Results: most of the women had a hystero-phobic functioning. They all have a weak self and a need to depend on someone else. Most of them have a difficulty to admit or to live desires, especially sexual desires. This confirms the strength of a powerful repression that heavily influences their psychological functioning.

Cette thèse se situe au croisement de deux domaines : la sûreté de fonctionnement des systèmes critiques et les méthodes formelles. Nous cherchons à établir la cohérence des analyses de sûreté de fonctionnement réalisées à l’aide de modèles représentant un même système à des niveaux de détail différents. Pour cela, nous proposons une notion de raffinement dans le cadre de la conception de modèles AltaRica : un modèle détaillé raffine un modèle abstrait si le modèle abstrait simule le modèle détaillé. La vérification du raffinement de modèles AltaRica est supportée par l’outil de model-checking MecV. Ceci permet de réaliser des analyses multi-systèmes à l’aide de modèles à des niveaux de détail hétérogènes : le système au centre de l’étude est détaillé tandis que les systèmes en interface sont abstraits. Cette approche a été appliquée à l’étude d’un système de contrôle de gouverne de direction d’un avion connecté à un système de génération et distribution électrique. / This thesis links two fields : system safety analyses and formal methods.We aim at checking the consistensy of safety analyses based on formal models that represent a system at different levels of detail. To reach this objective, we introduce a refinement notion in the AltaRica modelling process : a detailed model refines an abstract model if the abstract model simulates the detailed model. The AltaRica model refinement verification is supported by the MecV model-checker. This allows to perform multi-system safety analyses using models with heterogeneous levels of detail : the main system is detailed whereas the interfaced systems remain abstract. This approach has been applied to the analysis of a rudder control system linked to an electrical power generation and distribution system.

Dans les réseaux mobiles spontanés (en anglais, Mobile Ad hoc NETworks ou MANETs), la gestion de groupe partitionnable est un service de base permettant la construction d'applications réparties tolérantes au partitionnement. Aucune des spécifications existantes ne satisfait les deux exigences antagonistes suivantes : 1) elle doit être assez forte pour fournir des garanties utiles aux applications réparties dans les systèmes partitionnables ; 2) elle doit être assez faible pour être résoluble. Dans cette thèse, nous proposons une solution à la gestion de groupe partitionnable en environnements réseaux très dynamiques tels que les MANETs. Pour mettre en œuvre notre solution, nous procédons en trois étapes. Tout d'abord, nous proposons un modèle de système réparti dynamique qui caractérise la stabilité dans les MANETs. Ensuite, nous adaptons pour les systèmes partitionnables l'approche Paxos à base de consensus Synod. Cette adaptation résulte en la spécification d'un consensus abandonnable AC construit au-dessus d'un détecteur ultime des α participants d'une partition ♢PPD et d'un registre ultime par partition ♢RPP. ♢PPD garantit la vivacité dans une partition même si la partition n'est pas complètement stable tandis que ♢RPP préserve la sûreté dans la même partition. Enfin, la gestion de groupe partitionnable est résolue en la transformant en une séquence d'instances de AC. Chacun des modules ♢PPD, ♢RPP, AC et gestion de groupe partitionnable est implanté et prouvé. Par ailleurs, nous analysons les performances de ♢PPD par simulation / In Mobile Ad hoc NETworks or MANETs, partitionable group membership is a basic service for building partition-tolerant applications. None of the existing specifications satisfy the two following antagonistic requirements: 1) it must be strong enough to simplify the design of partition-tolerant distributed applications in partitionable systems; 2) it must be weak enough to be implantable. In this thesis, we propose a solution to partitionable group membership in very dynamic network environment such as MANETs. To this means, we proceed in three steps. First, we develop a dynamic distributed system model that characterises stability in MANETs. Then, we propose a solution to the problem of partitionable group membership by adapting Paxos for such systems. This adatation results in a specification of abortable consensus AC which is composed of an eventual α partition-participants detector ♢PPD and an eventual register per partition ♢RPP. ♢PPD guarantees liveness in a partition even if the partition is not completely stable whereas ♢RPP ensures safety in the same partition. Finally, partitionable group membership is solved by transforming it into a sequence of abortable consensus instances AC. Each of the modules ♢PPD, ♢RPP, AC, and partitionable group membership is implanted and proved. Next, we analyse the performances of ♢PPD by simulation

Notre société occidentale fait face actuellement à une hausse de l’espérance de vie, ce qui amène à un vieillissement de la population. Malgré les avancées médicales, il s’opère une dégradation des fonctions cognitives et des capacités physiques, responsable d’une baisse de la qualité de vie et de la perte d’autonomie. De plus, le nombre de pathologies dégénératives, dont le premier facteur de risque est l’âge, ne cesse d’augmenter. A l’heure actuelle, il n’existe encore aucun moyen pharmacologique permettant de contrer efficacement le déclin cognitif et physique lié à l’âge. Ainsi, l’objectif de ce travail de thèse était de tester l’impact de méthodes non-pharmacologiques sur la cognition, particulièrement au niveau de la mémoire de travail et des fonctions exécutives, la qualité de vie, et l’autonomie. Nous nous sommes concentrés sur les entraînements cognitifs et physiques, en émettant l’hypothèse principale qu’une combinaison de ces deux sphères au sein d’un même entraînement serait plus efficace qu’un entraînement seul (i.e. cognitif ou physique) dans la mesure où ils engendreraient des bénéfices différents mais complémentaires. Ce travail de thèse s’organise donc autour de trois études : l’Etude 1, qui a pour but d’investiguer l’impact d’un entraînement cognitif simple comparé à un entraînement combiné cognitif-et-physique sur la cognition ; l’Etude 2, qui compare l’impact de ces deux mêmes entraînements mais cette fois à un niveau fonctionnel cérébral ; l’Etude 3 qui investigue l’impact d’une prise en charge multidimensionnelle dans la maladie d’Alzheimer. Les résultats de ce travail de thèse nous montrent, en ce qui concerne le vieillissement normal, des bénéfices des deux types d’entraînement au niveau comportemental, en termes de transfert et de maintien à long-terme. En revanche, si l’entraînement combiné a engendré un transfert plus important, l’entraînement cognitif seul produit un meilleur maintien des bénéfices dans le temps. Par rapport au niveau fonctionnel cérébral, des bénéfices ont été montrés sur la composante P100, qui reflète le recrutement attentionnel uniquement pour le groupe d’entraînement cognitif seul. Ensuite, nous avons observé des bénéfices dans le vieillissement pathologique au niveau de la cognition. Pour conclure, ce travail de thèse nous a permis de montrer des effets bénéfiques des entraînements cognitifs et/ou physiques dans le vieillissement normal et pathologique, même si à l’heure actuelle nous ne pouvons pas conclure par une supériorité de l’entraînement combiné comparé à un entraînement cognitif. / Our western society is currently facing an increase in life expectancy, which is leading to a growing aging population. Despite medical advances, there is a deterioration of cognitive functions and physical abilities, which is responsible for a decline in life quality and a loss of autonomy. In addition, the number of neurodegenerative diseases, whose first risk factor is age, is increasing. Today, there is no pharmacological means to effectively counter agerelated cognitive and physical decline. Thus, the objective of this thesis was to test the impact of non-pharmacological methods on cognition, particularly on working memory and executive functions, quality of life, and autonomy. We focused on cognitive and physical training, with the main hypothesis that a combination of these two aspects within the same training would be more effective than a single workout (ie cognitive or physical) insofar as they would generate different but complementary benefits. This thesis work is organized around three studies : Study 1, which aims to investigate the impact of a simple cognitive training compared to a combined cognitive-and-physical training on cognition ; Study 2, which compares the impact of these two same trainings but this time at a cerebral functional level ; Study 3 which investigates the impact of multidimensional intervention in Alzheimer's disease. The results of this thesis work showed, with regard to normal aging, the benefits of both types of training at the behavioral level, in terms of transfer and long-term maintenance. On the other hand, if combined training has resulted in greater transfer, cognitive training alone produces better benefits maintenance over time. Relative to brain function level, benefits were shown on the P100 component, which reflects attentional recruitment solely for the cognitive training group alone. Then, we observed benefits in pathological aging at the level of cognition. To conclude, this thesis work allowed us to show the beneficial effects of cognitive and / or physical training in normal and pathological aging, even if at present we cannot conclude for the superiority of combined training compared to cognitive training.

L ’intégration de systèmes mécaniques complexes soumis à des environnements vibratoirescontraignants nécessite de tenir compte, dès la conception, des sollicitations réelles d’usage.La thèse montre que l’environnement vibratoire ainsi que la durée d’exposition dépendent del’utilisation qui sera faite d’un système tout au long de son cycle de vie. L’ évaluation de sonl’utilisation repose sur l’ évolution conjointe du comportement des utilisateurs et du développementde la technologie du système.L’analyse de la sûreté de fonctionnement d’un système mécanique complexe a permis de considérerle système dans son ensemble et d’investiguer ainsi de fac¸on approfondie le comportementdynamique de composants critiques. La modélisation simple de systèmes mécaniques précisequalitativement et quantitativement les comportements dynamiques principaux et simule lessollicitations vibratoires auxquelles un composant critique identifié est soumis. Sur cette base, lamodélisation du comportement d’un composant mécanique permet d’ évaluer le dommage par fatiguequ’il subira. Cet indicateur apporte au concepteur une aide aux choix de la géométrie du composant.Enfin, l’environnement climatique ainsi que des impacts li ´es au fonctionnement interne du système,ont ´ et ´e pris en compte par la réalisation d’essais vibro-climatiques en fonctionnement. Ces étudesont été menées sur un système à pile à combustible intégré à un véhicule électrique à hydrogène.Elles ont permis de mettre au point un cheminement comme appui `a la conception des systèmesmécaniques complexes.Le cheminement pluridisciplinaire propos´e dans cette thèse repose donc sur l’interaction de travauxde recherche issus principalement des domaines de la sociologie, de la sûreté de fonctionnement etde la mécanique. / The integration of complex mechanical systems subject to stringent vibration environments requiresconsideration of the real conditions of use from the beginning of the design phase.The thesis shows that the vibration environment and the duration of exposure to this environmentdepend on the use of the system throughout its life cycle. The evaluation of its use is based on thejoint evolution of both the user behavior and the system technology development.The dependability analysis of a complex mechanical system leads to consider the system as a wholeand thus to investigate in depth the dynamic behavior of critical components. A basic modeling ofthe mechanical system allows to qualitatively and quantitatively identify key dynamic behaviors anddetermines the vibration loads to which selected critical components are subjected. On this basis,modeling the behavior of a mechanical component leads to assess its fatigue damage. This indicatorhelps the designer in his choice of component geometry.Finally, the climatic environment as well as effects related to the internal functioning of the system,have been taken into account by performing vibro-climatic tests of on an operating systems, i.e. a fuelcell system integrated into a hydrogen electric vehicle. This helped to develop a procedure to supportthe design of complex mechanical systems.

Cette thèse étudie les principes de mise en oeuvre pour l'exécution sur un même ordinateur, de tâches de niveaux de criticité différents, et dont certaines peuvent avoir des contraintes temps réel dur. Les difficultés pour réaliser ces objectifs forment trois catégories. Il faut d'abord prouver que les tâches disposeront d'assez de ressources pour s'exécuter; il doit être ainsi possible d'avoir des politiques d'allocations et d'ordonnancement sûres, prévisibles et simples. Il faut également apporter des garanties de sécurité pour s'assurer que les tâches critiques s'exécuteront correctement en présence de défaillances ou malveillances. Enfin, le système doit pouvoir être réutilisé dans une variété de situations. Cette thèse propose de s'attaquer au problème par la conception d'un système hautement sécurisé, extensible, et qui soit indépendant des politiques d'allocation de ressources. Cela est notamment accompli par le prêt de ressource, qui permet de décompter les ressources indépendamment des domaines de protection. Cette approche évite d'avoir à partitionner les ressources, ce qui simplifie le problème global de l'allocation et permet de ne pas gâcher de ressources. Les problèmes de type inversion de priorité, famine ou dénis de service sont supprimés à la racine. Nous démontrons la faisabilité de cette approche è l'aide d'un prototype, Anaxagoros. La démarche que nous proposons simplifie drastiquement l'allocation des ressources mais implique des contraintes dans l'écriture de services partagés (comme les pilotes de périphériques). Les principales difficultés consistent en des contraintes de synchronisation supplémentaires. Nous proposons des mécanismes originaux et efficaces pour résoudre les problèmes de concurrence et synchronisation, et une méthodologie générale pour faciliter l'écriture sécurisée de ces services partagés.

Les apports fluviaux en éléments nutritifs comme l'azote (N) le phosphore (P) et la Silice (Si) sont indispensables au fonctionnement des écosystèmes côtiers et en conditionnent la productivité. Cependant, l'intensité et le déséquilibre des flux de nutriments peuvent conduire à l'eutrophisation de ces zones de transition marines. En Manche – Mer du Nord cet enrichissement excessif se caractérise par des blooms phytoplanctoniques qui apparaissent sous l'influence des apports de la Seine, de la Somme et de l'Escaut. Ces trois hydrosystèmes, qui diffèrent largement par leur morphologie, leurs débits mais également les pressions anthropiques qui s'y exercent, offrent un cas d'étude exemplaire pour analyser les flux d'éléments nutritifs dans les bassins versants et leurs impacts à la zone côtière. L'objectif de cette thèse a été d'implémenter, pour ce continuum aquatique drainant plus de 100 000 km2 de surface continentale, une modélisation déterministe du fonctionnement des hydrosystèmes, s'attachant à décrire l'ensemble des processus microscopiques impliqués dans le transport, la rétention et la transformation des éléments N, P et Si. Validé sur la période récente (1996-2001), le modèle Sénèque-Riverstrahler a permis un calcul détaillé des transferts de nutriments, nécessaire pour quantifier le déséquilibre des flux d'azote et de phosphore exportés à la zone côtière franco-belge, par rapport à la silice. Différents scenarios, incluant des mesures de gestion concrètes, du type de celles préconisées par la directive Cadre Européenne sur l'eau (DCE), mais également des prospectives plus théoriques sur long terme, ont été élaborées et simulées. L'évaluation de ces scénarios porte sur la possibilité de rééquilibrer les apports fluviaux, en se basant sur les rapports de Redfield, de limiter la contamination azotée et phosphatée dans les réseaux hydrographiques et de réduire l'ouverture des cycles biogéochimiques qui a prévalu depuis plus de 30 ans. Dans le cadre d'une approche intégrée ‘rivière – zone côtière', ces résultats ont été couplés avec un modèle du fonctionnement des écosystèmes marins côtiers, permettant ainsi de traduire l'impact des mesures implémentées à l'échelle des bassins versants, en terme de développement algal atteint dans la zone côtière.

Un système de description des calculateurs à haute sûreté de fonctionnement est proposé et appliqué à des calculateurs existants. Cette description nous conduit à proposer une démarche de conception devant faciliter la validation. Une methode d'évaluation de la sûreté de fonctionnement, destinée à fournir des évaluations pour la certification, est ensuite étudiée. Elle s'appuie sur une démarche non optimiste et permet de prendre en compte certains paramètres difficilement quantifiables (latence d'erreur par exemple). Les deux aspects de cette étude, conception et évaluation, sont appliqués à un calculateur tolérant les pannes développées dans le cadre de ce travail. (CARLl)