Nous proposons une méthodologie de conception pour les systèmes de commande tolérants aux fautes en partant d’un modèle de base exhaustif pour le système complexe à superviser. En pratique, la modélisation exhaustive est réalisée grâce à un automate hybride enrichi par des paramètres quantifiant les défaillances possibles. Ceci permet de modéliser les défaillances partielles. Dans la phase hors ligne, ce système complexe est transformé en un système discret abstrait et exploitable selon des techniques dédiées. Un superviseur est alors construit selon les objectifs de fonctionnement.Lors du fonctionnement du système, l’occurrence d’une défaillance se traduit par l’invalidation de plusieurs comportements dans le modèle abstrait et l’introduction d’incertitudes. Par la suite, les modules de diagnostic et d’identification (qui ne rentrent pas dans l’objet de notre thèse) réduisent de façon progressive le modèle hybride au cours du temps. Afin de pouvoir mettre à jour le modèle discret abstrait, on a développé des algorithmes de calcul d’atteignabilité, de vérification et de génération de régions stabilisées.Pour pouvoir superviser un tel système, l’utilisation de méthodologies d’abstraction est nécessaire afin de transformer le modèle bas niveau exhaustif en un modèle discret approprié. Nous réalisons cette abstraction en proposant des algorithmes qui tiennent compte du contexte d’utilisation (objectifs, contraintes…). Lorsqu’une défaillance est détectée, la reconfiguration est déclenchée en essayant, au fur et à mesure de l’enrichissement du modèle abstrait, de réduire le fonctionnement du système défaillant dans un des schémas prédéfinis / We propose a methodology for the design of fault tolerant control systems for the supervision of complex systems. First, the system is exhaustively described through a hybrid automaton which is enriched with parameters that quantifies the possible complete or partial faults. In the offline stage, the complex system is abstracted into a useful discrete event system with dedicated approaches. After, a supervisor is designed according to the standard objectives.In the online stage, fault detection can be interpreted by prohibiting some behaviours and introducing uncertainties. Thereafter, the diagnosis and identification modules (that are not treated in this work) reduce progressively the hybrid system. In order to update the abstract model, we developed some algorithms for reachability calculus, verification and generation of stabilized regions.In order to supervise the faulty system, the use of abstraction methodologies is necessary in order to transform the low level exhaustive model into an abstract and appropriate model. This abstraction is realized through algorithms that takes into account the abstraction context (objectives, constraints…). When a fault is detected, the reconfiguration is triggered by trying, as the abstract model is enriched, to reduce the behaviour of the faulty system into a preconceived model

Les travaux de recherche entrent dans le cadre de la reconfiguration de lois de commande des systèmes dynamiques présentant divers modes de fonctionnement afin d’assurer les performances désirées. Deux approches d’accommodation ont été proposées pour la commande de ces systèmes dynamiques : une approche passive qui présente un régulateur à paramètres fixes ne garantissant pas les mêmes performances pour différents modes de fonctionnement et une approche active dans laquelle les paramètres du système de commande peuvent être mis à jour selon le mode de fonctionnement détecté. C’est cette deuxième approche basée sur une représentation multi-modèles du système qui a été retenue dans nos travaux.Les erreurs de modélisation correspondant aux variations de conditions de fonctionnement, sont dans ce cas détectées par un algorithme de détection et de localisation de variations de modes de fonctionnement. Il s’en suit une reconfiguration d’une loi de commande par platitude en utilisant le principe de commutation. Cette approche garantit la régulation et la poursuite d’une trajectoire de référence. Pour sa mise en œuvre, un banc de régulateurs, conçu par platitude, a été élaboré pour les modèles discrets plats obtenus autour des divers points de fonctionnement.La détection des modes de fonctionnement est effectuée par une génération de résidus en utilisant un ensemble d’observateurs de type Luenberger dont les gains sont calculés en utilisant l’outil LMI.L'étude de la stabilité ainsi que l'introduction de dispositifs d'anti-emballement liés à la commutation entre les régulateurs, ont été considérés dans l'approche proposée / The work presented in this memory concerns the control reconfiguration of dynamical systems with variation of operating modes in order to ensure the desired performances. For the control of dynamic systems, two approaches of accommodation have been proposed. The passive approach presents a controller with fixed parameters that doesn’t ensure the same performance for different operating modes and an active approach in which the controller settings can be updated according to the variation of the detected operating mode. Our work has therefore focused on this second approach based on multi-models system representation. The modelling errors corresponding to the variations of operating conditions are detected in this case by detection and localization algorithm, consequently, a reconfiguration strategy based on flatness-based switching control is proposed. This approach guarantees the control and the tracking of a reference trajectory. In fact, we have synthesised a discrete flatness-based multi-controllers associated for each operating model obtained from different operating points. Detection of operating modes is done by a residual generation by using Luenberger observers which gains are calculated using the LMI tool. Study of the stability as well as the use of anti-windup devices related to switching between controllers; have been considered in the proposed approach

