Dans la robotique mobile, le réseau de communication est un composant important du système global pour que le système accomplisse sa mission. Dans un tel type de système, appelé un système commandé en réseau sans fil (SCR sans fil ou WNCS), l’intégration du réseau sans fil dans la boucle de commande introduit des problèmes qui ont un impact sur la performance et la stabilité i.e, sur la qualité de commande (QoC). Cette QoC dépend alors de la qualité de service (QoS) et la performance du système va donc dépendre des paramètres de la QoS. C’est ainsi que l’étude de l’influence des défauts du réseau sans fil sur la QoC est cruciale. Le WNCS est un système temps réel qui a besoin d’un certain niveau de QoS pour une bonne performance. Cependant, la nature probabiliste du protocole de communication CSMA/CA utilisé dans la plupart des technologies sans fil ne garantit pas les contraintes temps réel. Il faut alors une méthode probabiliste pour analyser et définir les exigences de l’application en termes de QoS, c’est-à-dire en termes de délai, de gigue, de débit, et de perte de paquets. Une première contribution de cette thèse consiste à étudier les performances et la fiabilité d’un réseau sans fil IEEE 802.11 pour des WNCSs qui partagent le même réseau et le même serveur de commandes en développant un modèle stochastique. Ce modèle est une chaîne de Markov qui modélise la méthode d’accès au canal de communication. Ce modèle a servi pour définir les paramètres de la QoS qui peuvent garantir une bonne QoC. Nous appliquons notre approche à un robot mobile commandé par une station distante. Le robot mobile a pour mission d’atteindre une cible en évitant les obstacles. Pour garantir l’accomplissement de cette mission, une méthode de diagnostic probabiliste est primordiale puisque le comportement du système n’est pas déterministe. La deuxième contribution a été d’établir la méthode probabiliste qui sert à surveiller le bon déroulement de la mission et l’état du robot. C’est un réseau bayésien (RB) modulaire qui modélise les relations de dépendance cause-à-effet entre les défaillances qui ont un impact sur la QoC du système. La dégradation de la QoC peut être due soit à un problème lié à l’état interne du robot, soit à un problème lié à la QoS, soit à un problème lié au contrôleur lui-même. Les résultats du modèle markovien sont utilisés dans le RB modulaire pour définir l'espace d'état de ses variables (étude qualitative) et pour définir les probabilités conditionnelles de l'état de la QoS (étude quantitative). Le RB permet d’éviter la dégradation de la QoC en prenant la bonne décision qui assure la continuité de la mission. En effet, dans une approche de co-design, quand le RB détecte une dégradation de la QoC due à une mauvaise QoS, la station envoie un ordre au robot pour qu'il change son mode de fonctionnement ou qu'il commute sur un autre contrôleur débarqué. Notre hypothèse est que l’architecture de diagnostic est différente en fonction des modes de fonctionnement : nous optons pour un RB plus global et partagé lorsque le robot est connecté à la station et pour RB interne au robot lorsqu’il est autonome. La commutation d’un mode de fonctionnement débarqué à un mode embarqué implique la mise à jour du RB. Un autre apport de cette thèse est la définition d’une stratégie de commutation entre les modes de diagnostic : commutation d’un RB distribué à un RB monolithique embarqué quand le réseau de communication ne fait plus partie de l'architecture du système et vice-versa. Les résultats d’inférence et de scénario de diagnostic ont montré la pertinence de l’utilisation des RBs distribués modulaires. Ils ont aussi montré la capacité du RB développé à détecter la dégradation de la QoC et de la QoS et à superviser l’état du robot. L’aspect modulaire du RB a permis de faciliter la reconfiguration de l’outil de diagnostic selon l’architecture de commande ou de communication adaptée (RB distribué ou RB monolithique embarqué). / In mobile robotics systems, the communication network is an important component of the overall system, it enables the system to accomplish its mission. Such a system is called Wireless Networked Control System WNCS where the integration of the wireless network into the control loop introduces problems that impact its performance and stability i.e, its quality of control (QoC). This QoC depends on the quality of service (QoS) therefore, the performance of the system depends on the parameters of the QoS. The study of the influence of wireless network defects on the QoC is crucial. WNCS is considered as a real-time system that requires a certain level of QoS for good performance. However, the probabilistic behavior of the CSMA / CA communication protocol used in most wireless technologies does not guarantee real-time constraints. A probabilistic method is then needed to analyze and define the application requirements in terms of QoS: delay, jitter, rate, packet loss. A first contribution of this thesis is to study the performance and reliability of an IEEE 802.11 wireless network for WNCSs that share the same network and the same control server by developing a stochastic model. This model is a Markov chain that models the access procedure to the communication channel. This model is used to define the QoS parameters that can guarantee the good QoC. In this thesis, we apply our approach to a mobile robot controlled by a remote station. The mobile robot aims to reach a target by avoiding obstacles, a classic example of mobile robotics applications. To ensure that its mission is accomplished, a probabilistic diagnostic method is essential because the system behavior is not deterministic. The second contribution of this thesis is to establish the probabilistic method used to monitor the robot mission and state. It is a modular Bayesian network BN that models cause-and-effect dependency relationships between failures that have an impact on the system QoC. The QoC degradation may be due either to a problem related to the internal state of the robot, a QoS problem or a controller problem. The results of the Markov model analysis are used in the modular BN to define its variables states (qualitative study) and to define the conditional probabilities of the QoS (quantitative study). It is an approach that permits to avoid the QoC degradation by making the right decision that ensures the continuity of the mission. In a co-design approach, when the BN detects a degradation of the QoC due to a bad QoS, the station sends an order to the robot to change its operation mode or to switch to another distant controller. Our hypothesis is that the diagnostic architecture depends on the operation mode. A distributed BN is used when the robot is connected to the station and a monolithic embedded BN when it is autonomous. Switching from a distributed controller to an on-board one involves updating the developed BN. Another contribution of this thesis consists in defining a switching strategy between the diagnostic modes: switching from a distributed BN to an on-board monolithic BN when the communication network takes no longer part of the system architecture and vice versa -versa. The inference and diagnostic scenarii results show the relevance of using distributed modular BNs. They also prove the ability of the developed BN to detect the degradation of QoC and QoS and to supervise the state of the robot. The modular structure of the BN facilitates the reconfiguration of the diagnostic policy according to the adapted control and communication architecture (distributed BN or on-board monolithic RB).

