Cette thèse contribue au contrôle de la myopie dans les systèmes flexibles de production (SFP). La myopie apparaît lorsque des entités décisionnelles prennent des décisions locales à partir d'une quantité d'information limitée. Cette prise de décision permet de réagir rapidement aux aléas mais induit une performance globale non optimale. Ainsi, ce phénomène doit être contrôlé afin d'obtenir des architectures de pilotage plus performantes. Après une étude du phénomène de myopie dans d'autres domaines, nous définissons la myopie dans les SFP. Un état de l'art sur les différents types d'architectures permet de retenir les architectures de pilotage hybride mixant hiérarchie et hétérarchie pour contrôler la myopie. Une typologie des architectures de pilotage hybride est ensuite réalisée avant qu'une nouvelle architecture ne soit proposée : ORCA. Après avoir été présentée, ORCA est déclinée au pilotage des SFP (ORCA-FMS). ORCA-FMS combine deux approches: un modèle linéaire (ILP) et une approche par champs de potentiel. ORCA-FMS est ensuite appliquée au cas d'étude de la cellule flexible de l'AIP PRIMECA de Valenciennes. Premièrement un modèle de simulation, le plus proche possible du cas d'étude réel est présenté. Il permet d'éprouver l'architecture dans l'environnement de simulation NetLogo. Deuxièmement, afin de valider la pertinence des comportements observés en simulation, l'architecture est mise en œuvre sur la cellule réelle à l'aide du concept de produit actif. Les équipements industriels utilisés pour cette mise en œuvre, le protocole expérimental, ainsi que les résultats obtenus sont détaillés et discutés.

Power dissipation in CMOS circuits is of growing concern as the computational requirements of portable, battery operated devices increases. The ability to easily develop application specific circuits, rather than program general-purpose architectures can provide tremendous power savings. To this end, we present a design platform for rapidly developing power efficient hardware architectures starting at a system level. This high level VLSI design platform, called CoDeL, allows hardware description at the algorithm level, and thus dramatically reduces design time and power dissipation. We compare the CoDeL platform to a modern DSP and find that the CoDeL platform produces designs with somewhat slower run times but dramatically lower power dissipation. The CoDeL compiler produces an FSMD (Finite State Machine with Datapath) implementation of the circuit. This regular structure can be exploited to further reduce power through various techniques. To reduce dynamic power dissipation in the resulting architecture, the CoDeL compiler automatically inserts clock gating for registers. Power analysis shows that CoDeL's automated, high-level clock gating provides considerably more power savings than existing automated clock gating tools. To reduce static power, we use the CoDeL platform to analyze the potential and performance impact of power gating individual registers. We propose a static gating method, with very low area overhead, which uses the information available to the CoDeL compiler to predict, at compile time, when the registers can be powered off and powered on. Static branch prediction is used to more intelligently traverse the finite state machine description of the circuit to discover gating opportunities. Using simulation and estimation, we find that CoDeL with backward branch prediction gives the best overall combination of gating potential and performance. Compared to a dynamic time-based technique, this method gives dramatically more power savings, without any additional performance loss. Finally, we propose techniques to efficiently partition a FSMD using Integer Linear Programming and a simulated annealing approach. The FSMD is split into two or more simpler communicating processors. These separate processors can then be clock gated or power gated to achieve considerable power savings since only one processor is active at any given time. Implementation and estimation shows that significant power savings can be expected, when the original machine is partitioned into two or more submachines.

