491 |
Flot de conception pour l'ultra faible consommation : échantillonnage non-uniforme et électronique asynchrone / Design flow for ultra-low power : non-uniform sampling and asynchronous circuitsSimatic, Jean 07 December 2017 (has links)
Les systèmes intégrés sont souvent des systèmes hétérogènes avec des contraintes fortes de consommation électrique. Ils embarquent aujourd'hui des actionneurs, des capteurs et des unités pour le traitement du signal. Afin de limiter l'énergie consommée, ils peuvent tirer profit des techniques évènementielles que sont l'échantillonnage non uniforme et l'électronique asynchrone. En effet, elles permettent de réduire drastiquement la quantité de données échantillonnées pour de nombreuses classes de signaux et de diminuer l'activité. Pour aider les concepteurs à développer rapidement des plateformes exploitant ces deux techniques évènementielles, nous avons élaboré un flot de conception nommé ALPS. Il propose un environnement permettant de déterminer et de simuler au niveau algorithmique le schéma d'échantillonnage et les traitements associés afin de sélectionner les plus efficients en fonction de l'application ciblée. ALPS génère directement le convertisseur analogique/numérique à partir des paramètres d'échantillonnage choisis. L'élaboration de la partie de traitement s'appuie quant à elle sur un outil de synthèse de haut niveau synchrone et une méthode de désynchronisation exploitant des protocoles asynchrones spécifiques, capables d'optimiser la surface et la consommation du circuit. Enfin, des simulations au niveau porteslogiques permettent d'analyser et de valider l'énergie consommée avant de poursuivre par un flot classique de placement et routage. Les évaluations conduites montrent une réduction d'un facteur 3 à 8 de la consommation des circuits automatiquement générés. Le flot ALPS permet à un concepteur non-spécialiste de se concentrer sur l'optimisation de l'échantillonnage et de l'algorithme en fonction de l'application et de potentiellement réduire d'un ou plusieurs ordres de grandeur la consommation du circuit. / Integrated systems are mainly heterogeneous systems with strong powerconsumption constraints. They embed actuators, sensors and signalprocessing units. To limit the energy consumption, they can exploitevent-based techniques, namely non-uniform sampling and asynchronouscircuits. Indeed, they allow cutting drastically the amount of sampleddata for many types of signals and reducing the system activity. To helpdesigners in quickly developing platforms that exploit those event-basedtechniques, we elaborated a design framework called ALPS. It proposes anenvironment to determine and simulate at algorithmic level the samplingscheme and the associated processing in order to select the mostefficient ones depending on the targetted application. ALPS generatesdirectly the analog-to-digital converter based on the chosen samplingparameters. The elaboration of the processing unit uses a synchronoushigh-level synthesis tool and a desynchronization method that exploitsspecific asynchronous protocols to optimize the circuit area and powerconsumption. Finally, gate-level simulations allow analyzing andvalidating the energy consumption before continuing with a standardplacement and routing flow. The conducted evaluations show a reductionfactor of 3 to 8 of the consumption of the automatically generatedcirctuis. The flow ALPS allow non-specialists to concentrate on theoptimization of the sampling and the processing in function of theirapplication and to reduice the circuit power consumptions by one toseveral orders of magnitude.
|
492 |
Supply chain management under availability & uncertainty constraints / Le management de la chaîne logistique sous contraintes de disponibilité et d'incertitudeZheng, Yahong 10 October 2012 (has links)
Le management de la chaîne logistique concerne un large éventail d’activités. Nombreuses ceux qui ont un caractère incertain apportant souvent des conséquences inattendues. Malgré cela, l’incertitude est fréquemment non considérée dans la gestion de la chaîne logistique traditionnelle. En plus de l’incertitude, l’indisponibilité des ressources augmentera la complexité du problème. En prenons en compte les contraintes d’incertitude et de disponibilité nous étudions le management de la chaîne logistique selon différents aspects. Cette thèse représente une tentative de recherche afin d’aborder ce problème d’une façon systématique et complète et nous espérons que notre travail contribuera aux futurs travaux de recherche et sera utile aux gestionnaires de la chaîne logistique. Nous nous concentrons sur trois sources classiques de l’incertitude ; celle de la demande, celle la fabrication et celle liée à la distribution. Pour chaque source d’incertitude, nous analysons ses causes et ses impacts sur les performances de la chaîne logistique. L’incertitude est spécifiée dans des problèmes classiques concrets et des approches sont proposées pour les résoudre. Nous nous sommes également focalisés sur le problème bi-niveau de vendeur de journaux qui représente une chaîne logistique miniature, concerné par une double incertitude. Les méthodes utilisées offrent une bonne démonstration du traitement des variables incertaines dans les problèmes de décision / Supply chain management involves a wide range of activities. Among most of them, uncertainty exists inherently and always brings some consequence not expected. However, uncertainty is not considered much in conventional supply chain management. In the case where availability of resources is not what we expect, complexity of supply chain management increases. Taking constraints of uncertainty and availability into account, we aim to discuss supply chain management from different aspects. This thesis is an attempt of systematic and complete research from this point and we would like to offer some references to researchers and managers in supply chain. We focus on three classic sources of uncertainty: demand, manufacturing and distribution. For each source of uncertainty, we analyze its cause and its impact to the performance of the supply chain. Uncertainty is specified into concrete classic problem and an approach is proposed to solve it. Furthermore, bi-level newsboy problem as a miniature of supply chain, is focused under double uncertain environment. Treating uncertain variables is actually a treatment on operational level. The methods used offer good demonstration in treating uncertain variables in decision problems
|
493 |
Modélisation numérique de la dynamique des globules rouges par la méthode des fonctions de niveau / Numerical modelling of the dynamics of red blood cells using the level set methodLaadhari, Aymen 06 April 2011 (has links)
Ce travail, à l'interface entre les mathématiques appliquées et la physique, s'articule autour de la modélisation numérique des vésicules biologiques, un modéle pour les globules rouges du sang. Pour cela, le modéle de Canham et Helfrich est adopté pour décrire le comportement des vésicules. La modélisation numérique utilise la méthode des fonctions de niveau dans un cadre éléments finis. Un nouvel algorithme de résolution numérique combinant une technique de multiplicateurs de Lagrange avec une adaptation automatique de maillages garantit la conservation exacte des volumes et des surfaces. Cet algorithme permet donc de dépasser une limitation cruciale actuelle de la méthode des fonctions de niveau, à savoir les pertes de masse couramment observées dans ce type de problémes. De plus, les propriétés de convergence de la méthode des fonctions de niveau se trouvent ainsi grandement améliorées, comme l'indiquent de nombreux tests numériques. Ces tests comprennent notamment des problémes d'advection élémentaires, des mouvements par courbure moyenne ainsi que des mouvements par diffusion de surface. Concernant l'équilibre statique des vésicules, une condition générale d'équilibre d'Euler-Lagrange est obtenue à l'aide d'outils de dérivation de forme. En dynamique, le mouvement d'une vésicule sous l'action d'un écoulement de cisaillement est étudié dans le cadre des nombres de Reynolds élevés. L'effet du confinement est considéré, et les régimes classiques de chenille de char et de basculement sont retrouvés. Finalement, pour la premiére fois, l'effet des termes inertiels est étudié et on montre qu'au delà d'une valeur critique du nombre de Reynolds, la vésicule passe d'un mouvement de basculement à un mouvement de chenille de char. / This work, at the interface between the Applied Mathematics and Physics is connected about the numerical modelisation of biological vesicles, a pattern for the red blood cells. For this reason, the pattern of Canham and Helfrich is adopted to describe the behaviour of the vesicles. The numerical modelisation uses the Level Set method in finite element framework. A new algorithm of numerical resolution combining one technique of Lagrange multipliers with an automatic mesh adaptation ensures the accurate conservation of volumes and surfaces. Thus this algorithm enables to exceed an existing crucial restriction of the Level Set method, that's to say, the wastes of mass usually noticed in this kind of problems. Moreover, the proprieties of convergence of the Level Set method are thus much more improved, as shown in many numerical tests. Those tests chiefly include elementary problems of advection, motions by mean curvature just as motions by spread of surface. Concerning the static equilibrum of the vesicles, a mechanical equilibrum equation (Euler-Lagrange equation) of a vesicle membrane under a generalized elastic bending energy is obtained and the approach is based on shape optimization tools. In dynamics, the motion of a vesicle under the effect of a shear flow is elaborated in the frames of reference of high Reynolds numbers. The effect of confinement is respected, and the standard regimes of tank-treading and of tumbling motion are found again. Finally, for the first time, the effect of the inertia terms is elaborated and we show that beyond a critical value of the number of Reynolds the vesicle passes from a tumbling motion to a tank-treading motion.
|
494 |
Piezoelectric generators based on semiconducting nanowires : simulation and experiments / Générateurs piézoélectrique à base de nanofils semi-conducteurs : simulations et études expérimentalesTao, Ran 31 January 2017 (has links)
L’alimentation en énergie des réseaux de capteurs miniaturisés pose une question fondamentale, dans la mesure où leur autonomie est un critère de qualité de plus en plus important pour l’utilisateur. C’est même une question cruciale lorsque ces réseaux visent à assurer une surveillance d’infrastructure (avionique, machines, bâtiments…) ou une surveillance médicale ou environnementale. Les matériaux piézoélectriques permettent d’exploiter l’énergie mécanique inutilisée présente en abondance dans l’environnement (vibrations, déformations liées à des mouvements ou à des flux d’air…). Ils peuvent ainsi contribuer à rendre ces capteurs autonomes en énergie. Sous la forme de nanofils (NF), les matériaux piézoélectriques offrent une sensibilité qui permet d’exploiter des sollicitations mécaniques très faibles. Ils sont également intégrables, éventuellement sur substrat souple.Dans cette thèse nous nous intéressons au potentiel des nanofils de matériaux semi-conducteurs piézoélectriques, tels que ZnO ou les composés III-V, pour la conversion d’énergie mécanique en énergie électrique. Depuis peu, ceux-ci ont fait l’objet d’études relativement nombreuses, avec la réalisation de nanogénérateurs (NG) prometteurs. De nombreuses questions subsistent toutefois avec, par exemple, des contradictions notables entre prédictions théoriques et observations expérimentales.Notre objectif est d’approfondir la compréhension des mécanismes physiques qui définissent la réponse piézoélectrique des NF semi-conducteurs et des NG associés. Le travail expérimental s’appuie sur la fabrication de générateurs de type VING (Vertical Integrated Nano Generators) et sur leur caractérisation. Pour cela, un système de caractérisation électromécanique a été construit pour évaluer les performances des NG réalisés et les effets thermiques sous une force compressive contrôlée. Le module d’Young et les coefficients piézoélectriques effectifs de NF de GaN; GaAs et ZnO et de NF à structure cœur/coquille à base de ZnO ont été évalués également dans un microscope à force atomique (AFM). Les nanofils de ZnO sont obtenus par croissance chimique en milieu liquide sur des substrats rigides (Si) ou flexibles (inox) puis sont intégrés pour former un générateur. La conception du dispositif VING s’est appuyée sur des simulations négligeant l’influence des porteurs libres, comme dans la plupart des études publiées. Nous avons ensuite approfondi le travail théorique en simulant le couplage complet entre les effets mécaniques, piézoélectriques et semi-conducteurs, et en tenant compte cette fois des porteurs libres. La prise en compte du piégeage du niveau de Fermi en surface nous permet de réconcilier observations théoriques et expérimentales. Nous proposons notamment une explication au fait que des effets de taille apparaissent expérimentalement pour des diamètres au moins 10 fois plus grands que les valeurs prévues par simulation ab-initio ou au fait que la réponse du VING est dissymétrique selon que le substrat sur lequel il est intégré est en flexion convexe ou concave. / Energy autonomy in small sensors networks is one of the key quality parameter for end-users. It’s even critical when addressing applications in structures health monitoring (avionics, machines, building…), or in medical or environmental monitoring applications. Piezoelectric materials make it possible to exploit the otherwise wasted mechanical energy which is abundant in our environment (e. g. from vibrations, deformations related to movements or air fluxes). Thus, they can contribute to the energy autonomy of those small sensors. In the form of nanowires (NWs), piezoelectric materials offer a high sensibility allowing very small mechanical deformations to be exploited. They are also easy to integrate, even on flexible substrates.In this PhD thesis, we studied the potential of semiconducting piezoelectric NWs, of ZnO or III-V compounds, for the conversion from mechanical to electrical energy. An increasing number of publications have recently bloomed about these nanostructures and promising nanogenerators (NGs) have been reported. However, many questions are still open with, for instance, contradictions that remain between theoretical predictions and experimental observations.Our objective is to better understand the physical mechanisms which rule the piezoelectric response of semiconducting NWs and of the associated NGs. The experimental work was based on the fabrication of VING (Vertical Integrated Nano Generators) devices and their characterization. An electromechanical characterization set-up was built to evaluate the performance and thermal effects of the fabricated NGs under controlled compressive forces. Atomic Force Microscopy (AFM) was also used to evaluate the Young modulus and the effective piezoelectric coefficients of GaN, GaAs and ZnO NWs, as well as of ZnO-based core/shell NWs. Among them, ZnO NWs were grown using chemical bath deposition over rigid (Si) or flexible (stainless steel) substrates and further integrated to build VING piezoelectric generators. The VING design was based on simulations which neglected the effect of free carriers, as done in most publications to date. This theoretical work was further improved by considering the complete coupling between mechanical, piezoelectric and semiconducting effects, including free carriers. By taking into account the surface Fermi level pinning, we were able to reconcile theoretical and experimental observations. In particular, we propose an explanation to the fact that size effects are experimentally observed for NWs with diameters 10 times higher than expected from ab-initio simulations, or the fact that VING response is non-symmetrical according to whether the substrate on which it is integrated is actuated with a convex or concave bending.
|
495 |
Reconstruction de muons cosmiques en collision et recherche de gluinos se désintégrant en stop-top dans l’expérience CMS au LHC / Regional reconstruction for muons during collisions and search for gluinos decaying in stop-top in the CMS experiment at the LHCTschudi, Yohann 26 September 2011 (has links)
L'expérience CMS (Compact Muon Solenoid), construite sur l'anneau du LHC (Large Hadron Collider), enregistre des données provenant des collisions proton-proton depuis 2 ans. L'alignement entre toutes les couches du trajectographe, sous-détecteur de CMS permettant la reconstruction et la mesure de l'impulstion des particules chargées, est effectué à l'aide de traces de particules créées lors de la collision et des traces créées par le passage de muons d'origine cosmique à travers ce détecteur. La première partie de ce livre sera dédiée à la reconstruction des traces de ces muons lors des collisions. Une nouvelle méthode, appelée reconstruction cosmique régionale, a été développée et mise en place. L'efficacité de 69% et le taux de faux de l'ordre de 1% permettent l'utilisation de ces traces pour l'alignement. La deuxième partie, portant sur l'analyse des données de collision, s'intéressera à la recherche de particules prédites par un modèle d'extension du Modèle Standard, la Supersymétrie, dans un scénario particulier, le scénario du Stop Léger. Dans le cas d'un fort mélange dans la troisième génération de squarks, le stop, partenaire supersymétrique du quark top, peut être léger. Dans l'analyse effectuée au cours de cette thèse, nous nous sommes intéressés au cas au mstop < mtop. Dans le MSSM avec conservation de la R-parité, le gluino serait formé par paire et se désintégrerait en un squark stop et un quark top. Le stop se désintégrerait quant-à-lui en un quark c et un neutralino, particule supersymétrique la plus légère du modèle, stable et interagissant faiblement. Aucun excès par rapport aux prédictions du Modèle Standard n'a été relevé en utilisant les 40pb-1 de données enregistrées par CMS en 2010. Les limites obtenues à 95% de niveau de confiance permettent d'exclure des masses de stop jusqu'à 175 GeV pour des masses de gluinos allant jusqu'à 350 GeV et des faibles différences de masses entre le stop et le neutralino / The CMS experiment (Compact Muon Solenoid), built on the ring of the LHC (Large Hadron Collider), is recording data from proton-proton collisions for 2 years now. The alignment between all layers of the tracker, the sub-detector of CMS allowing the reconstruction and the measurement of the momentum of charged particles, is made by using tracks of particles created during collisions and tracks created by the passage of cosmic muons through this sub-detector. A first part of the presentation will be dedicated to the reconstruction of the tracks of these cosmic muons during collisions. A new method, called regional cosmic reconstruction, was developed and implemented. The 69 % efficiency and the fake rate around 1 % allow to use these tracks for the alignment. The second part, dedicated to the analysis of collision data, will concern the search of particles predicted by a model of extension of the Standard Model, the Supersymmetry, in a particular scenario, the light Stop scenario. In the case of a strong mixing in the third generation of squarks, the stop, supersymmetric partner of the top quark, could be light. In the analysis developped during this thesis, we were interested in the case where the mstop < mtop. In the MSSM with R-parity conservation, the gluino would be created by pair and would decay in a stop squark and a top quark. Stop would decays in a c quark and a neutralino, the lightest supereymmetric particle of the model, stable and interacting weakly. No excess with regards to Standard Model predictions was observed in 40pb-1 of data recorded by CMS in 2010. The limits obtained at 95 % confidence level allow to exclude masses of stop until 175 GeV for masses of gluinos going up to 350 GeV and low differences of masses between stop and neutralino
|
496 |
Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles / Algorithmic skeletons for efficient programming and execution of parallel codesLegaux, Joeffrey 13 December 2013 (has links)
Les architectures parallèles sont désormais présentes dans tous les matériels informatiques, mais les programmeurs ne sont généralement pas formés à leur programmation dans les modèles explicites tels que MPI ou les Pthreads. Il y a un besoin important de modèles plus abstraits tels que les squelettes algorithmiques qui sont une approche structurée. Ceux-ci peuvent être vus comme des fonctions d’ordre supérieur synthétisant le comportement d’algorithmes parallèles récurrents que le développeur peut ensuite combiner pour créer ses programmes. Les développeurs souhaitent obtenir de meilleures performances grâce aux programmes parallèles, mais le temps de développement est également un facteur très important. Les approches par squelettes algorithmiques fournissent des résultats intéressants dans ces deux aspects. La bibliothèque Orléans Skeleton Library ou OSL fournit un ensemble de squelettes algorithmiques de parallélisme de données quasi-synchrones dans le langage C++ et utilise des techniques de programmation avancées pour atteindre une bonne efficacité. Nous avons amélioré OSL afin de lui apporter de meilleures performances et une plus grande expressivité. Nous avons voulu analyser le rapport entre les performances des programmes et l’effort de programmation nécessaire sur OSL et d’autres modèles de programmation parallèle. La comparaison rigoureuse entre des programmes parallèles dans OSL et leurs équivalents de bas niveau montre une bien meilleure productivité pour les modèles de haut niveau qui offrent une grande facilité d’utilisation tout en produisant des performances acceptables. / Parallel architectures have now reached every computing device, but software developers generally lackthe skills to program them through explicit models such as MPI or the Pthreads. There is a need for moreabstract models such as the algorithmic skeletons which are a structured approach. They can be viewed ashigher order functions that represent the behaviour of common parallel algorithms, and those are combinedby the programmer to generate parallel programs. Programmers want to obtain better performances through the usage of parallelism, but the development time implied is also an important factor. Algorithmic skeletons provide interesting results in both those fields. The Orléans Skeleton Library or OSL provides a set of algorithmic skeletons for data parallelism within the bulk synchronous parallel model for the C++ language. It uses advanced metaprogramming techniques to obtain good performances. We improved OSL in order to obtain better performances from its generated programs, and extended its expressivity. We wanted to analyze the ratio between the performance of programs and the development effort needed within OSL and other parallel programming models. The comparison between parallel programs written within OSL and their equivalents in low level parallel models shows a better productivity for high level models : they are easy to use for the programmers while providing decent performances.
|
497 |
Etude et modélisation compacte du transistor FinFET ultime / Study and compact modeling of ultimate FinFET transistorChevillon, Nicolas 13 July 2012 (has links)
Une des principales solutions technologiques liées à la réduction d’échelle de la technologie CMOS est aujourd’hui clairement orientée vers les transistors MOSFET faiblement dopés à multiples grilles. Ceux-ci proposent une meilleure immunité contre les effets canaux courts comparés aux transistors MOSFET bulk planaires (cf. ITRS 2011). Parmi les MOSFETs à multiples grilles, le transistor FinFET SOI est un candidat intéressant de par la similarité de son processus de fabrication avec la technologie des transistors planaires. En parallèle, il existe une réelle attente de la part des concepteurs et des fonderies à disposer de modèles compacts efficaces numériquement, précis et proches de la physique, insérés dans les « design tools » permettant alors d’étudier et d’élaborer des circuits ambitieux en technologie FinFET. Cette thèse porte sur l’élaboration d’un modèle compact orienté conception du transistor FinFET valide aux dimensions nanométriques. Ce modèle prend en compte les effets canaux courts, la modulation de longueur de canal, la dégradation de la mobilité, leseffets de mécanique quantique et les transcapacités. Une validation de ce modèle est réalisée par des comparaisons avec des simulations TCAD 3D. Le modèle compact est implémenté en langage Verilog-A afin de simuler des circuits innovants à base de transistors FinFET. Une modélisation niveau-porte est développée pour la simulation de circuits numériques complexes. Cette thèse présente également un modèle compact générique de transistors MOSFET SOI canaux long faiblement dopés à multiple grilles. La dépendance à la température est prise en compte. Selon un concept de transformation géométrique, notre modèle compact du transistor MOSFET double grille planaire est étendu pour s’appliquer à tout autre type de transistor MOSFET à multiple grille (MuGFET). Une validation expérimentale du modèle MuGFET sur un transistor triple grille est proposée. Cette thèse apporte enfin des solutions pour la modélisation des transistors MOSFET double grille sans jonction. / One of the main technological solutions related to downscaling of CMOS technology is now clearly oriented to lightly doped multigate MOSFETs. They offer better immunity against short channel effects compared to planar bulk MOSFETs (see ITRS 2011). Among the multigate MOSFETs, the SOI FinFET transistor is an interesting candidate because of the similarity of its manufacturing process with the planar transistor technology. In parallel, there is a real expectation on the part of designers and foundries to have compact models numerically efficient, accurate and close to the physics, and then inserted in to the design tools in order to study and develop ambitious circuits in FinFET technology. This thesis focuses on the development of a design-oriented compact model of FinFET transistor valid to nanoscale dimensions. This model takes into account the short channel effects, the channel length modulation, the mobility degradation, the quantum mechanic effects and the transcapacitances. A validation of this model is carried out by comparisons with 3DTCAD simulations. The compact model is implemented in Verilog-A to simulate innovative FinFET-based circuits. A gate-level modeling is developed for the simulation of complex digital circuits. This thesis also presents a generic compact modeling of multigate SOI MOSFETs with lightly doped channels and temperature dependent. According to a concept of geometric transformation, our compact model of the planar double-gate MOSFET is extended to be applied to any other type of multigate MOSFETs (MuGFET). An experimental validation of the MuGFET compact model with a triple gate transistor is proposed. This thesis finally brings solutions for the modeling of junction less double-gate MOSFET.
|
498 |
Pronostic des systèmes complexes par l’utilisation conjointe de modèle de Markov caché et d’observateur / Prognosis of complex systems based on the joint use of an observer and a hidden Markov modelAggab, Toufik 12 December 2016 (has links)
Cette thèse porte sur le diagnostic et le pronostic pour l’aide à la maintenance de systèmes complexes. Elle présente deux approches de diagnostic/pronostic qui permettent de générer les indicateurs utiles pour l’optimisation de la stratégie de maintenance. Plus précisément, ces approches permettent d’évaluer l’état de santé et de prédire la durée de vie résiduelle du système. Les approches présentées visent en particulier à pallier le problème d’absence d’indicateurs de dégradation. Les développements sont fondés sur l’utilisation d’observateurs, de formalisme de Modèle de Markov Caché, des méthodes d’inférences statistiques et des méthodes de prédiction de séries temporelles à base d’apprentissage afin de caractériser et prédire les modes de fonctionnement du système. Les deux approches sont illustrées sur des exemples de dégradation d’un système de régulation de niveau d’eau, d’une machine asynchrone et d’une batterie Li-Ion. / The research presented in this thesis deals of diagnosis and prognosis of complex systems. It presents two approaches that generate useful indicators for optimizing maintenance strategies. Specifically, these approaches are used to assess the level of degradation and estimate the Remaining Useful Life of the system. The aim of these approaches is to overcome for the lack of degradation indicators. The developments are based on observers, Hidden Markov Model formalism, statistical inference methods and learning-based methods in order to characterize and predict the system operating modes. To illustrate the proposed failure diagnosis/prognosis approaches, a simulated tank level control system, an induction motor and a Li-Ion battery were used.
|
499 |
Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception / From timed component-based systems to time-triggered implementations : a correct-by-design approachGuesmi, Hela 27 October 2017 (has links)
Dans le domaine des systèmes temps-réel embarqués critiques, les méthodes de conception et de spécification et leurs outils associés doivent permettre le développement de systèmes au comportement temporel déterministe et, par conséquent, reproductible afin de garantir leur sûreté de fonctionnement. Pour atteindre cet objectif, on s’intéresse aux méthodologies de développement basées sur le paradigme Time-Triggered (TT). Dans ce contexte, nombre de propriétés et, en particulier, les contraintes temps-réel de-bout-en-bout, se voient satisfaites par construction. Toutefois, garantir la sûreté de fonctionnement de tels systèmes reste un défi. En général, les outils de développement existants n’assurent pas par construction le respect de l’intégralité des spécifications, celles-ci doivent, en général, être vérifiées à posteriori. Avec la complexité croissante des applications embarquées, celle de leur validation à posteriori devient, au mieux, un facteur majeur dans les coûts de développement et, au pire, tout simplement impossible. Il faut, donc, définir une méthode qui, tout en permettant le développement des systèmes corrects par constructions, structure et simplifie le processus de spécification. Les méthodologies de conception de haut niveau à base de composants, qui permettent la conception et la vérification des systèmes temps-réels critiques, présentent une solution ultime pour la structuration et la simplification du processus de spécification de tels systèmes.L’objectif de cette thèse est d'associer la méthodologie BIP (Behaviour-Interaction-Priority) qui est une approche de conception basée sur composants avec la plateforme d'exécution PharOS, qui est un système d'exploitation temps-réel déterministe orienté sûreté de fonctionnement. Le flot de conception proposé dans cette thèse est une approche transformationnelle qui permet de conserver les propriétés fonctionnelles des modèles originaux de BIP. Il est composé essentiellement de deux étapes. La première étape, paramétrée par un mapping de tâche défini par l'utilisateur, permet de transformer un modèle BIP en un modèle plus restreint qui représente une description haut niveau des implémentations basées sur des primitives de communication TT. La deuxième étape permet la génération du code pour la plateforme PharOS à partir de ce modèle restreint.Un ensemble d'outils a été développé dans cette thèse afin d'automatiser la plupart des étapes du flot de conception proposé. Ceci a permis de tester cette approche sur deux cas d'étude industriels ; un simulateur de vol et un relais de protection moyenne tension. Dans les deux applications, on vise à comparer les fonctionnalités du modèle BIP avec celles du modèle intermédiaire et du code généré. On fait varier les stratégies de mapping de tâche dans la première application, afin de tester leur impact sur le code généré. Dans la deuxième application, on étudie l'impact de la transformation sur le code généré en comparant quelques aspects de performance du code générer avec ceux d'une version de l'application qui a été développée manuellement. / In hard real-time embedded systems, design and specification methods and their associated tools must allow development of temporally deterministic systems to ensure their safety. To achieve this goal, we are specifically interested in methodologies based on the Time-Triggered (TT) paradigm. This paradigm allows preserving by construction number of properties, in particular, end-to-end real-time constraints. However, ensuring correctness and safety of such systems remains a challenging task. Existing development tools do not guarantee by construction specification respect. Thus, a-posteriori verification of the application is generally a must. With the increasing complexity of embedded applications, their a-posteriori validation becomes, at best, a major factor in the development costs and, at worst, simply impossible. It is necessary, therefore, to define a method that allows the development of correct-by-construction systems while simplifying the specification process.High-level component-based design frameworks that allow design and verification of hard real-time systems are very good candidates for structuring the specification process as well as verifying the high-level model.The goal of this thesis is to couple a high-level component-based design approach based on the BIP (Behaviour-Interaction-Priority) framework with a safety-oriented real-time execution platform implementing the TT approach (the PharOS Real-Time Operating System). To this end, we propose an automatic transformation process from BIPmodels into applications for the target platform (i.e. PharOS).The process consists in a two-step semantics-preserving transformation. The first step transforms a BIP model coupled to a user-defined task mapping into a restricted one, which lends itself well to an implementation based on TT communication primitives. The second step transforms the resulting model into the TT implementation provided by the PharOS RTOS.We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on an industrial case study for a flight Simulator application and a medium voltage protection relay application. In both applications, we compare functionalities of both original, intermediate and final model in order to confirm the correctness of the transformation. For the first application, we study the impact of the task mapping on the generated implementation. And for the second application, we study the impact of the transformation on some performance aspects compared to a manually written version.
|
500 |
Currículo centrado em Competências: concepção e implicações na formação técnico-profissional - estudando o caso do CEFET/MA. / Currículum Centrede en Compétences: conception et implications sur la formation technique-professionnelle - étudien le case de le CEFET/MA.MORAES, Lélia Cristina Silveira de January 2006 (has links)
MORAES, Lélia Cristina Silveira de. Currículo centrado em competências: concepção e implicações na formação técnico-profissional: estudando o caso do CEFET/MA. 2006. 259f. Tese (Doutorado em Educação) – Universidade Federal do Ceará. Faculdade de Educação, Programa de Pós-Graduação em Educação Brasileira, Fortaleza-CE, 2006. / Submitted by Raul Oliveira (raulcmo@hotmail.com) on 2012-07-05T13:43:42Z
No. of bitstreams: 1
2006_Tese_LCSMoraes.pdf: 2098682 bytes, checksum: dfb44fd85a8a7106ffd1ca27fb361bf0 (MD5) / Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2012-07-19T14:08:50Z (GMT) No. of bitstreams: 1
2006_Tese_LCSMoraes.pdf: 2098682 bytes, checksum: dfb44fd85a8a7106ffd1ca27fb361bf0 (MD5) / Made available in DSpace on 2012-07-19T14:08:50Z (GMT). No. of bitstreams: 1
2006_Tese_LCSMoraes.pdf: 2098682 bytes, checksum: dfb44fd85a8a7106ffd1ca27fb361bf0 (MD5)
Previous issue date: 2006 / On étudie le modèle curriculaire organisé par des compétences, basé sur la conception et les implications sur la formation professionnelle de niveau technique, ayant comme point d’analyse le Centre Fédéral d’Éducation Technologique du Maranhão, plus précisement le cours de Programmation d’Ordinateurs. Des professeurs, des élèves, des ex-élèves, des dirigeants de l’institution et des entreprises travaillant dans le stage ont été impliqués dans cette recherche. Le modèle en question se situe dans l’ensemble des politiques de recomposition du capitalisme contemporain, défini dans les orientations et dispositifs de la LDB 9394/1996, qui, tisser alors, la compréhension sur sa signification et ses articulations dans la dispute idéologique et hégémonique présente dans l’Éducation Professionnelle dans le contexte actuel. On reprend historiquement le processus d’organisation de l’Éducation Professionnelle au Brésil, plus précisement de l’Enseignement Technique Industriel, en essayant d’identifier sa relation avec les politiques définies à chaque période de mise en place des réformes de l’éducation, vérifiant sa harmonie avec les changements dans la dynamique du monde économique. Sous la même logique, on analyse les réformes curriculaires qui ont présidé la formation professionnelle le long de sa trajectoire historique, visant les directives et les principes qui orientent le curriculum actuel, inspiré sur le modèle des compétences. Enfin, on entre plus spécifiquement dans la discussion du modèle curriculaire organisé par compétences, visant la comprendre son origine et le développement dans le domaine de l’éducation, bien que la conception qui oriente le plan curriculaire du cours en question et ses implcations dans la formation technique-professionnelle, en relevant les défis qui s’imposent à l’ecole lors de son adoption, ce qui nous a permis de conclure que le manque de précisions et les réductions présentes dans ce modèle, donc, les incertitudes et les difficultés vécues par l’école après son adoption ajoutent la suite de pratiques précédentes, sans qu’on s’aperçoive des progrès relevants sur la formation des techniciens. La tessiture de cette démarche a été soutenue dans la conception théorique-méthodologique de la dialectique, laquelle nous a fourni les éléments pour appréhender l’essence de l’objet étudié. Ainsi, le long de la thèse, on l’entoure à travers une relation dynamique entre les catégories méthodologiques et celles qui sont spécifiques, concernant l’objet. Mots-clés : Curriculum. Formation professionnelle. Technicien de niveau moyen. Compétences. / Estuda-se o modelo curricular organizado por competências, com foco na concepção e implicações na formação profissional de nível técnico, tendo como campo de análise o Centro Federal de Educação Tecnológica do Maranhão, mais especificamente o curso de Programação de Computadores, envolvendo professores, alunos, egressos e dirigentes da Instituição e ainda empresas que atuam como campo de estágio. Situa-se o referido modelo no conjunto das políticas de recomposição do capitalismo contemporâneo, expresso nas orientações e dispositivos da LDB 9394/1996, para, então, tecer a compreensão sobre o seu significado e suas articulações na disputa ideológica e hegemônica presente no âmbito da Educação Profissional, no atual contexto. Retoma-se historicamente o processo de organização da Educação Profissional no Brasil, mais particularmente do Ensino Técnico Industrial, buscando identificar a sua relação com as políticas traçadas em cada período de efetivação das reformas educacionais, verificando-se a sua sintonia com as mudanças na dinâmica do mundo econômico. Caminhando na mesma lógica, analisam-se as reformas curriculares que presidiram a formação profissional ao longo da sua trajetória histórica, focando as diretrizes e princípios que orientam o atual currículo, idealizado no modelo das competências. Finalmente, adentra-se mais especificamente a discussão do modelo curricular organizado por competências, visando a compreender a sua origem e desenvolvimento no campo educativo, bem como a concepção que norteia o plano curricular do curso estudado e suas implicações na formação técnico-profissional, destacando os desafios que se impõem à escola com a sua adoção, o que permitiu concluir-se que as imprecisões e reducionismos presentes nesse modelo e, portanto, as incertezas e dificuldades vividas pela escola com a sua adoção reiteram a continuidade de práticas anteriores, sem que se verifiquem avanços substanciais na formação dos técnicos. A tecitura dessa caminhada foi sustentada na concepção teórico-metodológica da dialética que forneceu os elementos para que se apreendesse a essência do objeto estudado. Assim sendo, ao longo da tese cerca-se, esse objeto, mediante uma relação dinâmica entre as categorias metodológicas e aquelas específicas, relativas a este. Palavras-chave: Currículo. Formação Profissional. Técnico em Nível Médio. Competências.
|
Page generated in 0.0247 seconds