Les services Web tolérants aux fautes sont des composants avec une grande résilience aux défaillances qui résultent de différentes fautes imprévues, par exemple des bugs logiciels ou crash de machine. Comme il est impossible de prévoir l'apparition d'éventuelles fautes, de nombreuses stratégies consistent à dupliquer, d'une manière passive ou active, les composants critiques (eg. services Web) qui interagissent durant une exécution d'application distribuée (eg. composition). La capacité d'une application à continuer l exécution en présence de défaillances de composants référé a la Tolérance aux Fautes (TF). La duplication est la solution largement utilisée pour rendre les composants tolérants aux fautes. La TF peut être assurée à travers la réplication ou la diversité. Nous nous intéressons particulièrement dans cette thèse à la diversité, et nous montrons comment un ensemble de services Web sémantiquement équivalents qui fournissent la même fonctionnalité (eg. prévisions météo), mais qui l'implémentent différemment, collaborent pour rendre un service Web TF. Nous illustrons les limites de la réplication (présence de fautes répliquées), et proposons la diversité comme une solution alternative. En effet, la littérature a révélé un intérêt limité dans l'utilisation de la diversité pour rendre les services Web tolérants aux fautes / Fault Tolerant Web services are components with higher resilience to failures that result out of various unexpected faults for instance software bugs and machine crashes. Since it is impractical to predict the potential occurrence of a fault, a widely used strategy consists of duplicating, in a passive or active way, critical components (e.g., Web services) that interact during a distributed application execution (e.g., composition). The ability of this application to continue operation despite component failures is referred to as Fault Tolerance (FT). Duplication is usually put forward as a solution to make these components fault tolerant. It is achieved through either replication or diversity. In this thesis, we are particularly interested in diversity, and we show how semantically similar Web services, i.e., offer same functionality (e.g., Weather Forecast) but implement this functionality differently in terms of business logic and technical resources, collaborate together to make web services fault tolerant. We illustrate the limitations of replication (e.g., presence of replicated faults) and suggests diversity as an alternative solution. Our literature review revealed a limited interest in diversity for FT Web services

