Nos travaux de thèse concernent l’´étude de l’interopérabilité dans un environnement collaboratif et dynamique d’entreprise. Elle est considérée comme un facteur clé de collaboration qui doit être pris en compte tout au long du cycle de vie du produit. Ceci est particulièrement important en ce qui concerne les réseaux d'entreprise collaboratifs, tel que DMN, où un groupe distinct de partenaires est connecté dans un modèle en forme de chaîne et où la coopération est cruciale pour atteindre un objectif spécifique. Ce contexte a fait émerger la nécessité de faire inter-opérer une multitude de systèmes d’information, distribués, autonomes et hétérogènes. Sur la base d'une analyse approfondie des problèmes d'interopérabilité au sein du DMN, ces travaux ont abouti `à une approche générique conceptuelle d’interopérabilité multi-niveaux. Cette approche repose sur le standard ISA95 et l’approche d’ingénierie dirigée par les modèles (IDM), notre démarche vise à contribuer à l'amélioration de l'interopérabilité des systèmes d’entreprises au cours de la phase de fabrication du produit dans un DMN collaboratif. En s’intéressant aux trois niveaux d’interopérabilité, cette approche permet de s’assurer que les informations sont physiquement échangées (l'interopérabilité technique), sont comprises (l'interopérabilité sémantique) et sont bien utilisées pour atteindre le but pour lequel elles ont été produites (l'interopérabilité organisationnelle). La qualité et l'efficacité de l'approche proposée ont été confirmées par une application sur un cas concret de collaboration entre ERP et MES dans une usine de fabrication de stylos DEKENZ. / Our thesis work deals with the study of interoperability in a collaborative and dynamic enterprise environment. Interoperability is considered as a key factor for collaboration that must be considered throughout the life cycle of the product. This is particularly important for collaborative enterprise networks, such as DMN, where a group of partners is connected in a chain model and where cooperation is crucial to achieve a specific goal.This context has led to the need for inter-operate a multitude of distributed, autonomous and heterogeneous information systems.Basis on a thorough analysis of the interoperability problems within the DMN, this work proposed a generic conceptual multi-level approach of interoperability. This approach relies on the use of ISA95 standard and Model Driven Engineering (MDE) method. It aims to contribute to the improvement of the interoperability of information systems during the manufacturing phase of the product in a collaborative DMN. By focusing on the three levels of interoperability, this approach ensures that information is physically exchanged (technical interoperability), is understood (semantic interoperability), and is well used to achieve the purpose for which it have been produced (organizational interoperability). The quality and effectiveness of the proposed approach were confirmed by an application on a concrete case of collaboration between ERP and MES in a DEKENZ pen manufacturing plant.