La plupart des maladies cardio-vasculaires sont étroitement liées à l’architecture 3D des faisceaux de cardiomyocytes du myocarde humain. Connaitre en détail cette architecture permet de lever un verrou scientifique sur l’organisation spatiale complexe des faisceaux de cardiomyocytes, et offre des pistes pour trouver des solutions pertinentes permettant de guérir ces maladies. A cause de la nature biréfringente des filaments de myosine qui se trouvent dans les cellules cardiomyocyte, l’Imagerie en Lumière Polarisée (ILP) se révèle comme la seule méthode existante permettant d’étudier en détail, l’architecture et l’orientation des faisceaux de cardiomyocytes au sein de la masse ventriculaire. Les filaments de myosine se comportent comme des cristaux uni-axiaux biréfringents, ce qui permet de les modéliser comme les cristaux uni-axiaux biréfringents. L’ILP exploite les propriétés vibratoires de la lumière car l’interaction photonique et atomique entre la lumière et la matière permet de révéler l’organisation structurelle et l’orientation 3D des cardiomyocytes. Le présent travail se base sur la modélisation des différents comportements de la lumière après avoir traversé des faisceaux de cardiomyocytes. Ainsi, un volume 100×100×500 µm3 a été décomposé en plusieurs éléments cubiques qui représentent l'équivalent de l'intersection des cellules de diamètre de 20 µm chacune. Le volume a été étudié dans différentes conditions imitant l’organisation 3D des cardiomyocytes dans différentes régions du myocarde. Les résultats montrent que le comportement du volume change suivant l’arrangement spatial des cardiomyocytes à l’intérieur du volume. Grâce à un modèle analytique développé à l’aide des simulations, il a été possible de connaitre en tout point, l’orientation 3D des cardiomyocytes dans tout le volume. Ce modèle a été implémenté dans un greffon logiciel. Puis, il a été validé avec les piliers des valves auriculo-ventriculaire en comparant les courbes obtenues en simulation numérique à celles obtenues dans la phase expérimentale. De plus, il a été possible de mesurer l’orientation 3D des faisceaux de cardiomyocytes à l’intérieur du pilier. Après cette validation, le modèle a été utilisé sur un cœur humain (sain) en entier. Puis, nous avons extrait les cartographies des orientations 3D (angle azimut, angle d’élévation) des cardiomyocytes, ainsi que la cartographie des niveaux d’homogénéité du myocarde en entier. Pour une confrontation qualitative des mesures de l’orientation 3D obtenues en ILP avec celles en IRM, un cœur humain sain d’un enfant de 14 mois a été prélevé lors de l’autopsie, fixé dans du formol, puis imagé en entier par IRM puis en ILP. Malgré la faible résolution des images en IRM, les résultats obtenus montrent que les mesures de l’orientation 3D des cardiomyocytes issues de ces deux méthodes d’imageries se révèlent quasiment identiques. / Most cardiovascular diseases are closely linked to the 3D cardiomyocytes bundles of the human myocardium. Knowing in detail this architecture allows us to overcome a scientific bottleneck on the complex spatial organization of cardiomyocytes, and offers ways to find appropriate solutions to treat these diseases. The goal of present thesis is then to develop methods and techniques that allow gaining insights into the geometric arrangement of cardiomyocytes or cardiomyocytes bundles in the myocardium. Due to the birefringent nature of myosin filaments that are found in myocardial cells, the Polarized Light Imaging (PLI) appears as the only existing method for studying in detail the architecture and cardiomyocytes bundle orientation in ventricular mass. Myosin filaments react as uniaxial birefringent crystal; thereby it has been modeled as the uniaxial birefringent crystal. The PLI uses the vibration properties of light; the photonic and atomic interaction between light and matter can reveal the structural organization and the 3D cardiomyocytes orientation of the myocardium. The present work is based on modeling the behavior of the light after passing through a cardiomyocytes bundle. Thus, a volume 100 × 100 × 500 μm3 has been decomposed in a number of cubic elements which are equivalent to cardiac cells of diameter of 20 microns. The volume was studied under different conditions to emulate the organization of cardiomyocytes in different regions in human myocardium: isotropic region, heterogeneous region, region with cardiomyocytes bundle crossing. The results showed that the behavior of the volume changes according to the spatial arrangement of cardiomyocytes within the volume. Through an analytical model developed using simulation, it has been possible to know the 3D orientation of cardiomyocytes at any region throughout the volume. This model has been implemented in software as a plugin. Then, it has been validated with the pillars of atrio-ventricular valves by comparing the curves obtained by numerical simulation with those obtained in the experimental phases. Moreover, it has been possible to measure the 3D orientation of cardiomyocytes bundles within the pillars. After validation, the model was applied to an entire human healthy heart. Then, we extracted the mapping of the 3D orientations (azimuth angle, elevation angle) of cardiomyocytes bundles, as well as the mapping of the homogeneity levels of the entire myocardium. For a qualitative comparison of the 3D orientation measurements obtained with the PLI and Magnetic Resonance Imaging (MRI), the healthy human heart of a 14 month old child was extracted at autopsy, then fixed in formalin, and finally imaged by MRI and PLI. Despite the low spatial resolution of MRI images, the results showed that the 3D orientations of cardiomyocytes bundles measured from these two imaging methods appeared almost identical.

No description available.

