Le défi de la transition vers une énergie sans carbone passe, aujourd’hui, par un recours systématique à l’énergie électrique avec au centre des échanges l’électronique de puissance. Pour être à la hauteur des enjeux, l'électronique de puissance nécessite des composants de plusen plus performants pour permettre un haut niveau d'intégration, une haute efficacité énergétique et un haut niveau de fiabilité. Aujourd’hui, le transistor de puissance, du type MOSFET, en carbure de silicium (SiC) est une technologie de rupture permettant de répondre aux enjeux d’intégration et d’efficacité par un faible niveau de perte et une vitesse de commutation élevée. Cependant, leur fiabilité non maitrisée et leur faible robustesse aux régimes extrêmes du type court-circuit répétitifs freinent aujourd’hui leur pénétration dans les applications industrielles. Dans cette thèse, une étude poussée du comportement en court-circuit d'un ensemble exhaustif de composants commerciaux, décrivant toutes les variantes structurelles et technologiques en jeu, a été menée sur un banc de test spécifique développé durant la thèse, afin de quantifier leur tenue au courtcircuit. Cette étude a mis en lumière des propriétés à la fois génériques et singulières aux semiconducteurs en SiC déclinés en version MOSFET tel qu’un courant de fuite dynamique de grille et un mode de défaillance par un court-circuit grille-source amenant, dans certaines conditions d'usage et pour certaines structures de MOSFET, à un auto-blocage drain-source. Une recherchesystématique de la compréhension physique des phénomènes observés a été menée par une approche mêlant analyse technologique interne des composants défaillants et modélisation électrothermique fine. Une modélisation électrothermique compacte étendue à la prise en compte des modes de défaillance a été établie et implémentée dans un logiciel de type circuit. Ce modèle a été confronté à de très nombreux résultats expérimentaux sur toutes les séquences temporelles décrivant un cycle de court-circuit jusqu'à la défaillance. Ce modèle offre un support d'analyse intéressant et aussi une aide à la conception des circuits de protection. Ainsi, à titre d'application, un driver doté d'une partie de traitement numérique a été conçu et validé en mode de détection de plusieurs scénarii de court-circuit mais aussi potentiellement pour la détection de la dégradation de la grille du composant de puissance. D’autres travaux plus exploratoires ont aussi été menés en partenariat avec l’Université de Nottingham afin d’étudier l'impact de régimes de court-circuit impulsionnels répétés sur le vieillissement de puces en parallèle présentant des dispersions. La propagation d'un premier mode de défaillance issu d'un composant "faible" a aussi été étudiée. Ce travail ouvre la voie à la conception de convertisseurs intrinsèquement sûrs et disponibles en tirant parti des propriétés atypiques et originales des semi-conducteurs en SiC et du MOSFET en particulier / Nowaday, the challenge of the transition to carbon-free energy involves a systematic use of electrical energy with power electronics at the heart of the exchanges. To meet the challenges, power electronics requires increasingly high-performance devices to provide a high level of integration, high efficiency and a high level of reliability. Today, the power transistor, of the MOSFET type, made of silicon carbide (SiC) is a breakthrough technology that allows us to meet the challenges of integration and efficiency through their low level of loss and high switching speed. However, their limited reliability and low robustness at extreme operating conditions such as repetitive short-circuits are now hindering their expansion in industrial applications. In this thesis, an in-depth study of the short-circuit behaviour of an exhaustive set of commercial devices, describing all the structural and technological variants involved, was carried out on a specific test bench developed during the thesis, in order to quantify their short-circuit resistance. This study highlighted both generic and singular properties of SiC semiconductors for every Mosfet version such as a dynamic gate leakage current and a failure mode by a short-circuit grid-source leading, under certain conditions of use and for certain Mosfet structures, to a self-blocking drain-source. A systematic research of the physical understanding of the observed mechanisms was carried out by an approach combining an internal technological analysis of the failed devices and a fine electrothermal modelling. A compact electrothermal modeling extended to failure mode consideration has been established and implemented in circuit software. This model was confronted with numerous experimental results describing a short-circuit cycle up to failure. This model offers an interesting analytical support and also helps the design of protection circuits. Thus, as an application, a driver equipped with a digital processing part has been designed and validated in detection mode for several short-circuit scenarios but also potentially for the detection of the degradation of the power component grid. Other more exploratory work has also been carried out in partnership with the University of Nottingham to study the impact of repeated pulse short-circuit regimes on the aging of parallel chips with dispersions. The propagation of a first failure mode from a "weak" device was also studied. This work paves the way for the design of intrinsically safe and available converters by taking advantage of the atypical and original properties of SiC semiconductors and Mosfet in particular

No description available.

Résumé confidentiel / Résumé confidentiel

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.

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.

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.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

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.

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.

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.