Une tumeur est une structure tridimensionnelle hautement organisée, constituée d’une population hétérogène de cellules en étroites interactions avec leur microenvironnement. Cette organisation et ces interactions sont déterminantes dans le processus de tumorigenèse. Des données récentes montrent que les modifications des propriétés mécaniques du microenvironnement sont des paramètres essentiels du développement tumoral qu’il est important de caractériser et de considérer dans une perspective d’innovations en thérapie anticancéreuse. Une tumeur est également caractérisée par des propriétés mécaniques intrinsèques qui pourraient résulter de son organisation, de sa croissance, des interactions cellule-cellule, cellule-matrice et de la prolifération cellulaire. Différentes études montrent que les propriétés mécaniques intrinsèques des tumeurs, et en particulier le stress accumulé au cours de la croissance, vont avoir un impact sur la réponse au traitement. Le sphéroïde, modèle in vitro 3D multicellulaire, mime l’architecture tridimensionnelle et l’hétérogénéité cellulaire existant dans un micro-domaine tumoral in vivo. Ses propriétés et son caractère prédictif de la réponse pharmacologique, en font un modèle de choix largement utilisé pour l’évaluation pré-clinique de médicaments. L’objectif de nos travaux a été de caractériser les propriétés mécaniques intrinsèques d’un modèle de sphéroïde et d’en étudier l’impact sur l’organisation cellulaire. La démarche pluridisciplinaire mise en œuvre a été élaborée et conduite en considérant le sphéroïde comme un matériau. Nous avons ainsi montré que, comme les tumeurs, les sphéroïdes accumulent un stress mécanique au cours de leur croissance que la modélisation nous a permis d’associer à une force tangentielle périphérique. Selon les conditions de production des sphéroïdes utilisées, le stress mécanique accumulé se traduit par des différences d’organisation cellulaire et de rigidité de surface mise en évidence en AFM. Nous avons également montré par microscopie 3D, que l’accumulation du stress mécanique est associée à un alignement des noyaux parallèlement à la surface des sphéroïdes qui dépend du cytosquelette d’actine et des interactions intercellulaires. Enfin, nous avons développé, par microfabrication, un dispositif, adapté à des échantillons submillimétriques comme les sphéroïdes, pour caractériser leur module élastique. L’ensemble de ces travaux apporte des éléments de compréhension des conséquences des contraintes mécaniques intrinsèques sur l’organisation d’une micro-tumeur. Ces paramètres pourraient avoir un impact sur la diffusion et l’efficacité d’agents thérapeutiques et nécessitent donc d’être explorées dans une perspective d’optimisation de l’évaluation pharmacologique. / A tumor is a highly organized three-dimensional structure constituted by a heterogeneous population of cells in close interaction with their microenvironment. This organization and these interactions are central in the process of tumorigenesis. Recent evidence shows that changes in the mechanical properties of the microenvironment are essential parameters of tumor development that must be considered in a therapeutic innovation perspective. A tumor is also characterized by intrinsic mechanical properties that could result from its organization, growth, cell-cell, cell-matrix interactions and cell proliferation. Different studies show that the intrinsic mechanical properties of tumors, and specifically the growth-accumulated stress, might impair the therapeutic response. The spheroid, a multicellular 3D in vitro model, mimics the three-dimensional architecture and cell heterogeneity found in vivo in a tumor micro-domain. Its properties and the predictivity of its response to anti-tumor drugs, make it a validated and widely used model for pre-clinical evaluation.The objective of our work was to characterize the intrinsic mechanical properties of a spheroid model and to study their impact on the cellular organization. The multidisciplinary approach implemented considers the spheroid as a material. We have shown that, like tumors, spheroids accumulate mechanical stress during their growth. Mathematical modeling has allowed associating this stress with a peripheral tangential force. Depending on the production conditions the accumulated mechanical stress results in a difference in cell organization and surface stiffness, evidenced using AFM. We have also demonstrated, using 3D microscopy that the accumulation of mechanical stress is associated with nuclei alignment parallel to spheroid surface that depends on actin cytoskeleton and cell-cell interactions. Finally, we have developed, using microfabrication technologies, a device, adapted to submillimetric samples such as spheroids, to characterize their elastic modulus. This work contributes to our understanding of the consequences of intrinsic mechanical stresses on the organization of a micro-tumor. These parameters could have an impact on the diffusion and efficacy of therapeutic agents and therefore need to be further investigated in a pharmacological evaluation optimization perspective.