Les temps avancent et les applications temps-réel deviennent de plus en plus gourmandes en ressources. Les plate-formes multi-cœurs sont apparues dans le but de satisfaire les demandes des applications en ressources, tout en réduisant la taille, le poids, et la consommation énergétique. Le challenge le plus pertinent, lors du déploiement d'un système temps-réel sur une plate-forme multi-cœur, est de garantir les contraintes temporelles des applications temps réel strict s'exécutant sur de telles plate-formes. La difficulté de ce challenge provient d'une interdépendance entre les analyses de prédictabilité temporelle. Cette interdépendance peut être figurativement liée au problème philosophique de l'œuf et de la poule, et expliqué comme suit. L'un des pré-requis des algorithmes d'ordonnancement est le Pire Temps d'Exécution (PTE) des tâches pour déterminer leur placement et leur ordre d'exécution. Mais ce PTE est lui aussi influencé par les décisions de l'ordonnanceur qui va déterminer quelles sont les tâches co-localisées ou concurrentes propageant des effets sur les caches locaux et les ressources physiquement partagées et donc le PTE. La plupart des méthodes d'analyse pour les architectures multi-cœurs supputent un seul PTE par tâche, lequel est valide pour toutes conditions d'exécutions confondues. Cette hypothèse est beaucoup trop pessimiste pour entrevoir un gain de performance sur des architectures dotées de caches locaux. Pour de telles architectures, le PTE d'une tâche est dépendant du contenu du cache au début de l'exécution de la dite tâche, qui est lui-même dépendant de la tâche exécutée avant et ainsi de suite. Dans cette thèse, nous proposons de prendre en compte des PTEs incluant les effets des caches privés sur le contexte d’exécution de chaque tâche. Nous proposons dans cette thèse deux techniques d'ordonnancement ciblant des architectures multi-cœurs équipées de caches locaux. Ces deux techniques ordonnancent une application parallèle modélisée par un graphe de tâches, et génèrent un planning statique partitionné et non-préemptif. Nous proposons une méthode optimale à base de Programmation Linéaire en Nombre Entier (PLNE), ainsi qu'une méthode de résolution par heuristique basée sur de l'ordonnancement par liste. Les résultats expérimentaux montrent que la prise en compte des effets des caches privés sur les PTE des tâches réduit significativement la longueur des ordonnancements générés, ce comparé à leur homologue ignorant les caches locaux. Afin de parfaire les résultats ainsi obtenus, nous avons réalisé l'implémentation de nos ordonnancements dirigés par le temps et conscients du cache pour un déploiement sur une machine Kalray MPPA-256, une plate-forme multi-cœur en grappes (clusters). En premier lieu, nous avons identifié les challenges réels survenant lors de ce type d'implémentation, tel que la pollution des caches, la contention induite par le partage du bus, les délais de lancement d'une tâche introduits par la présence de l'ordonnanceur, et l'absence de cohérence des caches de données. En second lieu, nous proposons des stratégies adaptées et incluant, dans la formulation PLNE, les contraintes matérielles ; ainsi qu'une méthode permettant de générer le code final de l'application. Enfin, l'évaluation expérimentale valide la correction fonctionnelle et temporelle de notre implémentation pendant laquelle nous avons pu observé le facteur le plus impactant la longueur de l'ordonnancement: la contention. / Nowadays, real-time applications are more compute-intensive as more functionalities are introduced. Multi-core platforms have been released to satisfy the computing demand while reducing the size, weight, and power requirements. The most significant challenge when deploying real-time systems on multi-core platforms is to guarantee the real-time constraints of hard real-time applications on such platforms. This is caused by interdependent problems, referred to as a chicken and egg situation, which is explained as follows. Due to the effect of multi-core hardware, such as local caches and shared hardware resources, the timing behavior of tasks are strongly influenced by their execution context (i.e., co-located tasks, concurrent tasks), which are determined by scheduling strategies. Symetrically, scheduling algorithms require the Worst-Case Execution Time (WCET) of tasks as prior knowledge to determine their allocation and their execution order. Most schedulability analysis techniques for multi-core architectures assume a single WCET per task, which is valid in all execution conditions. This assumption is too pessimistic for parallel applications running on multi-core architectures with local caches. In such architectures, the WCET of a task depends on the cache contents at the beginning of its execution, itself depending on the task that was executed before the task under study. In this thesis, we address the issue by proposing scheduling algorithms that take into account context-sensitive WCETs of tasks due to the effect of private caches. We propose two scheduling techniques for multi-core architectures equipped with local caches. The two techniques schedule a parallel application modeled as a task graph, and generate a static partitioned non-preemptive schedule. We propose an optimal method, using an Integer Linear Programming (ILP) formulation, as well as a heuristic method based on list scheduling. Experimental results show that by taking into account the effect of private caches on tasks’ WCETs, the length of generated schedules are significantly reduced as compared to schedules generated by cache-unaware scheduling methods. Furthermore, we perform the implementation of time-driven cache-conscious schedules on the Kalray MPPA-256 machine, a clustered many-core platform. We first identify the practical challenges arising when implementing time-driven cache-conscious schedules on the machine, including cache pollution cause by the scheduler, shared bus contention, delay to the start time of tasks, and data cache inconsistency. We then propose our strategies including an ILP formulation for adapting cache-conscious schedules to the identified practical factors, and a method for generating the code of applications to be executed on the machine. Experimental validation shows the functional and the temporal correctness of our implementation. Additionally, shared bus contention is observed to be the most impacting factor on the length of adapted cache-conscious schedules.