Les systèmes modernes sont caractérisés par l’intégration de plusieurs composants de technologies diverses interagissant dans le but d’offrir de plus en plus de fonctionnalités aux utilisateurs. La complexité croissante dans ces systèmes pluridisciplinaires dits mécatroniques nécessite la mise en place de nouveaux processus, outils et méthodes pour la conception, l’analyse et la validation de ces derniers en respectant les contraintes de coût et de délais imposés par la concurrence. Ces systèmes doivent également satisfaire des contraintes de fiabilité et surtout de sûreté de fonctionnement. Seule une intégration du processus d’analyse de sûreté de fonctionnement tout au long du processus de développement peut assurer la satisfaction de ces contraintes de manière optimale.Les travaux de cette thèse ont pour objectif de contribuer à l’intégration des analyses de sûreté de fonctionnement dans le processus d’ingénierie système basée sur SysML afin de rendre ces analyses plus rapides et plus efficaces. Pour ce faire, nous avons traité les axes suivants : la formalisation d’une méthodologie de conception basée sur SysML et qui sera le support des analyses de sûreté de fonctionnement ; l’extension du langage SysML afin de pouvoir intégrer des spécificités des systèmes mécatroniques ainsi que des aspects de sûreté de fonctionnement dans le modèle système; l’exploration automatique des modèles SysML afin d’en extraire les données nécessaires pour l’élaboration des artefacts de la SdF et la génération (semi)/automatique de ces derniers (FMEA et FTA). Nous avons également intégré la vérification formelle d’exigences de sûreté de fonctionnement.Cette méthodologie nommée SafeSysE a été appliquée sur des cas d’étude du domaine de l’aéronautique : EMA (Electro-Mechenical Actuator) et WBS (Wheel Brake System). / Modern systems are getting more complex due to the integration of several interacting components with different technologies in order to offer more functionality to the final user. The increasing complexity in these multi-disciplinary systems, called mechatronic systems, requires new appropriate processes, tools and methodologies for their design, analysis and validation whilst remaining competitive with regards to cost and time-to-market constraints.The main objective of this thesis is to contribute to the integration of safety analysis in a SysML-based systems engineering approach in order to make it more efficient and faster. To achieve this purpose, we tackled the following axes: formalizing a SysML-based design methodology that will be the support for safety analyses; providing an extension of SysML in order to enable the integration of specific needs for mechatronic systems modeling as well as safety concepts in the system model; allowing the automated exploration of the SysML models in order to extract necessary information to elaborate safety artefacts (such as FMEA and FTA) and the semi-automated generation of the latters. We have also integrated formal verification to verify if the system behaviors satisfy some safety requirements.The proposed methodology named SafeSysE was applied to case studies from the aeronautics domain: EMA (Electro Mechanical Actuator) and WBS (Wheel Brake System).