La conductivité électronique de l'éméraldine sel dépend des conditions de sa synthèse (solvant et dopant utilisés) et de son traitement après synthèse. L'objectif principal de cette thèse est de démontrer et d'interpréter les corrélations entre l'environnement et les propriétés de la forme conductrice de la polyaniline. Dans la partie théorique, nous avons examiné l'influence des différents dopants et solvants sur la structure et les propriétés de la polyaniline. Pour atteindre cet objectif, un large dispositif de méthodes de chimie quantique a été testé et une méthode appropriée a été choisie. Dans la partie expérimentale nous avons utilisé une nouvelle approche pour accéder aux propriétés intrinsèques de la polyaniline i.e. sans utiliser ni solvants ni dopants autres que ceux utilisés lors de la synthèse. Les calculs montrent que la description théorique de la polyaniline dépend fortement du choix de la méthode. La modélisation de l'effet de la polarité du solvant grâce à l'utilisation de la méthode PMC semble être cruciale pour une description fiable de l'interaction polyaniline-dopant. Les résultats obtenus démontrent pour la première fois que les interactions, de la polyaniline avec les dopants dépendent de la nature chimique du solvant et pas du dopant lui-même. De plus, nous avons montré que la stabilité de la forme polaronique (conductrice) augmente avec l'augmentation de la polarité du solvant. Ces conclusions correspondent parfaitement à nos résultats expérimentaux qui montrent le rôle crucial du solvant (et pas des dopants) sur les propriétés de la polyaniline. / The electric conductivity of the emeraldine salt depends on the conditions of its synthesis (solvents and dopants) and post-synthetic treatment. The main objective of the present thesis is to demonstrate and interpret the correlations between the environment and the properties of the conductive form of polyaniline. In order to achieve this goal a new theoretical approach is developed with reference to the experimental data. In the theoretical section, we examine the influence of different dopants and solvents on the structure and properties of polyaniline. To achieve this, a variety of quantum chemistry methods is tested and a proper method is chosen. In the experimental part we use a new method for tuning of the intrinsic polyaniline properties without using solvents or dopants other than those employed in the synthesis. The calculations show that the theoretical description of polyaniline depends strongly on the choice of the method. Modeling the effect of solvent polarity (in this case by the PCM method) seems to be crucial for the reliable description of the interaction polianiline-dopant. The obtained results demonstrate for the first time that interaction of polyaniline with dopants depends on the chemical nature of the solvent and not on the dopant itself. In addition, the stability of the polaronic form (conducting) grows with the increase of solvent polarity. These findings correspond well to our experimental results that show the crucial role of the solvent (and not of the dopants) for the properties of polyaniline.

Les matériaux supraconducteurs présentent des propriétés physiques et géométriques particulières qui exigent des approches de modélisation spatio-temporelle fines, où les méthodes classiques trouvent rapidement leurs limites en termes de convergence, de précision et de temps de calcul. Ce dernier peut être très conséquent, ce qui est incompatible avec les problèmes de dimensionnement et d’optimisation. Dans ce contexte, ce travail a pour objectif de développer des approches de modélisation multiphysique rapides pour le dimensionnement et l’optimisation des systèmes à base de supraconducteurs. Un intérêt particulier est porté pour les méthodes intégrales. Les verrous scientifiques à lever, qui constituent également l’originalité du travail, résident dans l’intégration des lois de comportement E(J) des supraconducteurs dans les schémas numériques de ce type de méthodes. Dans ce travail on développe un modèle numérique afin d’étudier la distribution de la densité de courant et d’estimer les pertes AC dans les supraconducteurs à haute température (HTS). Le modèle développé est basé sur une formulation intégro-différentielle en termes de potentiel vecteur électrique dans les deux domaines fréquentiel et temporel. Une campagne de test est menée afin de valider et de bien cerner les possibilités offertes et les limites de cette approche pour la modélisation des supraconducteurs. / Superconducting materials have particular physical and geometric properties that require spatial-temporal modeling approaches fines, where conventional methods quickly reach their limits in terms of convergence, precision and computational time. The latter can be very consistent, which is incompatible with the design and optimization problems. In this context, this work aims to develop rapid multiphysics modeling approaches for the design and optimization of superconductor-based systems. Particular attention is paid to the integral methods. Scientific obstacles to overcome, which also constitute the originality of the work lies in the integration of behavior laws E (J) of superconducting digital patterns of such methods. A numerical model is developed for a rapid computation of eddy currents in multifilamentary high temperature superconductive (HTS) for the evaluation of AC losses. The developed model is based on an integro-differential formulation in terms of the electric vector potential in the frequency and temporal domains. A test campaign is conducted to validate and clearly identify the possibilities and limitations of this approach for modeling superconductors.

