Thèse de doctorat : Informatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.

Th. doct.-ing.--Électrotech.--Toulouse--I.N.P., 1981. N°: 158.

Th.--Sci., autom.--Toulouse--I.N.P., 1977. N°: 18.

La Sûreté de Fonctionnement (SdF) est un domaine étudié de façon de plus en plus rigoureuse par les concepteurs. Si la SdF relative aux organes bénéficie de retours d'expériences sur lesquels le développement de solutions physiques peut s'appuyer, tel n'est pas le cas lorsqu'il s'agit de concevoir les architectures fonctionnelles d'un produit. L'architecte Système conceptualise et conçoit un système qui doit fournir un service selon certaines performances ; son cadre de référence, à savoir l'Ingénierie Système étant lacunaire en matière de SdF. De la sorte, l’ingénieur expert en SdF intervient après l'architecte, réalise ses propres analyses fonctionnelles, perturbant le travail réalisé et obligeant à des boucles qui pourraient être évitées. Il convient de ce fait, pour les industriels, de s'intéresser de près à l'alignement entre la SdF et l'IS. Nous avons obtenu quatre résultats. Le premier est un modèle conceptuel de l’Ingénierie de Systèmes Sûrs de Fonctionnement. Ce modèle conceptuel permet de définir les concepts et les liens entre le domaine de l'IS et celui de la SdF. Le macroprocessus présenté permet de définir l’architecture d’un système sûr. Plusieurs activités spécifiques sont présentes dans le macroprocessus. Ainsi, nous avons développé une méthode qui concerne l’analyse des risques en vue externe. Nous avons proposé une nouvelle méthode qui permet de définir les Safety Goals associé pour les scénarios critiques et une autre permettant l’analyse des architectures fonctionnelles d’un point de vue dysfonctionnel pour définir les Functional Safety Requirements. Cette méthode repose sur des mécanismes de propagation de défaillance / Safety is an area which is increasingly stringent by designers. If Safety on components benefits from experience feedback on which the development of physical solutions can support, this is not the case when it comes to designing functional architecture of a product. The System Architect conceptualizes and designs a system that must provide service according to a defined level of performance; its framework, namely the System Engineering is incomplete for safety. In this way, the safety expert comes after architects, performs his/her own functional analyzes, disrupting the work and forcing loops that could be avoided. It should therefore, for industry to pay close attention to the alignment between the SE and safety. We got four results. The first one is a conceptual model of the Safe Systems Engineering. This conceptual model, divided into three views defines the concepts and relationships between the field of SE and that of safety. The assembly has a strong semantic consistency. The proposed macroprocess permits to define the architecture of a safe system. For this, we have divided into three design phases and four views. Thus, we developed a methodology on risk analysis in external view. Given the limitations of methods like Preliminary Hazard Analysis regarding the deliverables required by the ISO 26262:2011 (Hazard Analysis and Risk Assessment), we proposed a new method for defining the Safety Goals associated for critical scenarios and another method for analyzing the functional architecture with a dysfunctional point of view to define the Functional Safety Requirements

