Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Cette thèse propose de cartographier le parcours de navigation des usagers des EIAH pour le visualiser, visualiser pour interpréter et interpréter pour anticiper. Les profils d'apprentissage ont une influence sur les modes de navigation dans un environnement d'apprentissage en ligne. S'appuyant sur une méthodologie capable de modéliser le parcours de navigation d'un usager et d'anticiper son prochain clic sur une plateforme, notre étude cherche à élargir le champ des connaissances de l'efficacité/performance des styles d'apprentissage. La méthodologie utilisée repose sur l'analyse des traces d'utilisation élaborée à partir de 63 archives logs Web, incluant 4637 lignes de registre et 13 206 possibilités de choix de module. Le travail de recherche s'inscrit dans le cadre d'approches associant sémiologie, des sciences de l'information, psychologie cognitive et sciences de l'éducation. Trois observations ont été menées, générant des informations sur le profil de l'usager, la représentation des parcours et l'impact du style d'apprentissage dans le choix des fonctionnalités de travail offertes disponibles sur la plateforme. Les principaux résultats sont de deux types : d'une part, l'élaboration d'un outil convertissant les traces des fichiers log en parcours de navigation, et d'autre part, la confirmation d'un lien entre style d'apprentissage et mode de navigation. Ce deuxième résultat permet d'élaborer une méthode d'anticipation du nouveau choix de module sur une plateforme numérique de travail. Les applications pratiques visant à rendre exploitables ces traces dans les formations universitaires sont l'élaboration de bilans de qualité (ressources préférées, fonctionnalités moins utilisées) et l'identification des besoins de médiation pédagogique pour la compréhension de la tâche ou du processus (identifié par exemple dans l'insistance sur le module de consignes, le temps investi par un groupe ou par des trajets répétés). Cette thèse s'adresse principalement aux responsables pédagogiques universitaires décideurs de l'intégration des TIC, et par extension, aux étudiants universitaires et aux concepteurs d'outils d'apprentissage.

Les avancées technologiques du monde du " sans fil " ont conduit au développement d'applications dédiées à l'informatique mobile. Leurs caractéristiques propres posent de nouveaux défis pour leur vérification. Ce mémoire traite de la technologie de test pour les systèmes mobiles. Nous avons débuté notre travail par un état de l'art sur le test des applications mobiles conjointement avec une analyse d'une étude de cas, un protocole d'appartenance de groupe (GMP) dans le domaine des réseaux ad hoc, pour nous permettre de mieux comprendre les problèmes liés au test de ces applications. En conséquence, nous avons décidé d'avoir une approche de test qui se base sur les descriptions de scénarios. Nous avons constaté que les scénarios d'interactions doivent tenir compte des configurations spatiales des nœuds comme un concept majeur. Afin de couvrir les nouvelles spécificités des systèmes mobiles dans les langages de descriptions, nous avons introduit des extensions qui portent essentiellement sur les relations spatio-temporelles entre nœuds et sur la communication par diffusion. Le traitement de l'aspect spatial a conduit au développement de l'outil GraphSeq. GraphSeq a pour but d'analyser des traces de test afin d'y identifier des occurrences de configurations spatiales successives décrites à partir d'un scénario abstrait. L'application de GraphSeq (support à l'implémentation des cas de test, vérification de la couverture des traces) est présentée avec les analyses des sorties d'un simulateur de mobilité et des traces d'exécution de l'étude de cas GMP.