Ces travaux se placent dans le cadre de l'étude des propriétés mécaniques des architectures à renforcement tridimensionnel dans les structures composites. Nous proposons une approche permettant de caractériser les propriétés mécaniques de structures composites Interlock et en particulier de résoudre les problèmes liés à la création de ces géométries complexes et leur discrétisation.Une des difficultés des approches méso-macro réside dans la manière de reproduire de façon fidèle la géométrie de ces architectures aux formes très complexes et d'obtenir en particulier un Volume Elémentaire Représentatif (VER) duquel on peut déduire par calcul éléments finis les propriétés mécaniques par homogénéisation. Cette pluralité des formes engendre des difficultés de mise en œuvre essentiellement géométriques et des difficultés de maillage bien connues : interpénétration et contact des mèches, maillage de fines couches de résines aux interfaces, détermination en tout point de l'orientation des fibres. Nous proposons une approche qui consiste à créer un modèle géométrique des mèches limitant ou contrôlant les intersections et les contacts, à définir un VER périodique et à mailler ce VER en tétraèdres avec des maillages conformes aux interfaces. Une fois le modèle maillé obtenu et les conditions de périodicités définies, les propriétés mécaniques effectives sont obtenues par homogénéisation. Les calculs par éléments finis sont réalisés avec le logiciel ABAQUS. Les tissages complexes ont été traités automatiquement avec cette technique. Les résultats sont confrontés à ceux d’autres modélisations, issus de la littérature et de l’expérience. / The work proposed here is devoted to the prediction and the characterization of the mechanical behavior of interlock woven composite structures. We propose an approach to characterize the mechanical properties of interlock woven composite structures and particularly to solve the problems associated with the creation of these complex geometries and their discretization into a conform mesh. One of the difficulties of this meso-macro approach is to reproduce faithfully the geometry of these architectures with complex shapes and to obtain a Representative Volume Element (RVE). Once this complex step is achieved, the mechanical properties of the composite can be thereafter obtained by homogenization from a finite element analysis. The difficulties to generate a RVE of such structures are well known: interpenetration and contacts between yarns, meshing of thin resin layers at interfaces, determination of the orientation of the fibers at all points of the structure. We propose an approach which consists of creating a geometric model of the yarns limiting or controlling the intersections and the contacts, defining a periodic RVE, meshing this RVE by tetrahedral with compatible meshes at the interfaces. Once the model is meshed and the symmetry conditions are defined, the properties are obtained by homogenization. The finite element calculations are performed on the ABAQUS software. Complex weaves can be automatically processed with this technique. The results are compared whit other modeling from the literature and with experimental data.