Les architectures des systèmes embarqués des nouvelles générations d'avions civils et militaires tendent à s'organiser autour d'une plateforme avionique constituée de calculateurs interconnectés par un réseau central. Ce type d'architecture a fait apparaitre le besoin de développer de nouvelles méthodes de conception afin d'assister le dialogue entre les concepteurs des fonctions à embarquer (commandes de vol, gestion de l'énergie, ...) et les architectes de la plateforme avionique. Il est, en particulier, primordial de s'assurer que l'allocation des ressources de la plateforme aux fonctions embarquées respecte les exigences de sûreté de fonctionnement propres aux systèmes avioniques. Dans un premier temps, un cadre général a été proposé pour modéliser et vérifier l'effet de l'allocation des ressources d'une plateforme avionique du point de la sûreté de fonctionnement. Ce cadre est fondé sur l'utilisation du langage AltaRica pour décrire formellement la propagation des défaillances au sein de systèmes embarqués et des outils associés à ce langage (model-checking, génération de séquences et d'arbres de défaillances) pour vérifier la tenue des exigences de sûreté de fonctionnement. Ce cadre a été utilisé pour étudier, d'une part, l'allocation d'équipements informatiques aux fonctions de systèmes embarqués, et d'autre part, les placements des équipements au sein de l'avion en tenant compte de risques tels que l'éclatement d'un pneu ou l'explosion d'un moteur. Dans un second temps, la génération d'allocations respectant les exigences de sûreté de fonctionnement a été étudiée. L'approche retenue est fondée sur l'expression de contraintes d'allocation sous forme d'inégalités linéaires entières et sur l'utilisation de techniques de résolution de ces contraintes. Plusieurs types de contraintes (ségrégation, co-location, exclusion, ...) sont pris en compte. De plus, des critères d'optimisation permettent de guider la résolution des contraintes de façon à proposer des allocations les plus pertinentes du point de vue des besoins des systèmes aéronautiques. Finalement, une approche intégrant les techniques de vérification et de génération a été proposée. La première étape consiste à vérifier un modèle des fonctions embarquées qui est indépendant de la plateforme avionique. Il est possible d'extraire automatiquement des contraintes d'allocation à partir des résultats de cette vérification. L'étape de résolution de contraintes génère alors une allocation sûre. Les travaux sont illustrés par deux études de cas industrielles : une fonction de suivi de terrain d'un avion de chasse et un système de génération et de distribution hydraulique d'un avion de type A320. / Abstract

Internet est un réseau de réseaux permettant la mise en œuvre de divers services consommés par les utilisateurs. Malheureusement, chacun des éléments présents dans le réseau ou impliqués dans ces services peut potentiellement exhiber des défaillances. Une défaillance peut être perçue par un nombre variable d'utilisateurs suivant la localisation dans le système de la source de celle-Ci. Cette thèse propose un ensemble de contributions visant à déterminer du point de vue d'un utilisateur percevant une défaillance, si celle-Ci est perçue par un faible nombre d'utilisateurs (défaillance isolée) ou à l'inverse par un très grand nombre d'utilisateurs (défaillance massive). Nous formalisons dans un premier temps les défaillances par leur impact sur la perception des services consommés par les utilisateurs. Nous montrons ainsi qu'il est impossible, du point de vue d'un utilisateur, de déterminer de manière certaine si une défaillance perçue est isolée ou massive. Cependant, il possible de déterminer de manière certaine pour chaque utilisateur, s'il a perçu une défaillance isolée, massive, ou s'il est impossible de le déterminer. Cette caractérisation est optimale et totalement parallélisable. Dans un second temps, nous proposons une architecture pour la caractérisation de fautes. Les entités du système s'organisent au sein d'une structure à deux niveaux permettant de regrouper ensemble les entités ayant des perceptions similaires et ainsi mener à bien l'approche proposée. Enfin, une analyse probabiliste de la résistance au dynamisme et aux comportements malveillants du second niveau de cette architecture complète ce document. / The Internet is a global system of interconnected computer networks that carries lots of services consumed by users. Unfortunately, each element this system may exhibit failures. A failure can be perceived by a variable range of users, according to the location of the failure source. This thesis proposes a set of contributions that aims at determining from a user perception if a failure is perceived by a few number of users (isolated failure) or in contrast by lots of them (massive failure). We formalize failures with respect to their impact on the services that are consumed by users. We show that it is impossible to determine with certainty if a user perceives a local or a massive failure, from the user point of view. Nevertheless, it is possible to determine for each user whether it perceives a local failure, a massive one or whether it is impossible to determine. This characterization is optimal and can be run in parallel. Then, we propose a self-Organizing architecture for fault characterization. Entities of the system organize themselves in a two-Layered overlay that allows to gather together entities with similar perception. This gathering allows us to successfully apply our characterization. Finally, a probabilistic evaluation of the resilience to dynamism and malicious behaviors of this architecture is performed.

Les dépérissements forestiers rapportés dans la littérature ont fortement augmenté durant la dernière décennie. Si cette augmentation semble attribuable au moins en partie aux changements globaux, les mécanismes écophysiologiques sous jacents restent encore mal connus. La littérature sur ce sujet a initialement permis de dégager deux principales hypothèses sur les mécanismes fonctionnels à l’œuvre lors d’un dépérissement : un manque de réserves carbonées et un dysfonctionnement du système hydraulique. Ces deux hypothèses ne sont pas mutuellement exclusives, ni exhaustives : les fonctionnements carboné et hydraulique interagissent à de multiples niveaux, et une implication du cycle interne de l’azote n’est pas à exclure. L’objectif principal de cette thèse est de documenter les mécanismes écophysiologiques à l’œuvre dans un dépérissement de hêtres (Fagus sylvatica L.) matures en forêt de Fontainebleau, lié principalement à des sécheresses répétées. Le dépérissement a ici été étudié en dehors de fortes contraintes climatiques. Ce sont donc majoritairement des arrières-effets de stress passés qui ont été renseignés. Au cours de ce travail, une approche intégrant des aspects hydraulique, carboné et azoté du fonctionnement du système arbre-sol a été adoptée afin de développer une vision intégrée de l’impact du dépérissement sur les grandes fonctions de l’arbre. Le transfert de composés de l’arbre vers le sol via la rhizodéposition a également été pris en compte. En dehors de périodes de stress, le fonctionnement des arbres sains et dépérissants à l’échelle de l’organe est similaire, à l’exception d’une diminution de la croissance radiale du tronc chez les arbres dépérissants. Au niveau du tronc, la croissance radiale apparait donc comme la variable d’ajustement des arbres dépérissants à une assimilation de carbone diminuée du fait de la détérioration de l’état de santé du houppier. Suite à une contrainte hydrique modérée, les arbres dépérissants présentent un déficit en réserves carbonées par rapport aux arbres sains dans certains organes. Ce déficit se trouve compensé après une année favorable. Une forte résilience des concentrations en réserves carbonées pourrait expliquer la capacité des arbres dépérissants à survivre de nombreuses années avec un houppier très endommagé. Des différences de proportion et de structure des rayons ligneux détectées entre les arbres sains et dépérissants laissent entrevoir l’intérêt qu’aurait dans le futur l’étude de caractéristiques anatomiques fonctionnelles dans le xylème. De plus, une approche rétrospective grâce aux cernes permettrait d’affiner notre compréhension de la mise en place du dépérissement à long terme. Par ailleurs, une étude actuellement en cours sur la structure des communautés microbiennes de la rhizosphère devrait permettre de compléter notre connaissance de l’impact du dépérissement sur les relations arbre-sol. / The cases of forest decline reported in the literature have strongly increased during the last decade. This increase seems at least in part attributable to global change. However, the ecophysiological mechanisms underlying tree declines remain poorly understood. Two main hypotheses initially emerged from the recent literature: a deficit of carbon reserve compounds, or a failure of the hydraulic system of the tree. These hypotheses are not mutually exclusive, nor exhaustive: multiple couplings exist between the carbon and hydraulic functionings, and the internal nitrogen cycle of the trees could also be involved in tree decline. The main objective of this work was to document the ecophysiological mechanisms underlying a case of mature beech (Fagus sylvatica L.) drought-related decline in the Fontainebleau state forest. The decline was studied under non extreme climatic conditions. Therefore, we documented maily after-effects of past stresses. In this thesis, we developed an approach integrating the hydraulic, carbon and nitrogen aspects of functioning of the tree-soil system. The transfer of carbon compounds from tree roots to soil via the rhizodeposition process was also taken into account. Under non-stressful conditions, the functioning of healthy and declining trees is similar at the organ level, apart from a decreased stem radial growth in declining trees. In the trunk, radial growth thus appears to be the “adjustment variable” of declining trees in response to a lower whole-tree carbon assimilation due to their severely thinned crowns. Our results show that after a moderate hydric constraint, declining trees show a carbon reserve deficit in some organs compared to healthy trees. This deficit is compensated after a favourable year. A high resilience of carbon reserve concentrations could explain the ability of declining trees to survive for several years with a strongly reduced whole-tree leaf area. Healthy and declining trees presented different parenchyma ray proportions and structures in the stem xylem. Therefore, it could be interesting to study functional anatomical features in the future. Besides, tree rings characteristics could offer an insightful retrospective view of the history of this decline. Furthermore, an ongoing study on the structure of the microbial communities in the rhizosphere of healthy and declining trees will improve our knowledge about the impact of tree decline on the tree-soil interactions.

Cette recherche, en étroite relation avec notre pratique clinique en milieu carcéral, s'intéresse aux émotions dans les agirs violents. Les termes « émotions » et « agirs » sont à entendre dans une acception généraliste puisque nous partons de ce qui est visible pour remonter au fonctionnement psychique. Notre recherche s'intéresse ainsi à la clinique de l'agir et aux théories psychanalytiques de l'affect. Soulignant le fait que la prise en charge du sujet ne doit pas exclusivement se centrer sur l'agir violent, nous nous questionnons sur le fonctionnement des auteurs d'agirs violents et sur le lien qui existe entre un type d'agir (recours à l'acte et / ou passage à l'acte) et un fonctionnement particulier. Les fondements théoriques de la clinique des états-limites et de la clinique psychosomatique semblent pouvoir nous apporter des réponses intéressantes. Ainsi, à une analyse du fonctionnement en fonction de l'acte, nous préférons avoir une lecture qui part du fonctionnement pour éclairer la compréhension de l'acte. De manière générale, au-delà de vouloir préciser à quel fonctionnement appartient un type d'agir, nous souhaitons avant tout souligner la pluralité des fonctionnements dans la clinique des agirs. Enfin, nous chercherons à comprendre l'impact du milieu carcéral sur le fonctionnement de ces sujets. / This research, in conjunction with our clinical practice in prisons, focuses on emotions in violent act. The terms "emotion" and "act" must be understood in a general sense because we start from what is visible for up to psychic functioning. Our research interest in the theory of violent act and psychoanalytic theories of affect. It's important not only focus on the violent act and we questionned the functioning of the author of violent act and the relationship between one type of act (different type of acting out ) and psychic functioning. The theoretical foundations of limit states and psychosomatic seem to bring us interesting answers. Thus, an analysis of the operation according to the act, we prefer to have a reading that part of the psychic functioning to illuminate the understanding of the act. In general, beyond wanting to clarify what types of operation belongs act, we would first like to emphasize the plurality of functioning in the clinic act.

Ce mémoire par article s'intitule Caractéristiques familiales associées aux trois profils du trouble déficitaire de l'attention/hyperactivité chez les enfants âgés de 6 à 9 ans . Celui-ci fait suite aux nombreuses études s'étant intéressées à la catégorisation du trouble déficitaire de l'attention/hyperactivité (TDA/H; American Psychiatric Association, 1994) qui entraîne la subdivision du trouble en trois profils distincts : inattention prédominante (TDA/H-I), hyperactivité-impulsivité prédominante (TDA/H-H) et mixte (TDA/H-M). Plusieurs différences sur le plan individuel ont été identifiées jusqu'ici entre les enfants des trois profils, mais les différences sur le plan des caractéristiques familiales restent encore à éclaircir. L'objectif de cette étude est de vérifier si les familles d'enfants ayant un TDA/H se distinguent en fonction du profil diagnostique de leur enfant. Les participants sont 110 familles d'enfants d'âge primaire présentant un TDA/H (TDA/H-I : n = 31, TDA/H-H : n = 11, TDA/H-M : n = 68). Les résultats démontrent que les familles d'enfants ayant un TDA/H se différencient uniquement au niveau du stress parental en fonction du profil de leur enfant lorsqu'un contrôle statistique est exercé pour la présence du trouble oppositionnel. Ainsi, peu de différences sont observées entre les trois profils sur la base de leurs caractéristiques familiales.

La présente étude visait à identifier parmi un ensemble de caractéristiques familiales (telles que le ratio de cohésion et de flexibilité, la qualité de la communication, l'expression des émotions négatives et positives, la satisfaction concernant le fonctionnement familial et la qualité de la relation des parents à l'égard des jeunes) celles qui sont les plus fortement associées à l'anorexie boulimique. Pour atteindre cet objectif, nous avons effectué une étude descriptive et comparative transversale. Notre échantillon est composé de 38 familles d'adolescentes anorexiques, dont 29 adolescentes présentant une anorexie restrictive et neuf présentant une anorexie boulimique. Selon les résultats obtenus, le fonctionnement des familles des adolescentes anorexiques boulimiques ne semble pas différencier de façon significative de celui des familles des adolescentes anorexiques restrictives sur presque toutes les variables considérées (ratio de cohésion et de flexibilité familiale, qualité de la communication, satisfaction concernant le fonctionnement familial, niveau d'expression des émotions positives et niveau de l'appréciation de la relation des parents à l'égard des adolescentes).La seule différence observée entre ces deux sous-groupes indique que les adolescentes anorexiques boulimiques obtiennent un score significativement plus élevé à la sous-échelle expression des émotions négatives dans la famille comparativement aux adolescentes anorexiques restrictives.