Cette thèse porte sur l’analyse morphodynamique et sédimentaire des méandres du Cher (affluent de rive gauche de la Loire moyenne). L’intérêt pour cette question est né d’un double constat. Le premier était celui d’un manque patent de connaissances sur le fonctionnement géomorphologique des affluents de la Loire en général et du Cher en particulier. Le second se rapportait à la coexistence en apparence contradictoire d’une faible mobilité en plan depuis le début du XIXe siècle et d’une érosion latérale active au cours des trois dernières décennies, au minimum. L’objectif était à la fois de combler une partie de ce déficit de connaissances, afin notamment d’améliorer les pratiques de gestion de la rivière, et de caractériser le plus finement possible le comportement a priori atypique de ces systèmes à méandres, afin d’en comprendre la dynamique. Cette étude aura permis de mettre en évidence que depuis 1950, mais aussi probablement depuis 1830, la faible mobilité du tracé de la rivière relève essentiellement des contraintes exercées par les aménagements présents dans le lit mineur. En outre, ces méandres disposent encore aujourd’hui d’une très forte capacité intrinsèque à balayer leur plaine alluviale. La fréquence de mobilisation de la charge de fond est également élevée. Enfin, la morphogénèse est principalement commandée par les évènements hydrologiques de faible magnitude. Ces résultats sont de première importance pour les gestionnaires puisqu’ils indiquent que les dysfonctionnements qui affectent actuellement cet hydrosystème ne sont pas totalement irréversibles. / This thesis is dedicated to the morphodynamics and sedimentary analysis of the Cher River meanders (left bank tributary of the Middle Loire River). Two main points explain the present study. First, there is a general lack of knowledge concerning the geomorphological functioning of the Loire River tributaries, especially on the Cher River. Second, there is an apparent contradiction between the low mobility of the fluvial land forms since the early 19th century and active lateral erosion observed over the past three decades at least. In comparison with the Loire and its tributaries, the specificity of the Cher River lies in a meandering pattern that is both old and spatially extended. This research also directly concerns the current management issues of the Cher and the Loire River. These issues relate mainly to the maintenance or restoration of alluvial landscapes and to the refill of the bed with coarse sediments. The main objective of the thesis was both to fill a part of this knowledge gap and to characterize as fully as possible the atypical behavior of this meandering system in order to understand its dynamics. The various investigations conducted have focused on the middle valley of the Cher River, upstream of the channelized section, and more specifically on three distinct reaches. They were designed to validate two explanatory hypotheses that are not mutually exclusive of each other; the two hypotheses were initially set out to explain the stability of the meander planforms. The first hypothesis postulated that the migration of meanders was inhibited by the presence of bank protections. The second is related to a decrease in the frequency and / or intensity of hydrological morphogenic events since the 19th century. Our analysis is based on two complementary approaches. Firstly, we undertook the reconstruction of the evolutionary trajectory of these meanders at a historical timescale (period 1830-2005) and we investigated the causes of the observed changes. Secondly, we examined more specifically the relationships between morphogenesis and bedload transport at time scalesspanning from the hydrological event to a few decades (last 25-70 years). This study demonstrates that since 1950, but probably also since 1830, the low meander mobility, essentially results from engineering works in the bed. Further, the meanders still have a very high intrinsic ability to erode the alluvial plain. The frequency of bedload mobilization is also high. Finally, morphogenesis in the system is mainly controlled by low magnitude hydrological events. These results are of primary importance for river managers because they highlight the reversibility of the current hydrosystem degradation.

Les travaux développés dans ce mémoire de thèse portent sur la contribution à une méthodologie de synthèse de lois de commande tolérante aux fautes garantissant la fiabilité des systèmes. Cette nouvelle méthodologie nécessite l'adaptation des différents outils de caractérisation de la fiabilité avec la théorie de la commande. L'intégration explicite de l'aspect charge dans les lois modélisant la fiabilité en ligne est considérée. Une première partie des travaux est consacrée à la reconfigurabilité des systèmes tolérants aux fautes. Une analyse de reconfigurabilité en présence de défauts basée sur la consommation d'énergie ainsi que des objectifs liés à la fiabilité globale du système sont proposés. Un indice de reconfigurabilité est proposé définissant les limites fonctionnelles d'un système commandé en ligne en fonction de la sévérité des défauts et de la dégradation des actionneurs en terme de fiabilité. Dans la deuxième partie, le problème d'allocation et ré-allocation de la commande est considéré. Des solutions sont développées tenant compte de l'état de dégradation et du vieillissement des actionneurs. Les entrées de commande sont attribuées au système en tenant compte de la fiabilité des actionneurs ainsi que les éventuels défauts. Des indicateurs de fiabilité sont proposés et intégrés dans la solution du problème d'allocation et ré-allocation de la commande. La dernière partie est entièrement consacrée à la synthèse d'une loi de commande tolérante aux fautes garantissant la fiabilité globale du système. Une procédure d'analyse de fiabilité des systèmes commandés en ligne est proposée en se basant sur une étude de sensibilité et de criticité des actionneurs. Ainsi, une méthode de commande tolérante aux fautes en tenant compte de la criticité des actionneurs est synthétisée sous une formulation LMI / The works developed in this thesis deal with the active fault tolerant control design incorporating actuators reliability. This new methodology requires the adaptation of the reliability analysis tools with the system control field. The explicit integration of load in the actuators reliability models is considered. First, the reconfigurability analysis of fault tolerant control systems is treated. A reliable reconfigurability analysis based on the energy consumption with respect to overall system reliability is presented. A reconfigurability index which defines the functional limitation of the system is proposed based on fault severity and actuators reliability degradation. The second part of the developed works is devoted to control allocation and re-allocation. Two approaches of control re-allocation are proposed by taking into consideration actuator degradation health. The control inputs are applied to the system with respect to actuators reliability and faults. The third part contributes to a fault tolerant controller design incorporating actuator criticality. A sensitivity analysis of the overall system reliability and criticality indicator are proposed. A new method of active fault tolerant control is developed with Linear Matrix Inequality (LMI) formulation based on actuator criticality