Une grande partie de la structure des avions modernes est fabriquée à partir des dernières générations de matériaux composites. Le principal défi des constructeurs d’avions réside dans la taille importante des pièces en composites. D’où la nécessité de développer de nouvelles technologies de fabrication telle que la dépose automatique de préimprégné. La qualité des pièces fabriquées dépend de nombreux facteurs dont notamment la maîtrise de la rhéologie de la résine du préimprégné. Cette dernière évolue fortement avec les conditions environnementales et les conditions de fabrication. Elle détermine pour partie, les instabilités de la matière particulièrement le long des trajectoires curvilignes. Ces instabilités, qui se présentent sous forme de cloques, engendrent après cuisson des pièces avec des défauts de repliement des couches dans les stratifiés. L’objectif principal de cette thèse de doctorat est l’étude du comportement mécanique d’un ruban de préimprégné prenant en compte la rhéologie de la matière ainsi que sa pégosité dans le but de mieux comprendre les conditions d’apparition des cloques en trajectoire curviligne. Une partie de mes travaux est consacrée à la caractérisation des propriétés physico-chimiques et mécaniques de la matière. Une seconde partie, complémentaire à la première, est dédiée au développement d’un modèle de comportement mécanique d’une plaque sur fondation élastique représentant le ruban de préimprégné et soumise à une rotation imposée. La méthode de Ritz a été utilisée pour l'obtention de solutions explicites des charges critiques de flambement. Il a été montré que les plus faibles rayons de courbure sans formation de cloques en trajectoire curviligne dans le plan sont obtenus avec un faible écrasement du rouleau et un niveau de collant élevé. / The evolution of composite materials in aerospace has been spectacular over the last thirty years. The main advantage provided by composites is weight gain compared to other materials. However, new aluminum lithium alloys may slow this trend because of their specific properties and exceptional manufacturing costs lower than those of composites. Much parts of the structure of the A380 are made from the latest generation of composite materials with organic matrix. The Airbus A380 is the first plane of the manufacturer composed by a center wing box made by composite reinforced with carbon fibers and organic matrix. And like the devices that preceded it, the center wing box, rudder, horizontal stabilizer and the elevators were designed with composites reinforced with carbon fibers and organic matrix. But the main challenge with the new aircraft is the size of parts ; the size of the horizontal stabilizer of the A380 for example, is similar to the wing of the A310. Hence the need to develop the intensive use of automatic prepreg lay up technology. The use of semi-finished prepregs for the manufacture of parts allows standardizing production. Indeed, these products exhibit with the desired rate of reinforcement on the final parts, all the delicate operations of pumping excess resin during the implementation of parts, as the case in the RTM process (Resin Transfer Molding) are eliminated. The quality of parts produced using automatic lay up depends on many factors including the accuracy of trajectory lay up, the control of rheology of the resin contained in the prepreg and behavior at the interface of the material and tooling. The rheology of the resin is changing considerably with environmental conditions (temperature, humidity) and processing conditions (speed of removal, compaction strength). It determines in part and in combination with the tackiness of the prepreg, the instabilities of the material particularly along curved trajectories. In curvilinear lay up, the rotation of the tow placement head imposes to this portion of slit tape, a curvature generating a circular bending phenomenon.The outer portion of the tape is then stretched while the inside is compressed. When the radius of curvature of the tow placement head is low, the result is a phenomenon of local buckling of the slit tape. The corresponding layer waviness (See figure 1) is visible after the passage of the roller so instantly or delayed, depending on the conditions of lay up (speed lay up,compaction strength, temperature, humidity) and the tackiness of the material. Thus, the formation of the layer waviness is a local phenomenon that appears in the material between the tow placement head and tools. It is this area of the material defined by the form of plate, and the extent of which depends on the compaction strength and flexibility of the roller which will be the model proposed in this communication. It is supposed that this plate is based on elastic foundation in order to reflect the tack of the material. The formation mechanism of ply waviness is very few studied and remains unclear since these defects appear at different steps in the manufacturing process. Some studies recommend, without justification, to not exceed some radius of curvature to avoid buckling [1]. Interactions between tooling and material in relation with lay up conditions were studied [2]. In this paper we study the mechanical behavior of a slit tape taking into account the rheology of the material so that his tack in order to better understand the conditions of appearance of layer waviness during circular trajectories. At first, we will present some results from the identification of physico-chemical and mechanical properties of prepreg carbon / epoxy and then we will explain the evolutions observed. A second part, complements the first,will be dedicated to the development of a model of mechanical behavior of a plate based onelastic foundation, representing the slit tape which is subjected to a rotation imposed. The mechanical model of the slit tape will be based on the theory of plate under the hypotheses of Kirchhoff-Love and Von-Karman. Determining the critical buckling load is carried by the Ritz method. The simulation results using different boundary conditions will be analyzed and compared to real cases.