Face au coût de la gestion locale des infrastructures informatiques, de nombreuses entreprises ont décidé de la faire gérer par des fournisseurs externes. Ces derniers, connus sous le nom de IaaS (Infrastructure as a Service), mettent des ressources à la disposition des entreprises sous forme de machine virtuelle (VM - Virtual Machine). Ainsi, les entreprises n'utilisent qu'un nombre limité de machines virtuelles capables de satisfaire leur besoin. Ce qui contribue à la réduction des coûts de l'infrastructure informatique des entreprises clientes. Cependant, cette externalisation soulève pour le fournisseur, les problèmes de respect d'accord de niveau de service (SLA - Service Layer Agreement) souscrit par le client et d'optimisation de la consommation énergétique de son infrastructure. Au regard de l'importance que revêt ces deux défis, de nombreux travaux de recherches se sont intéressés à cette problématique. Les solutions de gestion d'énergie proposées consistent à faire varier la vitesse d'exécution des périphériques concernés. Cette variation de vitesse est implémentée, soit de façon native parce que le périphérique dispose des mécaniques intégrés, soit par simulation à travers des regroupements (spatial et temporel) des traitements. Toutefois, cette variation de vitesse permet d'optimiser la consommation énergétique d'un périphérique mais, a pour effet de bord d'impacter le niveau de service des clients. Cette situation entraine une incompatibilité entre les politiques de variation de vitesse pour la baisse d'énergie et le respect de l'accord de niveau de service. Dans cette thèse, nous étudions la conception et l'implantation d'un gestionnaire de ressources "éco énergétique" dans un système virtualisé. Un tel gestionnaire doit permettre un partage équitable des ressources entre les machines virtuelles tout en assurant une utilisation optimale de l'énergie que consomment ces ressources. Nous illustrons notre étude avec un ordonnanceur de machines virtuelles. La politique de variation de vitesse est implantée par le DVFS (Dynamic Voltage Frequency Scaling) et l'allocation de la capacité CPU aux machines virtuelles l'accord de niveau de service à respecter. / Considering the cost of local management of the computing infrastructures, numerous companies decided to delegate theirs to providers. These latter are known as an Infrastructure as a Service (IaaS) and provide resources to companies in the form of virtual machine (VM). This decision to outsource contributes to lower the cost of IT infrastructure of the customer companies. However, it raises for the provider, the problems of the respect of the Service Layer agreement (SLA) of the customer and of the optimization of the energy consumption of his infrastructure. With regard to the importance of these two challenges, many research works have focused on this problem. The proposed energy management solutions consist in varying the execution speed of the affected devices. This variation of speed is implemented either natively because the device has integrated mechanics, or by simulation through a spatial or temporal batching requests. However, this variation of speed optimizes the energy consumption of a device but has the side effect of degrading the customers SLA. In this thesis, we study the design and the implementation of an energy-efficient resources manager in a virtualized system. Such a manager must ensure a fair share of resources among VMs while ensuring optimal use of the energy consumed by the resources. We illustrate our study thanks to a scheduler of VMs. The DVFS constitutes our energy management policy and the CPU capacity of the VMs the SLA to respect.