L'importance croissante des systèmes électroniques embarqués implique de les rendre de plus en plus sûrs. En effet, certains systèmes tels que les systèmes mécatroniques fonctionnent dans des conditions environnementales sévères les exposants à des erreurs dues aux perturbations. Ainsi, les concepteurs doivent considérer ces erreurs avec attention pour élaborer des remèdes adaptés. Dans ce travail, un intérêt particulier est porté sur la sûreté de fonctionnement des architectures de processeur. Le paradigme du processeur à pile a été choisi puisqu'il présente un bon compromis entre simplicité et efficacité. L'approche que nous avons proposée, évaluée et validée, est basée sur le développement et l'exploitation d'un émulateur logiciel du processeur. La sûreté de fonctionnement est assurée par une exploitation mixte de techniques de protection : une détection matérielle d'erreurs et une correction logicielle. La technique de correction est implantée dans des benchmarks et est validée dans l'émulateur à travers une simulation de différents scenarii d’apparition d’erreurs. Divers paramètres sont évalués tels que la capacité de correction et le surcoût temporel. Cette technique de correction est indépendante de l'application et des moyens de détection, ce qui confirme l'aspect méthodologique de la démarche. Par ailleurs, dans le cadre de la collaboration sollicitée par le projet CIM'Tronic, nous avons fait converger nos travaux avec ceux de l'équipe du CRAN de Nancy/A3SI de Metz en appliquant l'approche du flux informationnel sur le jeu d’instructions du processeur. Nous avons montré la capacité de cette approche d'évaluer la fiabilité de l'ensemble processeur/application / Nowadays, embedded systems are becoming increasingly attractive for many applications. Furthermore, these systems should be more and more dependable. Indeed, systems such as mechatronic or automatically controlled ones often work in harsh environmental conditions making them more prone to errors due to disturbances. Thus, designers should consider ways to protect them against such errors. In this work, a special interest is dedicated to processor architecture dependability as we consider processor-based systems. The stack computer philosophy has been chosen for the processor architecture in order to achieve a good trade-off between simplicity and effectiveness. Our approach to introduce and evaluate the dependability is based on the development and the use of a software emulator of the processor to be designed. Dependability of the processor is ensured through the collaborative use of hardware and software protection techniques: hardware error detection means and software error correction means. The correction technique is implemented in benchmarks and is validated on the emulator through a simulation of various scenarios of errors appearance. Different parameters are evaluated such as correction capability and time overhead. This correction technique is independent from the target application and from the detection means, what confirms the methodological aspect of our approach. Otherwise, as requested by the CIM’tronic project, we integrated our work with the CRAN Nancy/A3SI Metz one by applying the information flow approach on the processor instruction set. We showed the ability of this approach to evaluate the whole processor/application dependability