Cette étude traite d’une machine doublement saillante à aimants permanents, utilisée en entraînement direct pour application hydrolienne. Dans un premier temps, différentes approches technologiques utilisées pour l’exploitation hydrolienne sont passées en revue. Ensuite, la génératrice est modélisée par approche circuit. Cette méthode permet de tenir compte de la saturation magnétique et de la variation d’entrefer, tout en offrant un compromis intéressant entre la précision des résultats et le temps de simulation. Le modèle de la DSPM est ensuite couplé avec son convertisseur. Un modèle thermique est également mis en place. Ce modèle est ensuite utilisé pour optimiser simultanément la denture de la DSPM et les paramètres de la commande afin de maximiser le couple et de réduire ses ondulations, importantes dans les machines à saillance. Les paramètres de commande sont également optimisés sur un cycle hydrolien. Le premier critère à minimiser sur cycle concerne les ondulations de couple. Les pertes Joule sont ensuite rajoutées comme second critère. Des fronts de Pareto sont alors déduits et analysés. Finalement, des essais à vide et en charge sur un prototype 2 kW, 50 tr/min ont permis de valider le modèle théorique développé. / This study deals with a doubly salient permanent magnet machine, used in direct drive for tidal application. First, different technological approaches used for tidal power generation are reviewed. Then, the generator is modelled by circuit approach. This method allows for magnetic saturation and airgap variation to be taken into account, while offering an interesting compromise between the accuracy of the results and the simulation time. The DSPM model is then coupled with its converter. A thermal model is also implemented. This model is then used to optimize simultaneously the DSPM teeth and its control parameters in order to maximize the torque and reduce its ripples which are important in salient machines. The control parameters are also optimized on a tidal cycle. The first criterion to be minimized on cycle is the torque ripples. Joule losses are added as a second criterion and Pareto fronts are deduced and analyzed. Finally, tests at no-load and also at load operations on a prototype 2 kW, 50 rpm validate the theoretical model developed

Ce travail s’inscrit dans le projet plus global SHARE dont l’objectif principal est de concevoir une station de contrôle sol universelle mono-opérateur de nouvelle génération pour le contrôle et la commande de drones à voilure fixe et voilure tournante.L’objectif de cette thèse est de développer un simulateur générique de la station de contrôle capable de simuler en temps réels les différents types de drones, les capteurs embarqués (caméra), l’environnement et les différentes missions militaires définies par le standard STANAG 4586. Après une modélisation des différentes parties de la station, nous présentons l’architecture adoptée pour le simulateur et le module de contrôle. Ce dernier est divisé en plusieurs niveaux hiérarchiques, dont le niveau supérieur contient les algorithmes de planification de trajectoire pour les drones à voilure fixe HALE (haute altitude, longue endurance). Ces algorithmes servent à calculer un chemin admissible entre un point de départ et un point d’arrivée en minimisant une fonction de coût.Enfin nous avons développé un système d’aide à la décision pour la gestion en ligne des missions, capable de réaliser une sélection d’objectifs, et une sélection du meilleur chemin proposé par les algorithmes de planification de trajectoire. Cet outil a pour objectif d’aider l’opérateur de la station à prendre la meilleure décision en maximisant les récompenses obtenues lors de la réalisation des objectifs et en minimisant certains critères tels que la consommation des ressources, le danger, les conditions météorologiques, etc. / The presented work is part of a larger project called SHARE, which consists in developing a universal new generation ground control station for the monitoring and the control of fixed and rotary wing UAVs (Unmanned Aerial Vehicle).The objective of this PhD thesis is to develop a generic ground control station simulator capable of simulating in real time different types of UAVs, onboard sensors, several flight environments, and various military missions which are defined according to the STANAG 4586 standard. First, we introduce the model of the different parts of the station, and then we present the architecture adopted for the simulator and the control module. The latter is divided into several hierarchical levels; the upper level contains the path planning algorithms for fixed wing HALE (High Altitude, Long Endurance) UAV. These algorithms are used to calculate an admissible path between initial and final position by minimizing a cost function.Finally, in order to manage missions online, we developed a decision support system that is capable of performing a variety of objectives. This system also supplies the operator the best paths proposed by planning algorithms. This tool aims to help the station operator to make the decision by maximizing the rewards obtained during the achieving the objectives and minimizing certain criteria (resource consumption, danger, weather,..).

