• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 257
  • 58
  • 42
  • Tagged with
  • 353
  • 118
  • 85
  • 73
  • 67
  • 49
  • 46
  • 42
  • 40
  • 37
  • 35
  • 31
  • 29
  • 29
  • 28
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
151

L'expérience d'utilisation d'Internet et des réseaux sociaux des mères d'enfants d'âge préscolaire

Rocheleau, Kim January 2020 (has links) (PDF)
No description available.
152

Etude du fonctionnement psychique de jeunes femmes en demande de changement de sexe : approche psychanalytique et projective / Study on psychic functioning of young women in demand for a sex change : psychoanalytical and projective approach

Lintanff, Marion 21 November 2013 (has links)
Résumé confidentiel / Résumé confidentiel
153

Conduites compulsives et hystérie masculine : étude psychanalytique et clinique de l'alcoolisme chez l'homme / Compulsiv behavior and male hysteria : a psychoanalytical and clinical study of alcoholism in men

Capart, Noémie 30 November 2015 (has links)
Ce travail, inscrit dans une perspective psychanalytique propose, au travers de la clinique singulière de l'alcoolisme, une réflexion métapsychologique à propos de l'addiction, à l'appui d'un référentiel freudien et lacanien. Dans une attention particulière portée au triptyque sur lequel est fondée la métapsychologie, l'alcoolisme se voit alors abordé du point de vue économique augmenté des points de vue topique et dynamique, ouvrant ainsi autant de perspectives clinique que psychopathologique. Départi de toute conception déficitaire ou carentielle, c'est dans sa dimension conflictuelle qu'est appréhendé l'alcoolisme, hors du seul sillon narcissique. Au moyen d'une méthodologie croisée alliant cas cliniques issus de psychothérapie et cas cliniques de recherche enrichis des épreuves projectives, c'est au regard du sexuel que se trouve interrogé le symptôme alcoolique, privilégiant ainsi les problématiques œdipienne et de castration. A l'appui des concepts de répétition et de compulsion de répétition, il est dans un premier temps proposé de comprendre l'addiction en tant que conduite compulsive, aux fins de mettre en exergue la dynamique psychique sous-jacente au comportement et ce faisant, ses ressorts inconscient et fantasmatique. Figure d'un temps erratique, c'est dans ses incidences temporelles que l'addiction est mise en lumière, dans un différentiel entre cliniques de l'alcoolisme et de la toxicomanie. Si toutes deux procèdent à une subversion de la temporalité, que de la suspendre au seul profit de l'instant en vue de s'affranchir de toute causalité psychique, chacune relève d'une économie pulsionnelle propre. Si la conduite toxicomaniaque se montre massivement placée sous l'égide de Thanatos, l'alcoolisme n'en connaîtrait que de ponctuelles expressions, la dimension mortifère à l'œuvre dans la conduite alcoolique étant susceptible d'être imputée à Éros, de son excès d'intrication. Poursuivant, l'objet d'addiction, l'alcool, est questionné quant à sa fonction au sein de l'économie psychique du sujet. Envisagée comme tentative de solution de la part du sujet face à la castration et ses écueils, la conduite alcoolique se voit mise en lumière dans sa dimension de ratage, nommément phobique. L'objet d'addiction, alors entendu comme objet d'attraction, se fait le témoin du ratage de la constitution d'un objet phobique, répulsif par définition ; de cet échec, c'est alors la portée structurante de la phobie vis-à-vis de la castration qui disparaît, autant que le nouage de l'angoisse qu'elle offre - l'abstinence pouvant à ce titre être envisagée comme relance phobique. C'est à l'endroit de la figure paternelle et de ses défaillances que se poursuit la réflexion et, de la mise au jour de l'organisation œdipienne singulière qui en résulte, s'augure l'hypothèse d'un « complexe du père mort » chez ces hommes en proie à une conduite alcoolique. Enfin, le symptôme alcoolique se fait le lieu d'un débat psychopathologique entre névrose hystérique, fonctionnement limite et perversion. C'est l'hypothèse de l'hystérie masculine qui se verra défendue, la névrose se voyant ainsi abordée dans la gravité qu'elle peut recouvrir. C'est notamment des considérations quant au féminin, dans son opposition au phallique - et non au masculin - et à ce titre présent dans les deux sexes, que se soutiendra cette proposition. La question de la perte, très agissante dans les problématiques addictives, relue à la faveur du féminin, aboutit à un changement de paradigme, le narcissisme se trouvant relégué au second plan. / This work, part of a psychoanalytic perspective offers, through the singular clinical alcoholism, a metapsychological thinking about addiction, in support of a Freudian and Lacanian points of view. In a particular attention to the triptych on which is founded metapsychology, alcohol will be addressed through an economic point of view, increased with topographical and dynamic points of view, opening many as clinical and psychopathological perspectives. Divested of any deficit or carentiel design is in its conflictual dimension that will be apprehended alcoholism outside the narcissistic single way. Using a cross methodology combining cases from clinical psychotherapy and research, enriched projective tests is that in terms of psychosexuality is found interrogated alcoholic symptoms, and favoring Oedipal issues and castration. In support of the concepts of repetition and compulsion to repeat, it will be initially offered to understand addiction as compulsive behavior, in order to highlight the psychological dynamics underlying the behavior and thereby its unconscious and fantasmatic motivations. Figure of an erratic time, it is in its temporal effects that addiction will be found highlighted in a clinical difference between alcoholism and drugaddiction. If both proceed to a subversion of temporality in suspending it, in favour of instant, in order to overcome any psychical causality, each has is own instinctual economy. If drugaddiction shows heavily under the aegis of Thanatos, alcoholism would know only occasional expressions of the death instinct; mostly morbid dimension in alcoholaddiction may be attributed to Eros, because of its excessive fusion. Continuing, the object of addiction, alcohol, will be questioned as to its function within the psychic economy of the subject. Considered as attempted solution from the subject facing castration and its pitfalls, alcoholic behavior will be highlighted in its dimension of misfires, namely phobic. The object of addiction, then heard as an object of attraction, would witness misfires of the establishment of a phobic object, repulsive by definition. Through this failure, the structuring significance of phobia regarding castration disappears, as far as the knotting anxiety it offers - abstinence as such can be considered as phobic relaunch . This reflection will continue regarding the father figure and its failures and by means of the discovery of the singular oedipal organization that results, will herald the hypothesis of a "dead father complex" in these alcoholic's men. Finally, the alcoholic symptom will be the site of a psychopathological debate between hysterical neurosis, perversion and borderline. This is the hypothesis of male hysteria that will be defended, neurosis addressed in seeing the seriousness it can cover. This is particularly the considerations about the feminine, in its opposition to the phallic and not to masculine - and for that reason, present in both sexes, that will support this proposal, to authorize a re-reading of the issue of loss, very active in addictive problems, in a paradigm shift, narcissism being upstaged.
154