Les systèmes de communication modernes exigent des débits de plus en plus élevés afin de traiter des volumes d'informations en augmentation constante. Ils doivent être flexibles pour pouvoir gérer des environnements multinormes, et évolutifs pour s'adapter aux normes futures. Pour ces systèmes, la qualité du service (QoS) doit être garantie malgré l'évolution des technologies microélectroniques qui augmente la sensibilité des circuits intégrés aux perturbations externes (impact de particules, perte de l'intégrité du signal, etc.). La tolérance aux fautes devient un critère important pour améliorer la fiabilité et par conséquence la qualité de service. Cette thèse s'inscrit dans la continuité des travaux menés au sein du laboratoire LICM concernant la conception architecturale d'une chaîne de transmission à haut débit, faible coût, et sûre de fonctionnement. Elle porte sur deux axes de recherche principaux : le premier axe porte sur les aspects rapidité et flexibilité, et en particulier sur l'étude et l'implantation d'architectures parallèles-pipelines dédiées aux codeurs convolutifs récursifs. Le principe repose sur l'optimisation des blocs calculant le reste de la division polynomiale qui constitue l'opération critique du codage. Cette approche est généralisée aux filtres récursifs RII. Les caractéristiques architecturales principales recherchées sont une grande flexibilité et une extensibilité aisée, tout en préservant la fonctionnalité ainsi qu'un bon équilibre entre quantité de ressources utilisées (et donc surface consommée) et performances obtenues (vitesse de fonctionnement) ; le deuxième axe de recherche porte sur le développement d'une méthodologie de conception de codeurs sûrs en présence de fautes, améliorant ainsi la tolérance de circuits intégrés numériques. L’approche proposée consiste à ajouter aux codeurs des blocs supplémentaires permettant la détection matérielle en ligne de l'erreur afin d'obtenir des architectures sûrs en présence des fautes. Les solutions proposées permettent d'obtenir un bon compromis entre complexité et fréquence de fonctionnement. Afin d'améliorer encore le débit du fonctionnement, nous proposons également des versions parallèles-pipelines des codeurs sûrs. Différents campagnes d'injection de fautes simples, doubles, et aléatoires ont été réalisées sur les codeurs afin d'évaluer les taux de détection d’erreurs. L'étude architectures sûrs de fonctionnement a ensuite été étendue aux décodeurs parallèles-pipeline pour les codes cycliques en blocs. L'approche choisie repose sur une légère modification des architectures parallèles-pipeline développées / Nowadays, modern communication systems require higher and higher data throughputs to transmit increasing volumes of data. They must be flexible to handle multi-norms environments, and progressive to accommodate future norms. For these systems, quality of service (QoS) must be guaranteed despite the evolution of microelectronics technologies that increase the sensitivity of integrated circuits to external perturbations (impact of particles, loss of signal integrity, etc). Fault-tolerance techniques are becoming more and more an important criteria to improve the dependability and the quality of service. This thesis’work continues previous research undertaken at the LICM laboratory on the architectural design of high-speed, low-cost, and dependable transmission systems. It focuses on two principal areas of research : The first research area concerns the speed and flexibility aspects, particularly on the study and implementation of parallel-pipelined architectures dedicated to recursive convolutional encoders. The principle is based on the optimization of blocks that calculate the remainder of the polynomial division which constitute the critical operation of the encoding. This approach is generalized to recursive IIR filters. The main architectural characteristics being aimed are high flexibility and scalability, yet preserving a good trade-off between the amount of resources used (and hence, area consumption) and the obtained performance (operation speed). The second topic concerns the developing of a methodology for designing FS (fault-secure) encoders, improving the tolerance of digital integrated circuits. The proposed approach consists in adding an extra blocks to the encoders, allowing online error detection. The proposed solutions offer a good compromise between complexity and frequency operation. For even higher throughput, parallel-pipelined implementations of FS encoders were considered. Different fault injection campaigns of single, double, and random errors were applied to the encoders in order to evaluate error detection rates. The study of dependable architecture was extended to pipeline-parallel decoders for cyclic block codes. This approach is based on a slight modification of the parallel-pipeline architectures developed at LICM laboratory, introducing some redundancy in order to make it dependable

Ce sujet de thèse concerne le développement d’analyse des propriétés structurelles en interaction avec des indicateurs de fiabilité. Notre étude porte sur des systèmes structurés (linéaire, bilinéaire ou linéaire à commutations), ces derniers doivent vérifier quelques propriétés importantes pour l’accomplissement de leur mission. Ces propriétés dépendent de la structure du système, d’où l’appellation "propriétés structurelles". La structure du système peut être représentée par un graphe composé de sommets et d’arcs. La vérification des propriétés structurelles dépend principalement de 4 conditions élémentaires de connectivité, de lien, de distance et de couplage complet. Nous avons développé des algorithmes permettant de les exprimer sous forme d’expressions booléennes basées sur les arcs du graphe représentant le système. Nous considérons que chaque arc est lié aux composants du système. Une défaillance au niveau des composants peut provoquer la modification de la structure du système, et donc peut rendre une propriété structurelle insatisfaite. Ainsi, les propriétés structurelles sont écrites sous forme d’expressions booléennes basées sur l’état de fonctionnement des composants. En utilisant les expressions booléennes associées aux propriétés structurelles, leur fiabilité et/ou disponibilité peut être calculée sachant les caractéristiques de sûreté de fonctionnement des composants du système. À travers cette étude, nous pouvons vérifier si, pendant le temps de mission du système, une propriété structurelle restera satisfaite et/ou respectera un niveau de performance exigé par un cahier des charges. / This thesis concerns the development of analysis of structural properties in interaction with indicators of reliability. Our study focuses on (linear, bilinear or switching) structured systems, they must verify some important properties for the accomplishment of their mission. Properties depend on the structure of the system, hence the term "structural properties". The structure of the system can be represented by a graph consisting of vertices and edges. Verification of structural properties depends mainly on four basic conditions of connectivity, link distance and complete linkage. We have developed algorithms to express the form of Boolean expressions based on the edges of the graph representing the system. We consider that each edge is linked to the system components. A failure at the component level can cause changes in the structure of the system, and therefore can make a structural property unsatisfied. Thus, the structural properties are written as boolean expressions based on the operating state of the components. Using boolean expressions associated to the structural properties, reliability and / or availability can be calculated knowing the characteristics of the system components. Through this study, we can check if during the mission time of the system, a structural property remain satisfied and / or comply with a level of performance required by the specifications