Souvent, dû à l'aspect cyclique des programmes embarqués, les traces de microcontrôleurs contiennent beaucoup de données. De plus, dans notre contexte de travail, pour l'analyse du comportement, une seule trace se terminant sur une défaillance est disponible. L'objectif du travail présenté dans cette thèse est d'aider à l'analyse de trace de microcontrôleurs. La première contribution de cette thèse concerne l'identification de cycles, ainsi que la génération d'une description pertinente de la trace. La détection de cycles repose sur l'identification du loop-header. La description proposée à l'ingénieur est produite en utilisant la compression basée sur la génération d'une grammaire. Cette dernière permet la détection de répétitions dans la trace. La seconde contribution concerne la localisation de faute(s). Elle est basée sur l'analogie entre les exécutions du programme et les cycles. Ainsi, pour aider dans l'analyse de la trace, nous avons adapté des techniques de localisation de faute(s) basée sur l'utilisation de spectres. Nous avons aussi défini un processus de filtrage permettant de réduire le nombre de cycles à utiliser pour la localisation de faute(s). Notre troisième contribution concerne l'aide à l'analyse des cas où les multiples cycles d'une même exécution interagissent entre eux. Ainsi, pour faire de la localisation de faute(s) pour ce type de cas, nous nous intéressons à la recherche de règles d'association. Le groupement des cycles en deux ensembles (cycles suspects et cycles corrects) pour la recherche de règles d'association, permet de définir les comportements jugés correctes et ceux jugés comme suspects. Ainsi, pour la localisation de faute(s), nous proposons à l'ingénieur un diagnostic basé sur l'analyse des règles d'association selon leurs degrés de suspicion. Cette thèse présente également les évaluations menées, permettant de mesurer l'efficacité de chacune des contributions discutées, et notre outil CoMET. Les résultats de ces évaluations montrent l'efficacité de notre travail d'aide à l'analyse de traces de microcontrôleurs. / The microcontroller traces contain a huge amount of information. This is mainly due to the cyclic aspect of embedded programs. In addition, in our context, a single trace that ends at the failure is used to analyze the behavior of the microcontroller . The work presented in this thesis aims to assit in analysis of microcontroller traces. The first contribution of this thesis concerns the identification of cycles and the generation of a relevant description of the trace. The detection of cycles is based on the identification of the loop-header. The description of the trace is generated using Grammar-Based Compression, which allows the detection of repetitions in the trace. The second contribution concerns the fault localization. Our approach is based on the analogy between executions and cycles. Thus, this contribution is an adaptation of some spectrum-based fault localization techniques. This second contribution also defines a filtering process, which aims to reduce the number of cycles used by the fault localization. The third contribution considers that the multiple cycles of a same execution can interact together. Our fault localization for this type of cases is based on the use of association rules. Grouping cycles in two sets (suspect cycles and correct cycles), and searching for association rules using those two sets, helps to define the behaviors considered as corrects and those considered as suspects. This thesis presents the experimental evaluations concerning our contributions, and our tool CoMET.