Rétro-ingénierie de Spécifications Système : application aux systèmes ferroviaires de Siemens / Reverse Engineering of System Specifications : application to the railway systems of Siemens

Issad, Melissa 26 April 2017 (has links)
De nos jours, le degré de complexité des systèmes de transport notamment ferroviaires est important et grandissant. En effet, les nouvelles technologies et besoins des grandes métropoles contraignent les concepteurs de ces systèmes à toujours intégrer de plus en plus de fonctionnalités. Cette complexité rend obsolète les méthodes de conception traditionnelles qui reposent sur l'expertise d'ingénieurs. La conception du système est définie sur plusieurs documents de spécification, de centaines de pages chacun. Ces derniers comprennent généralement la description des différentes exigences, fonctionnalités et sous-systèmes, ils sont rédigés en langage naturel. Ceci est source d'erreurs et ambigüités lors des différentes phases de conception et de validation sécuritaire. De ce fait, l'ingénierie système basée sur les modèles propose des solutions outillées afin de structurer et spécifier de manière systématique le fonctionnement du système. Dans cette thèse, nous proposons une approche de rétro-ingénierie de ces spécifications système. Cette approche nous permet de définir une méthodologie orientée-scénarios pour la formalisation et analyse de spécifications système. Elle est basée sur le langage de modélisation semi-formel ScOLa (Scénarios Oriented Language) et un modèle d'exécution formel basé sur le langage AltaRica 3.0. Nous proposons, á partir de ScOLa, des techniques contribuant aux analyses de sûreté fonctionnelles du système. Ces techniques permettent de clarifier, structurer et analyser / As of today, the complexity of transportation systems and especially railways is continuously growing. Indeed, new technologies and needs of major metropolitan areas constrain system designers to integrate more and more functionalities. Traditional methods for the design of systems are mainly based on the knowledge of experts. Systems are specified in several documents, of hundreds of pages each. These documents provide a general description of the requirements, functionalities and sub-systems, and are written in a natural language. This is error-prone and source of ambiguities. Model-based systems engineering proposes systematic solutions to structure and specify systems architectures. In this thesis, we propose a reverse engineering approach that is able to capture systems concepts. This leads us to propose ScOLa, a scenario-oriented modeling language for systems specifications with the following features:- A scenario-oriented approach to provide a more contextual view of the system, at several abstraction levels.- A co-construction of the architecture and behavior of the system in the same model.- The use of ScOLa for a seamless integration of system specification and safety analysis. We propose ascenario-oriented methodology for safety analysis, implemented using AltaRica 3.0.
155

Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués / Safe and secure model-driven design for embedded systems