Vu l’importance que revêt la sûreté de fonctionnement des convertisseurs statiques dans plusieurs domaines (traction électrique, génération de l’énergie électrique à partir de l’énergie éolienne, etc,... ), il est nécessaire d'examiner la continuité de service de ces systèmes même dans le cas d’un dysfonctionnement d’un des modules IGBT, d’un bras de l’onduleur ou d'une phase de machine. Ainsi, il est indispensable de concevoir de nouvelles architectures matérielles et commandes logicielles capables de fonctionner à puissance significative même en présence de défaillance touchant le système et plus particulièrement les modules IGBT de l’onduleur. Le sujet proposé s’intéresse à une nouvelle structure hybride multiniveaux tolérante aux défauts. Elle consiste à ajouter à un convertisseur triphasé 3-niveaux type NPC (Neutral Point Clamped), un quatrième bras 3-niveaux types FC (Flying Cap). Des nouvelles techniques des différentes parties de la tolérance des pannes, à savoir la détection, l’isolation, la reconfiguration matérielle et la commande en mode dégradé, sont proposées, analysées et validées sur un prototype expérimental de 15kW de puissance. / Given the importance of power converter safety operation in several fields (electric traction, renewable energy, etc ..), it is necessary to examine availability of these systems in the case of malfunction of an IGBT module, a converter leg or a phase machine. Thus, it is essential to develop new hardware architectures and software controls capable of operating at significant power after fault occurence. This thesis deals with a new multilevel fault tolerant hybrid topology. It consists on adding to a 3-phase 3-level NPC (Neutral Point Clamped) inverter, a fourth 3-level FC (Flying Cap) leg. New techniques of fault tolerance parts, namely detection, isolation, reconfiguration and system control during post fault mode, are proposed, analyzed and validated with a 15kW experimental converter prototype.

Cette thèse porte premièrement sur la reconfiguration dynamique et la simulation hétérogène dans les Réseaux des Capteurs sans Fil. Ces réseaux sont constitués d’une multitude de systèmes électroniques communicants par radio-fréquence, très contraints en énergie. La partie de communication radio entre ces nœuds est la plus consommatrice. C’est pourquoi la minimisation du temps effectif est désirée. On a implémenté une solution qui consiste à envoyer au nœud un fichier de reconfiguration codé utilisant un langage de programmation haut niveau (MinTax). Le nœud sera capable de compiler ce fichier et générer le code object associé à son architecture, in-situ. Grâce au caractère abstrait du MinTax, plusieurs architectures matérielles et systèmes d’exploitation sont visés. Dans un deuxième temps, ce travail de thèse est lié au simulateur de réseaux de capteurs IDEA1TLM.IDEA1TLM permet de prédire quels circuits et configurations sont les plus adéquats à une application sans fil donnée. Ce simulateur a été amélioré pour permettre la simulation rapide des systèmes électroniques matériellement différents dans le même réseau ainsi que le logiciel présent sur les nœuds. / This PhD thesis concerns the dynamic reconfiguration and simulation of heterogeneous Wireless Sensor Networks. These networks consist of a multitude of electronic units called ?nodes ?, which communicate through a radio interface. The radio interface is the most power-consuming on the node. This is why the minimisation of the radio-time would lead to improved energy efficiency. We have implemented a software solution which consists in sending an update to a node which is coded in a high-level language (MinTax). This file is compiled by the node and machine code is generated for the target hardware architecture. Owing to the abstract nature of MinTax, multiple hardware architectures. as well as operating systems are supported. As a second part of this PhD, work has been focused on a network simulator called IDEATLM.IDEA1TLM allows us to predict which circuits and configurations are the most appropriate for a given task. This solution has been improved to allow a faster simulation of electronic systems which are different from a hardware standpoint, yet part of the same network, as well as to model the actual software running on them.

La « Belle Époque », expression qui désigne la période s’étendant de la fin du XIXe siècle à 1914, est un syntagme qui interroge et dont l’origine reste incertaine : généralement située vers 1918, son apparition ne se résume pas à la stricte comparaison entre l’horreur de la Grande Guerre et le temps de paix qui l’a précédée. L’émergence du syntagme « Belle Époque » est plus complexe et ses emplois tendent à se multiplier, timidement, au cours des années 1930 et à se stabiliser après la Seconde Guerre mondiale. Les représentations de la Belle Époque sont elles aussi source de confusion : entre louange et blâme, entre indifférence ou sublimation, cet entre-deux-siècles ne laisse pas indifférent et suscite de nombreux discours, essentiellement littéraires, qui constituent le paradigme des représentations de la Belle Époque. Le paysage littéraire des années 1930 présente une production massive de souvenirs de l’époque 1900 ainsi que de nombreux romans-fleuves à contexte Belle Époque. Le genre littéraire, le contexte d’écriture, la trame narrative, les thèmes abordés, les figures et les événements, l’ensemble de ces éléments constituent les principaux facteurs de reconfiguration. C’est donc essentiellement à travers la littérature que s’invente la Belle Époque, au miroir des années 1930. / The “Belle Époque”, the expression wich appoints the period extending of the end of the XIXth century to 1914, is a syntagm wich questions and whose origin remains uncertain : generally situated by 1918, its appearance does not amount to the strict comparison between the horror of the Great War and the peacetime which preceded it. The emergence of the syntagm “Belle Époque” is more complex and its uses tend to multiply, shyly, during 1930s and to stabilize after the Second World War. The representations of the Belle Époque are too source of confusion: between praise and disapproval, between indifference or sublimation, this inter-centuries does not unmoved and arouses numerous speeches, essentially literary, which constitute paradigm of the representations of the Belle Époque. The literary landscape of the 1930s presents a massive production of memories of period 1900 as well as numerous sagas to context Belle Époque. The literary genre, the context of writing, the narrative weft, tackled issues, the figures and the events, all these elements constitute the main factors of reconfiguration. It is thus essentially through the literature that invents the Belle Époque, at the mirror of the 1930s.