Notre travail de recherche s’inscrit dans le cadre du projet de recherche REDiM (Réingénierie des EIAH Dirigée par les Modèles) qui porte sur la réingénierie d'un scénario pédagogique. Il se focalise plus précisément sur l'analyse de traces collectées en session par un EIAH pour fournir à l'enseignant des indicateurs calculés.Dans notre contexte de travail, UTL (Usage Tracking Language) permet de définir des indicateurs sous une forme proche des patrons de conception. Il a été conçu pour répondre aux questions de capitalisation et de réutilisation. Par contre, UTL ne disposait initialement pas de moyens pour spécifier formellement la façon de calculer l’indicateur à partir des traces collectées. De plus, les approches par développement ad hoc d’indicateurs ne permettent pas de modéliser de façon formelle la méthode de calcul. En général, les patrons de conception se limitent à la description, ils ne peuvent donc pas être automatisés. Des descriptions textuelles dans UTL pour produire un indicateur à partir des traces ne permettent pas de générer automatiquement les valeurs d’un indicateur.Notre principal objectif de recherche a donc été de définir des modèles, des méthodes et des outils pour la formalisation et l’automatisation du calcul d’indicateurs. Pour cela, nous avons élaboré une nouvelle version d’UTL qui intègre un langage de combinaison de données nommé DCL4UTL, qui permet de modéliser des indicateurs sous une forme capitalisable, automatisable et réutilisable afin de fournir des indicateurs signifiants à l’enseignant/concepteur. Ces indicateurs peuvent être calculés en temps réel ou après une session, respectivement dans un contexte de tutorat ou de réingénierie du scénario pédagogique.L'originalité de notre approche réside dans le fait que cette version permet non seulement de capitaliser des savoir-faire sur les techniques d'analyse d'usage d'un EIAH, mais aussi, avec le langage DCL4UTL (1) de décrire formellement dans une forme générique des méthodes de modélisation et de calcul d’indicateurs à partir des traces collectées par un EIAH, (2) d’intégrer des fonctions externes (qui proviennent d’autres outils d’analyse), et (3) de créer des données intermédiaires paramétrées facilitant la modélisation et la réutilisation de la méthode de calcul d’indicateurs. Nous avons également développé un outil d’analyse pour calculer les indicateurs modélisés.Cette version est le résultat d'une étude théorique et d’une analyse de l’état de l’art, mais aussi de travaux exploratoires sur la modélisation d’indicateurs et l’analyse de traces. L’approche et le langage ont été validés par plusieurs expérimentations avec plusieurs EIAH existants. / The research topic of this thesis is a part of the REDIM (model driven re-engineering) research project. It focuses specifically on the analysis of tracks collected during the learning session by a TEL (Technology Enhanced Learning) system in order to provide teachers indicators calculated. In our work environment, UTL (Usage Tracking Language) allows users to define the indicators in a form close to the design patterns. It was designed to response capitalization and reuse questions. However, UTL did not initially have any means to formally specify how to calculate indicators based on tracks collected. In general, design patterns are limited to the description, they cannot be automated. In addition, textual descriptions in UTL to produce indicators from tracks do not allow generating automatically an indicator’s values.Our main research objective was therefore to define models, methods and tools for formalizing and automating the calculation of indicators. We propose an extension for UTL named DCL4UTL (Data Combination Language for UTL) to model indicators in a capitalizable, automatable and reusable form to provide meaningful indicators to teachers/designers. With this new version, the indicators can be calculated in real-time or after a learning session in the context of tutoring actions or the reengineering of learning scenarios, respectively.The originality of our approach (DCL4UTL) lies in the fact that this version not only capitalize know-how on analysis techniques of the use an TEL system, but also (1) formally describe models and calculation methods of indicators from tracks collected by a TEL system, (2) integrate external functions (from other analysis tools), and (3) create parameterized intermediate data facilitating the modeling and reuse of indicators’ calculation method. We have also developed an analysis tool to calculate modeled indicators. Our approach and language have been validated by several experiments with several existent TEL systems.