Avec le développement de l'industrie électronique, on constate un nombre croissant de projets avec des contraintes matérielles et temporelles de plus en plus élevées, ce qui conduit à l'utilisation de FPGA (Field Programmable Gate Arrays). Pour cela, le concepteur doit avoir une bonne connaissance de la programmation VHDL car cela nécessite beaucoup de formation et de pratique pour maîtriser ces architectures. Mais même pour les spécialistes, le processus de développement prend beaucoup de temps. Par conséquent, le développement d'un outil pour aider les utilisateurs non experts à travailler sur FPGA est nécessaire.Des outils tels que Simulink+HDL coder proposent une interface graphique pour créer un design en posant des blocs sur un tableau et en les connectant. Malheureusement, ce type d’outil souffre de deux défauts. Le premier est qu'il ne prend pas en compte les caractéristiques physiques de l'architecture cible. L'autre est qu'il ne vérifie pas si les flux de données entrant sont traités correctement par le design. Cela oblige le développeur à créer de nombreux tests, ce qui est fastidieux et consommateur en temps. Par conséquent, ce n’est pas une solution adaptée pour produire des applications dans un environnement en temps réel et des contraintes matérielles strictes.Pour gérer la complexité et la taille croissante des designs, l’abstraction est devenue graduellement essentielle. Des modèles ont émergé afin de représenter un design comme un graphe d’acteurs (c.a.d. de blocs), avec une analyse statique de l’exécution du graphe. Néanmoins, ces modèles sont basés sur une description plus ou moins fidèle du comportement d’architecture réelles telles que les FPGAs.Dans cette thèse, nous nous concentrons sur l'étude d’un nouveau modèle et d’un nouvel outil logiciel pour aider les utilisateurs non experts à concevoir automatiquement des implémentations correctes de FPGA. Les principales contributions sont résumées comme suit:1. Les limitations des modèles SDF existants, en particulier ceux du modèle SDF-AP, sont décrites et illustrées par l'analyse d'exemples caractéristiques. Les deux problèmes les plus courants rencontrés dans les implémentations d'assemblages de blocs sont la production de résultats incorrects et la croissance infinie de la taille du tampon.2. Nous proposons un nouveau modèle appelé "Actors with Stretchable Access Patterns" (ASAP) qui décrit le comportement matériel de façon mins limitée que les approches antérieures. Il s'agit d'une manière originale de résoudre le problème d'ordonnancement des acteurs, adaptée aux FPGAs. Il permet de déterminer l'exactitude mathématique d'une exécution sans lancer de simulations complexes. Il peut non seulement modéliser correctement les comportements des acteurs, mais aussi éviter les inconvénients mentionnés ci-dessus. Des algorithmes implémentant ces principes sont également fournis.3. Nous avons étudié des stratégies et des algorithmes connexes pour analyser un graphe représentant un design. L’exactitude du traitement peut être analysée par une série d'algorithmes permettant par exemple la vérification de la vitesse des flux et la vérification de la compatibilité des patterns. Il est ainsi possible de calculer la vitesse de décimation ou la longueur de délais à appliquer sur les entrées lorsqu'une erreur de correction est détectée.4. Un logiciel d’aide à la création de design est également développé. Il est appelé BlAsT (Block Assembly Tool) et vise à compenser les inconvénients des outils similaires tels que Simulink + HDL. Dans BlAsT, les algorithmes du modèle ASAP sont utilisés pour vérifier que pour un flux d'entrée donné, le système peut produire un résultat correct et finalement générer des codes VHDL directement utilisables sur une carte FPGA réelle. De plus, l'outil détermine automatiquement les décimations et les modifications requises. Ainsi, un utilisateur sans aucune compétence de programmation, est capable créer un design pour FPGA. / With the development of electronic industry, a growing number of projects require real-time streaming applications on embedded platforms. These comprise increasingly high hardware and timing constraints, which leads to the use of FPGAs (Field Programmable Gate Arrays). Usually, the designer should have a good knowledge of programming with VHDL or Verilog HDL. Unfortunately, only specialists can do it, because this needs a lot of training and practices to master these architectures. Furthermore, even for specialists, the process of development is quite time consuming. Therefore, how to develop a tool to help non-expert users working on FPGA is a promising but challenging work.Tools like Simulink+HDL coder provide a graphical interface to create a design, by putting functional blocks on a layer and to connect them. Nevertheless, such tools are generally suffering from two flaws. One is that they do not take the physical characteristics of the target architecture of the application into account, including that of the selected FPGA. The other one is that they do not check whether a data stream is processed correctly by the design, besides creating many test-benches, which is tedious and time consuming for the developer. Therefore, they are not suitable to produce applications in real-time environment and high hardware constraints.In order to manage the ever-increasing size and complexity of designs, the abstraction is gradually more and more essential. Some models have emerged to represent a design as a graph of actors (i.e. blocks), with a static analysis of the graph execution. Nevertheless, they have an unfaithful description of the behavior real architectures like an FPGA.In this dissertation, we concentrate on the study of a novel model and software tool that can help non-expert users for automatic design of FPGA implementations correctly. The main contributions are summarized as follows:1. The limits of existing SDF models, in particular those of the SDF-AP model, are described and illustrated by the analysis of characteristic examples. The two most common problems encountered in block assembly implementations are the production of incorrect results and the infinite growth of buffer size.2. We propose a new model called Actors Stretchable Access Patterns (ASAP) that describes the hardware behaviors as efficiently and precisely as possible. This is a novel way to address the scheduling problem of actors, adapted to FPGA architectures. It opens the possibility to determine the execution correctness mathematically without launching complex simulations. It can not only model actors' behaviors properly, but also avoid the above mentioned drawbacks. Algorithms that implement these principles also provided.3. We investigate strategies and related algorithms to analyze a graph representing a designed system. Its correctness can be analyzed by a series of algorithms, such as sample rate checking and pattern compatibility checking. The decimation rate or the delay length to be applied on actor's input can be computed when a correctness failure is detected. This increases the number of possible real FPGA implementations covered by the block assembly method.4. A software tool based on the concept of functional block graph is also developed. It is called BlAsT (Block Assembly Tool) and aims to compensate the drawbacks of other tools based on the same concepts, as for example Simulink + HDL coder. In BlAsT, the proposed ASAP model and related algorithms are used to check that for a given input stream, whether the system can produce a correct result and finally generate VHDL code directly usable on a real FPGA-based board. Otherwise, the tool determines the required decimations and modifications on the graph automatically. It makes a user without any programming skills to make designs on FPGAs thanks to the friendly graphic interface.