Li, Letitia 03 September 2018 (has links)
La présence de systèmes et d'objets embarqués communicants dans notre vie quotidienne nous a apporté une myriade d'avantages, allant de l'ajout de commodité et de divertissement à l'amélioration de la sûreté de nos déplacements et des soins de santé. Cependant, les défauts et les vulnérabilités de ces systèmes exposent leurs utilisateurs à des risques de dommages matériels, de pertes financières, et même des dommages corporels. Par exemple, certains véhicules commercialisés, qu'ils soient connectés ou conventionnels, ont déjà souffert d'une variété de défauts de conception entraînant des blessures et la mort. Dans le même temps, alors que les véhicules sont de plus en plus connectés (et dans un avenir proche, autonomes), les chercheurs ont démontré la possibilité de piratage de leurs capteurs ou de leurs systèmes de contrôle interne, y compris l'injection directe de messages sur le bus CAN.Pour assurer la sûreté des utilisateurs et des passants, il faut considérer plusieurs facteurs. La sûreté conventionnelle suggère qu'un système ne devrait pas contenir de défauts logiciels et matériels qui peuvent l'empêcher de fonctionner correctement. La "sûreté de la fonction attendue" consiste à éviter les situations que le système ou ses composants ne peuvent pas gérer, comme des conditions environnementales extrêmes. Le timing peut être critique pour certains systèmes en temps réel, car afin d'éviter des situations dangereuses, le système devra réagir à certains événements, comme l'évitement d'obstacles, dans un délai déterminé. Enfin, la sûreté d'un système dépend de sa sécurité. Un attaquant qui peut envoyer des commandes fausses ou modifier le logiciel du système peut changer son comportement et le mettre dans diverses situations dangereuses. Diverses contre-mesures de sécurité et de sûreté pour les systèmes embarqués, en particulier les véhicules connectés, ont été proposées. Pour mettre en oeuvre correctement ces contre-mesures, il faut analyser et vérifier que le système répond à toutes les exigences de sûreté, de sécurité et de performance, et les faire la plus tôt possible dans les premières phases de conception afin de réduire le temps de mise sur le marché, et éviter les reprises. Cette thèse s'intéresse à la sécurité et la sûreté des les systèmes embarqués, dans le contexte du véhicule autonome de l'Institut Vedecom. Parmi les approches proposées pour assurer la sûreté et la sécurité des les systèmes embarqués, l'ingénierie dirigée par modèle est l'une de ces approches qui couvre l'ensemble du processus de conception, depuis la définition des exigences, la conception du matériel et des logiciels, la simulation/vérification formelle et la génération du code final. Cette thèse propose une méthodologie de modélisation pour une conception sûre et sécurisée, basée sur la méthodologie SysML-Sec, qui implique de nouvelles méthodes de modélisation et de vérification. La modélisation de la sécurité est généralement effectuée dans les dernières phases de la conception. Cependant, la sécurité a un impact sur l'architecture/allocation; les décisions de partitionnement logiciel/matériel devraient être prises en fonction de la capacité de l'architecture à satisfaire aux exigences de sécurité. Cette thèse propose comment modéliser les mécanismes de sécurité et l'impact d'un attaquant dans la phase de partitionnement logiciel/matériel. Comme les protocoles de sécurité ont un impact négatif sur le performance d'un système, c'est important de mesurer l'utilisation des composants matériels et les temps de réponse du système. Des composants surchargés peuvent entraîner des performances imprévisibles et des retards indésirables. Cette thèse traite aussi des mesures de latence des événements critiques pour la sécurité, en se concentrant sur un exemple critique pour les véhicules autonomes : le freinage/réponse après la détection d'obstacles. Ainsi, nos contributions soutiennent la conception sûre et sécurisée des systèmes embarqués. / The presence of communicating embedded systems/IoTs in our daily lives have brought a myriad of benefits, from adding conveniences and entertainment, to improving the safety of our commutes and health care. However, the flaws and vulnerabilities in these devices expose their users to risks of property damage, monetary losses, and personal injury. For example, consumer vehicles, both connected and conventional, have succumbed to a variety of design flaws resulting in injuries and death. At the same time, as vehicles are increasingly connected (and in the near future, autonomous), researchers have demonstrated possible hacks on their sensors or internal control systems, including direct injection of messages on the CAN bus.Ensuring the safety of users or bystanders involves considering multiple factors. Conventional safety suggests that a system should not contain software and hardware flaws which can prevent it from correct function. `Safety of the Intended Function' involves avoiding the situations which the system or its components cannot handle, such as adverse extreme environmental conditions. Timing can be critical for certain real-time systems, as the system will need to respond to certain events, such as obstacle avoidance, within a set period to avoid dangerous situations. Finally, the safety of a system depends on its security. An attacker who can send custom commands or modify the software of the system may change its behavior and send it into various unsafe situations. Various safety and security countermeasures for embedded systems, especially connected vehicles, have been proposed. To place these countermeasures correctly requires methods of analyzing and verifying that the system meets all safety, security, and performance requirements, preferably at the early design phases to minimize costly re-work after production. This thesis discusses the safety and security considerations for embedded systems, in the context of Institut Vedecom's autonomous vehicle. Among the proposed approaches to ensure safety and security in embedded systems, Model-Driven Engineering is one such approach that covers the full design process, from elicitation of requirements, design of hardware and software, simulation/formal verification, and final code generation. This thesis proposes a modeling-based methodology for safe and secure design, based on the SysML-Sec Methodology, which involve new modeling and verification methods. Security modeling is generally performed in the last phases of design. However, security impacts the early architecture/mapping and HW/SW partitioning decisions should be made based on the ability of the architecture to satisfy security requirements. This thesis proposes how to model the security mechanisms and the impact of an attacker as relevant to the HW/SW Partitioning phase. As security protocols negatively impact performance, it becomes important to measure both the usage of hardware components and response times of the system. Overcharged components can result in unpredictable performance and undesired delays. This thesis also discusses latency measurements of safety-critical events, focusing on one critical to autonomous vehicles: braking as after obstacle detection. Together, these additions support the safe and secure design of embedded systems.
156

Assemblage des communautés d'herbacées: une approche fonctionnelle / A functional approach to herbaceous community assembly

Loranger, Jessy January 2016 (has links)
Résumé: Deux facteurs principaux, une fois combinés, permettent de comprendre l’assemblage des communautés, soient i) l’environnement (abiotique et biotique), qui agit comme un filtre sélectionnant les espèces les mieux adaptées aux conditions données, et ii) les traits fonctionnels, sur lesquels s’effectue ce filtrage environnemental puisqu’ils représentent les adaptations des espèces aux conditions données. Il est donc essentiel d’établir des relations fiables entre les conditions environnementales et la structure fonctionnelle des communautés afin de pouvoir identifier et comprendre les mécanismes régissant l’assemblage des communautés. Cependant, plusieurs facteurs tels que les interactions entre variables environnementales à différentes échelles spatiales (par exemple le climat et la fertilité des sols) peuvent complexifier la situation et c’est pourquoi, malgré une quantité grandissante d’études sur le sujet, les processus d’assemblage des communautés restent difficiles à définir et à généraliser. Cette thèse vise donc à i) mieux définir et quantifier les relations trait-environnement des systèmes d’herbacées au travers de différentes échelles spatiales et ii) déterminer l’influence de ces relations sur l’assemblage des communautés et le fonctionnement des écosystèmes. Pour réaliser ces objectifs, j’ai travaillé avec les données de programmes ayant collecté des données taxonomiques et fonctionnelles sur les communautés d’herbacées à travers la France (DivHerbe et DivGrass) et, à moindre mesure, l’Europe (VISTA). Ces bases de données couvrent donc de larges gradients climatiques régionaux ainsi que des gradients environnementaux plus locaux relatifs à la qualité des sols et aux perturbations. J’ai d’abord testé l’importance de considérer à la fois des variables environnementales locales et régionales ainsi que leurs interactions pour déterminer la structure fonctionnelle et taxonomique des communautés. J’ai ensuite étudié comment l’importance relative des processus menant soit à la convergence ou à la divergence fonctionnelle peut changer le long d’une succession, puis comment ces deux types de processus influencent notre capacité à prédire l’assemblage des communautés à partir des traits fonctionnels. Finalement, j’ai présenté comment les résultats au niveau des communautés peuvent être utiles pour étudier le niveau des écosystèmes. Les résultats de cette thèse démontrent que les variables climatiques régionales interagissent fortement avec les variables environnementales locales pour influencer les processus locaux déterminant l’assemblage des communautés. Évaluer le contexte régional semble donc nécessaire afin d’éviter des interprétations erronées des patrons d’assemblage observés. Travaillant avec ces deux niveaux de variation environnementale, une dissociation important entre la variation taxonomique et fonctionnelle des communautés a été mise à jour, reflétant l’importance de considérer plusieurs facettes de biodiversité pour comprendre la dynamique des communautés. Les résultats ont aussi démontré que les processus d’assemblage menant à la convergence et à la divergence ont un impact très différent et prédictible sur les relations liant les traits et les abondances des espèces, c’est-à-dire notre capacité à prédire l’assemblage des communautés à partir des traits. Finalement, toutes ces notions, relatives aux relations trait-environnement et à l’assemblage des communautés basé sur les traits, ont été utilisées dans un contexte de biogéographie fonctionnelle. Il a été démontré qu’il était possible de construire des cartes de valeurs de traits fonctionnels dans les prairies permanentes à l’échelle de la France, à partir de variables environnementales. Certaines propriétés écosystémiques ont ensuite pu être prédites à partir de ces cartes. Ces travaux ont donc permis d’illustrer les défis à surmonter pour utiliser nos connaissances de l’écologie fonctionnelle en vue d’une conservation et d’une exploitation viables de nos écosystèmes. / Abstract: There are two main factors which, combined together, allow understanding community assembly : i) the environment (both abiotic and biotic), which acts as a filter selecting species according to how well-adapted they are to given conditions, and ii) functional traits, on which this environmental filtering occurs since they represent species adaptations to particular conditions. It is thus essential to establish reliable relationships between environmental conditions and the functional structure of communities in order to identify and understand the mechanisms driving community assembly. However, several factors such as cross-scale interactions between environmental variables (e.g. between climate and soil fertility) complicate the situation. This is why, despite a growing body of studies on the subject, processes of community assembly are still poorly understood and are difficult to generalize. The purpose of this thesis is to i) better define and quantify the trait-environment relationships in herbaceous systems across different spatial scales and ii) determine the influence of those relationships on community assembly and on ecosystem functioning. To realize these objectives, I worked with data from programs which assembled taxonomic and functional data on herbaceous communities across France (DivHerbe and DivGrass) and, to a lesser extent, Europe (VISTA). These databases thus cover large regional climatic gradients, as well as more local environmental gradients related to soil quality and disturbances. I first tested the importance of simultaneously considering local and regional environmental variables as well as their interactions to determine the taxonomic and functional structure of communities. Then, I studied how the relative importance of processes leading to either functional convergence or divergence can change along a successional gradient, and how these two types of processes influence our ability to predict community assembly from functional traits. Finally, I presented how the results at the community-level can be used to study the ecosystem-level. The results of this thesis demonstrate that regional climatic variables strongly interact with local environmental variables in driving the local processes responsible for community assembly. Assessing the regional context is thus necessary in order to avoid erroneous interpretations of observed assembly patterns. Working with those two levels of environmental variation, important discrepancies were found between taxonomic and functional variations across communities, reflecting the importance of considering several aspects of biodiversity in order to understand community dynamics. The results also demonstrated that the assembly processes leading to functional convergence and divergence have a very different and predictable impact on the relationships between traits and species relative abundances, i.e. on our ability to predict community assembly from traits. Finally, these notions related to trait-environment relationships and to trait-based community assembly were used in a functional biogeography framework: It was possible to build maps of functional traits values in permanent grasslands across France using environmental variables. These maps then allowed predicting particular ecosystem properties. Thus, this work allowed illustrating some challenges that we are facing in using our knowledge in functional ecology to build sustainable conservation and exploitation plans for our ecosystems.
157

Contribution à la robustesse des systèmes temps réel embarqués multicœur automobile

Cotard, Sylvain 12 December 2013 (has links) (PDF)
Les besoins en ressources CPU dans l'automobile sont en constante augmentation. Le standard de développement logiciel AUTOSAR (AUTomotive Open System ARchitecture) - développé au sein d'un consortium regroupant des fabricants de véhicules et des sous-traitants - offre désormais la possibilité de s'orienter vers de nouvelles architectures : les microcontrôleurs multicœur. Leur introduction au sein des systèmes embarqués critiques apporte un lot de problèmes allant à l'encontre des objectifs de sûreté de fonctionnement ISO 26262. Par exemple, le parallélisme des cœurs impose de maîtriser l'ordonnancement pour respecter les contraintes de dépendance entre les tâches, et le partage des données intercœur doit être effectué en assurant leur cohérence. Notre approche s'articule en deux volets. Pour vérifier les contraintes de dépendance entre les tâches, les exigences sur les flots de données sont utilisées pour synthétiser des moniteurs à l'aide de l'outil Enforcer. Un service de vérification en ligne utilise ces moniteurs (injectés dans le noyau du système d'exploitation) pour vérifier le comportement du système. Enfin, pour maîtriser le partage des données intercœur, nous proposons une alternative aux protocoles bloquants. Le protocole wait-free STM-HRT (Software Transactional Memory for Hard Real-Time systems), est conçu sur les principes des mémoires transactionnelles afin d'améliorer la robustesse des systèmes.
158

Intégration de la sûreté de fonctionnement dans les processus d'ingénierie système

Guillerm, Romaric 15 June 2011 (has links) (PDF)
L'intégration de diverses technologies, notamment celles de l'informatique et l'électronique, fait que les systèmes conçus de nos jours sont de plus en plus complexes. Ils ont des comportements plus élaborés et plus difficiles à prévoir, ont un nombre de constituants en interaction plus important et/ou réalisent des fonctions de plus haut niveau. Parallèlement à cette complexification des systèmes, la compétitivité du marché mondial impose aux développeurs de systèmes des contraintes de coût et de délais de plus en plus strictes. La même course s'opère concernant la qualité des systèmes, notamment lorsque ceux-ci mettent en jeu un risque en vies humaines ou un risque financier important. Ainsi, les développeurs sont contraints d'adopter une approche de conception rigoureuse pour répondre aux exigences du système souhaité et satisfaire les diverses contraintes (coût, délais, qualité, sûreté de fonctionnement,...). Plusieurs démarches méthodologiques visant à guider la conception de système sont définies par l'intermédiaire de normes d'Ingénierie Système. Notre travail s'appuie sur la norme EIA-632, qui est largement employée, en particulier dans les domaines aéronautique et militaire. Il consiste à améliorer les processus d'ingénierie système décrits par l'EIA-632, afin d'intégrer une prise en compte globale et explicite de la sûreté de fonctionnement. En effet, jusqu'à présent la sûreté de fonctionnement était obtenue par la réutilisation de modèles génériques après avoir étudié et développé chaque fonction indépendamment. Il n'y avait donc pas de prise en compte spécifique des risques liés à l'intégration de plusieurs technologies. Pour cette raison, nous proposons de nous intéresser aux exigences de Sûreté de Fonctionnement au niveau global et le plus tôt possible dans la phase de développement, pour ensuite les décliner aux niveaux inférieurs, ceci en s'appuyant sur les processus de la norme EIA-632 que nous étoffons. Nous proposons également une méthode original e de déclinaison d'exigences de sûreté de fonctionnement à base d'arbres de défaillances et d'AMDEC, ainsi qu'un modèle d'information basé sur SysML pour appuyer notre approche. Un exemple issu du monde aéronautique permet d'illustrer nos propositions.
159

La protection dans les systèmes à objets répartis

Nicomette, Vincent 17 December 1996 (has links) (PDF)
La protection des systèmes répartis est un problème complexe : en quelles entités du système peut-on avoir confiance et étant donné cette confiance, comment assurer la protection du système global. L'approche adoptée dans cette thèse consiste à combiner d'une part une gestion globale et centralisée des droits d'accès aux objets persistants du système par un serveur d'autorisation et d'autre part une protection locale par un noyau de sécurité sur chaque site du système réparti. Ce noyau contrôle les accès à tous les objets locaux (persistants ou temporaires) et a de plus la responsabilité de la gestion des droits d'accès aux objets temporaires locaux. Un schéma d'autorisation est développé pour une telle architecture. Ce schéma est élaboré dans le cadre de systèmes composés d'objets répartis (au sens de la programmation orientée-objets). Il permet de respecter au mieux le principe du moindre privilège, définit de nouveaux droits facilement administrables (appelés droits symboliques), et un nouveau schéma de délégation de droits. Ce modèle est utilisé dans le cadre d'une politique de sécurité discrétionnaire et dans le cadre d'une politique de sécurité multiniveau. Pour cela, un modèle de sécurité multiniveau adapté au modèle objet est développé et présenté dans cette thèse. Un exemple d'implémentation de ce schéma d'autorisation est enfin détaillé.
160

Le conseil de sécurité et les juridictions pénales internationales

Ndiaye, Sidy alpha 10 November 2011 (has links) (PDF)
L'objet de notre réflexion est de voir que l'articulation entre le Conseil de sécurité et les juridictions pénales internationales s'appréhende essentiellement sous deux angles complètement nouveaux en droit international : la participation directe ou indirecte à la création d'organes juridictionnels et l'intrusion dans les procédures de fonctionnement de ceux-ci. Juridiquement, le Conseil de sécurité exerce pleinement ce double rôle sous le prisme de l'article 24 de la Charte des Nations Unies qui lui attribue la responsabilité principale en matière de maintien de la paix et de la sécurité internationales. En effet, qu'il s'agisse de la création des T.P.I., de son rôle peu ou prou variable dans l'établissement des juridictions mixtes, du pouvoir de saisine et de suspension de la C.P.I. que lui confère le Statut de Rome, de l'obligation de coopération des Etats dont il est l'ultime gardien ou de son pouvoir discrétionnaire dans la qualification du crime d'agression, le Conseil de sécurité est devenu, grâce à l'inépuisable fondement du Chapitre VII, le véritable catalyseur de la justice pénale internationale. Cependant, le revers de la médaille de cette importance du Conseil n'est pas anodin ou sans intérêt. Son irruption, très contestée au départ, dans le domaine de la justice pénale internationale donne lieu à une confrontation ancienne en droit international : celle de la politique et du juridique. Les termes de ce conflit transparaissent assez clairement de l'esprit de notre analyse. On ne peut d'ailleurs y échapper tant les préoccupations liées à la justice pénale internationale et celles relatives au maintien de la paix sont consubstantiellement imbriquées. Nous observons, non sans une certaine distance et une forme de retenue, que les termes mêmes de l'articulation alimentent toutes formes de conjectures sur l'indépendance et l'impartialité des juridictions pénales internationales.

Page generated in 0.0769 seconds