Dans le contexte des changements globaux, la biodiversité en Méditerranée est menacée, notamment par une sécheresse plus intense, avec des modifications probables du fonctionnement des écosystèmes. Cette thèse étudie l’effet de la sécheresse accrue sur la végétation et la modulation des effets par la diversité végétale, par une expérimentation d’exclusion de pluie dans une garrigue au nord de Marseille avec un gradient naturel de diversité. Les performances des 4 arbustes dominants, la diversité spécifique et fonctionnelle, les relations interspécifiques et la relation diversité-productivité de la garrigue ont été étudiés sous deux niveaux de pluieAprès 2,5 années, les effets de la sécheresse accrue sur la performance des 4 arbustes dépendent de l’espèce et du paramètre évalués et peuvent être modulés par la diversité des co-dominantes. Q.coccifera parait plus résistante et résiliente, suivie de R.officinalis et finalement de C.albidus et U.parviflorus. Ceci s’explique en partie par leurs différentes stratégies d’acquisition, utilisation et conservation du carbone et de l’eau. Les traits foliaires et la diversité fonctionnelle et spécifique ne sont pas affectés significativement par la réduction des pluies, mais dépendent du nombre, l’identité et le recouvrement des dominantes. Au vu de l’effet différentiel de la sécheresse accrue sur les espèces dominantes, on peut s’attendre à un effet négatif indirect de la sécheresse sur la biodiversité et donc sur le fonctionnement de la garrigue. On confirme l’importance d’intégrer les facteurs biotiques dans les modèles visant à prévoir le fonctionnement et les services des écosystèmes dans le cadre du changement climatique. / In the global change context, the biodiversity in the Mediterranean is under threat, mainly due to the more intense drought, which could lead to modification of ecosystem functioning. This thesis focuses on the effects of higher drought on the aboveground vegetation and the modulation of these effects by plant diversity thanks to a precipitation exclusion experiment in a shrubland in the south of France whith a natural diversity gradient. The 4 dominant shrub species performances, the specific and functional diversity, the interspecific interaction, and the biodiversity-productivity relationship were studied under 2 rain levelsAfter 2,5 years the effects of increased drought on the 4 dominant shrub performances was species- and parameter-dependant and can be modulated by the diversity of the co-dominant species. Q. coccifera seems the most resistant and resilient, followed by R. officinalis and finally by C. albidus and U. parviflorus. This is partly explained by the different strategies of acquisition, utilization and conservation of carbon and water of the four species. The leaf traits, the functional and specific diversity are not significantly affected by the precipitation decrease, but they depend on the number, the identity and the cover of the dominant shrubs. Given the differential effect of higher drought on the dominant species performances, we could expect an indirect negative effect of drought on the shrubland diversity and so on ecosystem functioning. We confirm the importance of taking into account the biotic factors in models aiming to predict the ecosystem functioning and environmental risks and services under future in the climate change context

Les personnes atteintes de troubles cognitifs légers (i.e., Mild Cognitive Impairment, MCI) souffrent d’un déclin cognitif, pouvant engendrer des troubles exécutifs et fonctionnels, pénalisants dans leurs activités de la vie quotidienne. Face à ces déficits, plusieurs programmes d’intervention de stimulations physique ou cognitive montrent des résultats encourageants sur les performances de ces profils. / People with Mild Cognitive Impairment (MCI) suffer from a cognitive decline, which engender executive and functional disorders, punishing in their activities of the everyday life. Given these deficits, several programs of physical or cognitive stimulations show encouraging results on cognitive performances of these profiles.