Une assurance indicielle est proposée en réponse à l'augmentation des sécheresses impactant les prairies. Elle se base sur un indice de production fourragère (IPF) obtenu à partir d'images satellitaires de moyenne résolution spatiale pour estimer l'impact de l'aléa dans une zone géographique définie. Le principal enjeu lié à la mise en place d'une telle assurance réside dans la bonne estimation des pertes subies. Les travaux de thèse s’articulent autour de deux objectifs : la validation de l'IPF et la proposition d'amélioration de cet indice. Un protocole de validation est construit pour limiter les problèmes liés à l'utilisation de produit de moyenne résolution et au changement d’échelle. L'IPF, confronté à des données de référence de différentes natures, montre de bonnes performances : des mesures de production in situ (R² = 0,81; R² = 0,71), des images satellitaires haute résolution spatiale (R² = 0,78 - 0,84) et des données issues de modélisation (R² = 0,68). Les travaux permettent également d'identifier des pistes d'amélioration pour la chaîne de traitement de l'IPF. Un nouvel indice, basé sur une modélisation semiempirique combinant les données satellitaires avec des données exogènes relatives aux conditions climatiques et à la phénologie des prairies, permet d'améliorer la précision des estimations de production de 18,6 %. L’ensemble des résultats obtenus ouvrent de nombreuses perspectives de recherche sur le développement de l'IPF et ses potentiels d'application dans le domaine assurantiel.