Cette thèse explore des problématiques liées aux jeux. Les jeux qui nous intéressent sont ceux pour lesquels il n'y a pas d'information cachée: tout les joueurs ont accès à toute l'information relative au jeu; il n'y a pas non plus d'aléa. Certains jeux de société (comme les échecs ou le go) satisfont ces propriétés et sont représentatifs des jeux que nous considérons ici. La notion de stratégie est au centre de l'étude de ces jeux. En termes simples, une stratégie est une façon de jouer qui permet de s'assurer un certain résultat. La question centrale, à la fois quand on joue à un jeu et quand on l'étudie, est le problème de trouver la 'meilleure' stratégie, qui assure la victoire du joueur qui l'applique. Dans cette thèse, nous considérons à la fois des jeux à un joueurs, appelés puzzles combinatoires, et des jeux à deux joueurs. Le Rubik's cube, Rush-Hour, et le taquin sont des exemples biens connus de puzzles combinatoires. Récemment, un certain nombre de jeux -- des jeux à un joueur notamment -- ont connu un regain d'intérêt en tant qu'objets d'étude dans un domaine plus grand appelé reconfiguration. Les puzzles que l'on vient de mentionner peuvent tous être décrit de la façon suivante: il y a un ensemble de configurations, qui représente tous les états possibles du jeu; et le joueur est autorisé à transformer une configuration en une autre à via un certain nombre de règles. Le but est d'atteindre une certaine configuration cible à partir d'une configuration initiale. Le domaine de la reconfiguration étend cette définition à des problèmes de recherche: l'ensemble des configurations devient l'ensemble des solutions à une instance d'un problème donné, et l'on se demande si l'on peut transformer une solution donnée en une autre en utilisant uniquement un ensemble de règles de transformation précises. La recherche sur ce type de problèmes a été guidée par des motivations algorithmiques: ce processus peut être vu comme un moyen d'adapter une solution déjà en place en une nouvelle solution à l'aide de petits changements locaux; et des connections avec d'autres problèmes comme la génération aléatoire, ainsi que des problèmes de physique statistique. Les jeux à deux joueurs, qui sont aussi appelés jeux combinatoires, ont été étudiés depuis le début du XXème siècle avec les travaux de Bouton, continués par Berlekamp, Conway et Guy avec le développement d'une théorie unifiant un certain nombre de jeux classiques. Ce travail se focalise sur des joueurs parfaits, c'est à dire qui choisissent toujours le coup optimal. Notre but est de caractériser lequel des deux joueurs possède une stratégie qui lui assure la victoire, quelque soient les coups de son adversaire. Cette approche est au coeur de ce qui est appelé la Théorie des Jeux Combinatoires. Une grande parties des recherche est focalisée sur des 'jeux mathématiques', qui sont des jeux inventés par des mathématiciens, souvent avec des règles très simples, et rarement connus en dehors de la recherche. La motivation principale pour étudier ces jeux est la présence de liens parfois surprenant entre ces jeux et d'autres domaines des mathématiques comme entre autre la théorie des nombres, les automates ou les systèmes dynamiques. Dans cette thèse, nous étudions ainsi des jeux à un et deux joueurs. Nous nous intéressons tout particulièrement à la complexité de ces jeux, c'est à dire évaluer à quel point il est difficile (d'un point de vue algorithmique) de calculer une stratégie gagnante. Nous nous intéressons aussi à leur structure et à certaines propriétés qu'ils peuve satisfaire. Finalement, un des outils principaux dans cette étude est la notion de graphe, et nous utilisons notamment des méthodes et des techniques provenant de théorie des graphes pour résoudre ces problèmes / This thesis explores problems related to games. The games that we consider in this study are games for which there is no hidden information: all the players have access to all the information related to the game; there is also no randomness and everything is deterministic. A few well-known board games (such as chess or go) fall in this category and are representative of the kinds of games that we consider here. Central to the study of these games is the notion of strategy, which roughly speaking, is a way of playing which ensures a certain objective. The main question of interest, when both playing and studying a game, is the problem of finding the 'best' strategy, which secures the victory for the player following it. In this thesis, we consider both one-player games, also called combinatorial puzzles, and two-player games. Examples of combinatorial puzzles include Rubik's cube, Rush-Hour, Sokoban, the 15 puzzle, or peg solitaire. Recently, some types of one-player games in particular have received a strong regain of interest as part of the larger area of reconfiguration problems. The puzzles we described above can all be described in the following way: there is a set of configurations, which represents all the possible states of the game; and the player is allowed to transform a configuration using a prescribed set of moves. Starting from an initial configuration, the goal is to reach a target configuration by a succession of valid moves. Reconfiguration extends this definition to any search problem: the set of configuration becomes the set of solutions to an instance of a given problem, and we ask whether we can transform one given solution to another using only a prescribed set of moves. Hence, in addition to the combinatorial puzzles, reconfiguration problems also include many `games' which are not played by humans anymore but are instead mathematical problems sharing a lot of similarities with combinatorial puzzles. The study of reconfiguration problems has been driven by many different motivations. It has algorithmic applications: it can be seen as a way to adapt a current solution already in place to reach a new one by only making small local changes. It is also connected to other problems such as random sampling, approximate counting or problems coming from statistical physics. It can also be used as a tool for understanding the performance of some heuristic algorithms based on local modifications of solutions such as local search. Two-player games, which are also called combinatorial games, have been studied since the beginning of the twentieth century, with the works of Bouton which were continued with the development of a nice theory by Berlekamp, Conway, and Guy, unifying a certain number of classical games. We focus in this study on perfect strategies (i.e., players always choosing the best possible move), and try to characterize who wins under perfect play for various games. This approach is at the heart of what is called Combinatorial Game Theory. Most of the research in this area is focused on `math games' which are games invented by mathematicians, often with simple rules and almost never played by humans. The main motivation for studying these games comes from the nice, and sometimes unexpected connections these games have with other areas of mathematics, such as for example number theory, automatons, or dynamical systems. In this thesis, we study one- and two-player games. The questions we consider are often related to complexity. Complexity theory consists in trying to classify problems depending on their hardness. By hardness we mean to quantify how much time it would take for a computer to solve the problem. An other aspect of this research consists in investigating structural properties that these games can satisfy. Finally, one of our main tools is the notion of graph, and we use in particular methods and techniques from graph theory to answer the different questions we just mentioned

In recent years, reconfigurable devices are developing fast because of its flexibility and less development cost. But intrinsic shortcomings of reconfigurable devices, for example, high power, low speed, etc. induce difficulties in complex designs realizations. So people began to consider combination of ASIC (Application-Specific Integrated Circuit) and reconfigurable device on a single chip, which is SOPC (System on Programmable Chip). SOPC can not only decrease development risk and timing to market, but also be used in different applications, especially of products that keep varying, for example, communication and network products. Dynamically reconfiguration means reconfigurable device of the chip can be reconfigured repeatable, and performs different functions at different times. Compared with static reconfiguration, dynamic reconfiguration can use the reconfigurable device more thoroughly. It‟s a hot spot of research in the world, especially in reconfigurable computing. This paper mainly concludes my research work in reconfigurable SOPC in 3 major parts: hardware, software and application. The following works and innovations are completed: 1. SOPC hardware system architecture design and discussion. Helps to define the system architecture and design goals. The design of EBI controller which is used in the SOPC. The integration of the blocks in the system. 2. The building-up of the SOPC system-level verification and block-level verification environment. The set-up of the hardware-software co-simulation environment. The post-layout simulation and formal verification tasks. We propose an innovative automated regression system. The system helps to achieve the same simulation coverage (95%) and the total simulation time is reduced by approximately 30%. 3. SOPC software design, including the OS kernel porting, drivers design and application design. The design of the PowerPC initialization program and UART (Universal Asynchronous Receiver/Transmitter), reconfiguring communication driver programs. Writing the test-cases which are specialized for the system verification and hardware testing. 4. Being the co-designer of the novel bus macro based on the FDP reconfigurable logic core. And we realize the whole reconfigurable system based on this bus macro. 5. The reconfigurable application research based on Reconfigurable Logic Core. The reconfigurable image filter designed implemented on FDP300K Reconfigurable Logic Core device. Using self-design Reconfigurable Logic Core internal bus macro to implement the partial reconfigurable system. The test results showed that the reconfigurable filter has the feature of fast configuration speed and good output image quality.

Aujourd’hui, les industriels cherchent de nouvelles approches qui permettent aux concepteurs d’adapter efficacement les systèmes de fabrication face à un environnement incertain et perturbant. Le concept de la reconfiguration des systèmes de fabrication est proposé afin de trouver des solutions face à l’occurrence d’aléas au sein d’un système manufacturier complexe. Dans la littérature, l’intégration de la reconfiguration dès la phase de conception dans le cadre de l’ingénierie système en suivant une approche basée sur des normes et paradigmes commence à faire appel à plusieurs nouveaux travaux de recherche. Nous proposons une nouvelle approche basée sur l’ingénierie système pour concevoir les systèmes de production manufacturiers pour qu’ils soient reconfigurables du point de vue partie opérative et commande, en assurant la cohérence entre les modèles et en respectant les exigences de l’industrie nouvelle. Cette approche vise à guider le concepteur pour modéliser les systèmes manufacturiers en intégrant le concept de la reconfiguration dans le cadre de l’ingénierie système.Ensuite, les modèles développés des différents points de vue sont transformés suivant des règles prédéfinies vers des modèles d’architectures holoniques qui permettent de combler l’écart entre le processus de modélisation conceptuelle et le processus de simulation. Ces modèles holoniques sont exécutables par la technologie des systèmes multi-agents afin de faciliter leurs implémentations. Après, le concepteur sera capable de vérifier et valider par simulation les critères et les caractéristiques clés de la reconfiguration dans le but d’atteindre les indicateurs demandés. Les résultats obtenus montrent une réactivité efficace aux aléas internes et externes avec la configuration la plus adéquate. Nous avons choisi un système manufacturier reconfigurable qui est le système de conversion d’acier afin d’illustrer l’utilité et la fiabilité de l’approche proposée dans différents scénarios. / Today, manufacturers are seeking new approaches that allow designers to effectively adapt manufacturing systems to an uncertain and disruptive environment. The concept of the reconfiguration of manufacturing systems is proposed in order to find solutions to the occurrence of disturbances within a complex manufacturing system. In the literature, integrating reconfiguration early in the design phase into system engineering by following an approach based on standards and paradigms is beginning to call for several new research studies. We propose a new approach based on system engineering to design manufacturing production systems so that they are reconfigurable from the point of view of operative and control part, ensuring coherence between models and meeting the requirements of the new industry. This approach is intended to guide the designer in modeling the manufacturing systems by integrating the concept of reconfiguration into system engineering.Then, developed models of different viewpoint are transformed according to predefined rules into holonic architecture models that bridge the gap between the conceptual modeling process and the simulation process. These holonic models are executable by the technology of multi-agent systems to facilitate their implementations. Afterwards, the designer will be able to verify and validate by simulation the criteria and key features of the reconfiguration in order to achieve the requested indicators. The obtained results show an effective reactivity to the internal and external disturbances with the most adequate configuration. We chose a reconfigurable manufacturing system which is the steel converter system to illustrate the utility and reliability of the proposed approach in different scenarios.

Modern Field Programmable Gate Arrays (FPGAs) can implement entire run-time reconfigurable systems using partial reconfiguration. Module-based run-time reconfiguration permits the construction of custom applications at run-time using pre-compiled Intellectual Property (IP) from a module library. The need for both flexible module placement and custom inter-module communication is mostly ignored by existing modular run-time reconfiguration approaches and few existing tool flows for module generation address the need for automation. This thesis introduces an automated compile-time tool flow for generating dynamic modules that allow flexible run-time placement and communication synthesis. / Master of Science