Ce document présente nos recherches dans le domaine des EIAH (Environnements Informatiques pour l'Apprentissage Humain). Ces travaux se sont structurés en tant que projet scientifique impliquant plusieurs chercheurs. <br />Ce projet, REDiM (Réingénierie des EIAH Dirigée par les Modèles), a pour objectif d'intégrer les enseignants et les formateurs de terrain dans le processus de conception d'un EIAH. La posture scientifique générale est de considérer la conception comme continue, supportée par un processus itératif alternant des phases d'analyse des usages et de réingénierie de l'EIAH, dans une approche dirigée par les modèles. Nous entendons en cela promouvoir une démarche d'ingénierie générative où l'EIAH est généré à partir de modèles prescriptifs (i.e. qui définissent et encadrent l'activité des acteurs de l'EIAH) ou, ad minima, prédictifs (i.e. qui décrivent et préconisent l'activité idéale que les acteurs de l'EIAH devraient avoir). Cette démarche d'ingénierie a également pour objectif de construire des modèles descriptifs qui rendent compte des situations pédagogiques observées, directement manipulables et interprétables par les concepteurs enseignants ou formateurs. Nos travaux se sont centrés sur une famille particulière de modèles d'un EIAH : les scénarios pédagogiques.<br />La première partie de ce document se consacre à définir notre position et notre problématique scientifiques. A partir d'exemples concrets extraits de nos expérimentations, nous listons les situations de conception qu'il convient d'éviter pour impliquer les enseignants et les formateurs dans les processus actifs de l'ingénierie d'un EIAH. Nous proposons alors une première problématisation de notre objet d'étude, l'ingénierie et la réingénierie d'un scénario pédagogique, et positionnons nos travaux par rapport à ceux de la communauté nationale et internationale qui leur sont connexes. Cette première partie se conclut par une présentation de notre problématique scientifique et de notre méthodologie de recherche.<br />La seconde partie de ce document présente nos résultats de recherche. Un premier ensemble de travaux s'est attaché à définir un modèle de l'ingénierie et de la réingénierie d'un scénario pédagogique. Ce modèle identifie les processus actifs participant au développement d'un scénario pédagogique et caractérise les flux de communication entre ces processus par les artefacts échangés. Un deuxième ensemble de travaux se centre sur l'instrumentation des activités de modélisation et d'analyse des observations de l'utilisation d'un EIAH. Nous proposons notamment un langage permettant (1) de définir ce qu'il faut observer pendant une session d'apprentissage, (2) de décrire la méthode d'analyse des observations collectées et (3) de représenter ces observations de manière à construire un ensemble de scénarios descriptifs qui rendent comptent des situations pédagogiques observées. Les caractéristiques de ce langage favorisent la capitalisation et le partage des savoir-faire d'analyse des traces d'utilisation d'un EIAH.<br />La dernière partie de ce document fait une synthèse de nos contributions et dresse un ensemble de perspectives de recherche sur l'instrumentation de l'enseignant dans son rôle de concepteur d'un EIAH, sur la définition et l'exploitation de modèles productifs pour le développement d'un EIAH et sur les moyens et les enjeux de la capitalisation et du partage des savoir-faire en matière d'ingénierie et de réingénierie d'un EIAH.

L'avenir de la communication est perçu comme étant quasiment exclusivement constitué de nœuds mobiles évoluant dans un réseau mobile. Dans ce contexte, différentes approches contribuent continuellement à l'amélioration directe ou indirecte des délais d'acheminement des informations échangées entre les utilisateurs, dont :- l'analyse des traces;- l'évaluation des performances ;- les services de localisation;- le routage. Nous décrivons chacun de ses thèmes et proposons des solutions faisant évoluer l'état de l'art. Celles-ci prennent appui sur des méthodes et outils tels que :- les Réseaux de Petri, pour l'analyse des traces ;- les modèles de mobilité, pour l'évaluation des performances;- l'introduction du social dans les services de localisation;- la mise en place d'une nouvelle métrique pour le routage. Nous montrons comment ces solutions concourent de façon complémentaire les unes avec les autres, à améliorer l'expérience de l'utilisateur. / Future of communication is perceived as being almost exclusively composed of mobile nodes operating in a mobile network. In this context, different approaches contribute to continually improve directly or indirectly, delivery times of information exchanged between users, including:- Trace analysis,- Performance evaluation,- Location services,- Routing.We describe each of these topics and propose solutions by changing the state of the art.These are supported by tools and methods such as:- Petri Nets for Trace analysis,- Mobility Models for Performance evaluation,- Social addings in Location services,- The establishment of metrics for Routing.We show how these solutions work together in a complementary manner with each other, to improve the user experience.

Cette thèse propose de cartographier le parcours de navigation des usagers des EIAH pour le visualiser, visualiser pour interpréter et interpréter pour anticiper. Les profils d'apprentissage ont une influence sur les modes de navigation dans un environnement d'apprentissage en ligne. S’appuyant sur une méthodologie capable de modéliser le parcours de navigation d’un usager et d’anticiper son prochain clic sur une plateforme, notre étude cherche à élargir le champ des connaissances de l'efficacité/performance des styles d'apprentissage. La méthodologie utilisée repose sur l’analyse des traces d'utilisation élaborée à partir de 63 archives logs Web, incluant 4637 lignes de registre et 13 206 possibilités de choix de module. Le travail de recherche s’inscrit dans le cadre d’approches associant sémiologie, des sciences de l’information, psychologie cognitive et sciences de l’éducation. Trois observations ont été menées, générant des informations sur le profil de l’usager, la représentation des parcours et l’impact du style d’apprentissage dans le choix des fonctionnalités de travail offertes disponibles sur la plateforme. Les principaux résultats sont de deux types : d’une part, l’élaboration d’un outil convertissant les traces des fichiers log en parcours de navigation, et d’autre part, la confirmation d’un lien entre style d’apprentissage et mode de navigation. Ce deuxième résultat permet d’élaborer une méthode d’anticipation du nouveau choix de module sur une plateforme numérique de travail. Les applications pratiques visant à rendre exploitables ces traces dans les formations universitaires sont l’élaboration de bilans de qualité (ressources préférées, fonctionnalités moins utilisées) et l’identification des besoins de médiation pédagogique pour la compréhension de la tâche ou du processus (identifié par exemple dans l’insistance sur le module de consignes, le temps investi par un groupe ou par des trajets répétés). Cette thèse s’adresse principalement aux responsables pédagogiques universitaires décideurs de l’intégration des TIC, et par extension, aux étudiants universitaires et aux concepteurs d’outils d’apprentissage. / This thesis presents a methodology capable of modelling the course of educational browsing of an EIAH user to visualise it in order to interpret it and to anticipate. The learning profiles influence browsing styles in e-learning environment. Based on a methodology able to create models of the browsing behaviour of a user and to anticipate the following step on a platform, our study tries to widen the knowledge of the efficiency of different learning styles. The applied methodology is the analysis of the marks left by the user taken from 63 archives of Web logs including 4637 lines of register and 13 206 possible choices of modules. This research study combines theoretical approaches mixing semiology, sciences of information, cognitive psychology and sciences of education. Three observations have been led, giving information on users’ profile, representations of courses and impacts of the mode of learning in the choice of working features offered on the platform.The main contributions are two types: On one hand, the elaboration of a tool converting tracks of files log in signs possible to be visualized as courses of educational browsing. On the other hand, the confirmation of the relationship between ways of learning and styles of browsing giving rise to a method of anticipation of a new choice of module on the digital working platform. The practical applications aim at making exploitable these tracks in university education which can be of use to the elaboration of quality assessments (resources preferred, less used features) and the identification of the needs of educational mediation for clarification of the task or of the process (identified by the emphasis on the module of instructions, on time invested by a group or repeated routes).This thesis addresses mainly persons in charge of integrating ICTS at university level and further, university students and designers of learning tools.

Le travail doctoral concerne l’étude des dynamiques de changement en faveur de pratiques éco-citoyennes et liées à la mobilité via la communication numérique engageante. La question de recherche qui en découle relève de la définition des conditions et des modalités portant sur la possibilité de transposer les travaux fondateurs antérieurs consacrés à la communication engageante dans le cadre élargi d’interactions médiatées et médiatisées sur l’internet, en milieu naturel.Pour tenter de répondre à cette question, nous avons situé notre propos dans un cadre théorique et méthodologique ouvert en montrant les relations entre la communication engageante et d’autres perspectives relevant du lien, du rite d’interaction ; nous abordons également la problématisation du changement individuel et collectif. Nos travaux apportent une contribution à la réflexion concernant la relation entre information et communication. Sur le plan empirique, nous avons mené une recherche-action dans une Université du Sud de la France. Il s’agissait, dans le contexte d’un partenariat avec cette institution, d’amener des étudiants à s’inscrire sur un dispositif Web de mise en relation de covoitureurs potentiels. Nous avons mené deux expériences mobilisant le paradigme de la communication numérique engageante.Notre approche, replacée dans les problématiques et la méthode de la recherche-action, n’est pas exempte de limites, notamment liées à une validité interne modérée par certains éléments hors de notre contrôle : facteurs historiques, mortalité expérimentale, variables parasites…Tous ces éléments sont présentés, discutés, mis en perspective. / This doctoral work relates to the study of change dynamics in favor of eco-friendly practices and tied to mobility through digital binding communication. The research question that ensues concerns the definition of the terms and conditions about the possibility of incorporating previous work on digital binding communication in the broader context of mediated and mediatized interactions on the internet, in a natural environment.In order to try answering this question, we set our discussion on an open theoretical and methodological framework by showing the relationships between binding communication and other perspectives concerning links, interaction rituals, we also broach upon the problematization of individual and collective change. Our work provides a contribution to the debate on the relationship between information and communication. From an empirical standpoint, we conducted an action research at a southern French university. Our goal was within the context of a partnership with this institution, to encourage students to register to a Web device putting potential carpoolers in touch. We conducted two experiments mobilizing the digital binding communication paradigm.Our approach, put in the context of the set of problems and the action research method is not without flaws, especially insofar as its internal validity is weakened by elements beyond our control: historical factors, experimental mortality, confounding variables…All these elements are presented, discussed, put into perspective.

La complexité croissante des systèmes embarqués multi-coeur exige des structures de communication flexibles et capables de supporter de nombreuses requêtes de trafics au moment de l’exécution. Les Réseaux sur Puce (NoC) émergent comme la technologie de communication la plus prometteuse pour les SoCs (Systèmes sur Puce), du fait de leur plus grande flexibilité par rapport aux autres solutions comme les bus et les connexions points à points. Les NoCs sont devenus le standard comme support de communication pour les SoC, mais les outils d’évaluation de performances deviennent critiques pour ces systèmes. Les outils d’émulation sur FPGA accélèrent l’analyse comparative de NoC ainsi que l’exploration de l’espace de conception. Ces outils ont une grande précision et un faible temps d’exécution par rapport aux simulateurs de NoC. Un outil d’émulation basé sur FPGA est composé de dizaines ou de centaines de composants distribués. Ces composants doivent être correctement gérés afin d’exécuter différents scénarii d’évaluation de trafic. Pour cela, il faut être à même de re-programmer les composants, en utilisant un protocole standard qui permet alors de piloter l’émulateur de NoC sur FPGA. Ces protocoles facilitent l’intégration des composants d’émulation développés par différents concepteurs et simplifient la configuration des noeuds d’émulation sans resynthèse ainsi que l’extraction des résultats d’émulation. Bien que l’émulation matérielle de NoC soit assez difficile, il est important de valider de nouvelles architectures de NoC avec des trafics basés sur les applications réelles pour permettre d’obtenir des résultats plus précis. La génération de modèles de trafic basés sur des applications est une préoccupation majeure pour l’émulation de NoC. Les traces intégrant des informations de dépendances sont plus précises que les traces ordinaires, ceci pour un large éventail d’architectures de NoC. Cependant, elles ont tendance à être plus grosses que les traces originales et exigent plus de ressources FPGA. L’objectif de cette thèse est la synthèse de plateformes d’émulation de NoC sur FPGA pour les futurs systèmes embarqués multi-noeuds. Une recherche approfondie s’est portée sur les stratégies éventuelles pour la génération des modèles réalistes de trafic pour le NoC émulé sur FPGA, et pour la gestion des plateformes d’émulation en utilisant des protocoles standard inspirés des protocoles de réseaux informatiques. Une première contribution de cette thèse est une structure (« framework ») d’analyse de traces capable d’extraire les dépendances de paquets. La plateforme proposée analyse un ensemble de traces extraites d’une application embarquée basée sur l’échange de messages afin de construire un modèle de calcul (MoC). Un générateur de trafic (TG) intégrant cette dépendance est créé à partir du MoC proposé. Ce TG reproduit le motif de trafic d’une application pour une plateforme d’émulation sur FPGA. Une seconde contribution est une version allégée du protocole SNMP (Simple Network Management Protocol) pour la gestion d’une plateforme d’émulation de NoC sur FPGA. L’architecture de la plateforme d’émulation proposée est basée sur les concepts du protocole SNMP. Elle offre une interface standard de haut niveau pour les composants d’émulation fournis par le protocole SNMP. Ce protocole facilite également l’intégration de composants d’émulation créés par différents concepteurs. Une analyse prospective des futures architectures de NoC constitue également une contribution dans cette thèse. Dans cette analyse, une architecture conceptuelle d’un système embarqué multi-noeuds du futur constitue un modèle pour extraire les contraintes de ces réseaux. Un autre mécanisme présenté est un NoC tolérant aux pannes, basé sur l’utilisation de liens de contournement. Enfin, la dernière contribution repose sur une analyse de base des besoins des futurs NoC pour les outils d’émulation sur FPGA / The ever-increasing complexity of many-core embedded system applications demands a flexible communication structure capable of supporting different traffics requirements at run-time. The Networks-on-Chip (NoCs) emerge as the most promising communication technology for the modern many-cores SoC (System-on-Chip), whereby they have greater scalability than other solutions such as buses and point to point connections. As NoCs become de facto standard for on chip systems, NoC performance evaluation tools become critical for SoCs design. The FPGA based emulation platforms accelerate NoC benchmarking as well as design space exploration. Those platforms have high accuracy and low execution time in relation to NoC simulators. An FPGA-based emulation platform is composed by tens or hundreds of distributed components. These components should be timely managed in order to execute an evaluation scenario. There is a lack of standard protocols to drive FPGA-based NoC emulators. Such protocols could ease the integration of emulation components developed by different designers, as well as they could enable the configuration of the emulation nodes without FPGA re-synthesis and the extraction of emulation results. The NoC hardware emulation is quite challenging. It is important to validate new NoC architectures with realistic workloads, because they provide much more accurate results. The generation of applications traffic patterns is a key concern for NoC emulation. The dependency aware traces are an appealing solution for the generation of realistic traffic workloads. They are more accurate than ordinary traces for a broad range of NoC architectures because they contain packets dependencies information. However, they tend to be bigger than the original ones what demands more FPGA resources. This thesis aims the synthesis of FPGA-based NoC emulation platforms for the future multi-core embedded systems. We are interested in investigating strategies to generate realistic traffic patterns for NoCs emulated on FPGAs, as well as the management of the emulation platform using standard protocols inspired by the computer networks protocols. One contribution of this thesis is a trace analysis framework which addresses the packets dependencies extraction problem. The proposed framework analyzes traces from a message passing application in order to build a Model of Computation (MoC). This MoC reproduces the communicative behavior of an application node. A dependency-aware Traffic Generator (TG) is created from the proposed MoC. This TG generates the application traffic pattern during an FPGA-based NoC emulation. Another contribution is a light version of SNMP (Simple Network Management Protocol) to manage an FPGA-based NoC emulation platform. An FPGA-based emulation platform architecture is proposed based on the principles of SNMP protocol. This platform has a high-level interface to the emulation components provided by that protocol, which also eases the integration of emulation components created by different designers. The emulation platform and the protocol capacities are evaluated during a task mapping and mesh topology design space exploration. A prospective analysis of future NoCs architectures is also a contribution of this thesis. In this analysis, a conceptual architecture of a future multi-core embedded system is used as model to extract these networks requirements. From this analysis, it is proposed some networking mechanisms. The first mechanism is a congestion-aware routing algorithm, which is an adaptive routing algorithm that selects the output path for a given packet based on a simple prioritized scheme of sets of rules. It is also proposed a congestion-control mechanisms for the vertical links interconnecting the layers of a 3D NoC. This mechanism is based upon the diffusion of congestion information by a piggyback protocol