La croissance importante du nombre d'étudiants et le changement de profils des apprenants constatés durant les deux dernières décennies ont bouleversé l'enseignement supérieur. Le besoin d'adapter les enseignements a émergé brutalement. Les cours en face à face s'adressant à un grand nombre d'étudiants offrent un cadre soutenable pour la recherche et la mise en oeuvre de nouvelles pratiques pédagogiques. Dans ce contexte, différentes études montrent que l'utilisation de systèmes de votes interactifs (SVI) est un moyen de proposer des évaluations formatives aux étudiants durant le cours en les engageant massivement. Cependant ces systèmes n'intègrent pas toutes les dimensions caractérisant l'évaluation formative, ils ne tirent pas parti des apports des systèmes d'échanges et de partage de textes (SEPT) ayant fait leur apparition avec Internet et offrent donc des modalités d'interactions limitées. Ainsi nos travaux adressent les deux questions de recherche suivantes : - comment enrichir la mise en oeuvre d'évaluations formatives dans le contexte d'un cours en face à face dispensé à un grand nombre d'étudiants ? - comment susciter l'engagement du plus grand nombre d'étudiants dans les activités relatives à ces évaluations formatives ? Pour répondre à ces questions, nous proposons en premier lieu un cadre de travail pour la conception de systèmes d'évaluation formative dans le contexte des cours en face à face adressés à une large audience. Nous introduisons ainsi le concept d'évaluation d'audience et décrivons les processus qui lui sont associés en utilisant un langage standard de modélisation. De plus, afin d'enrichir la mise en oeuvre de l'évaluation formative dans les amphithéâtres, nous proposons un nouveau processus baptisé "processus en N phases" intégrant des activités et stratégies caractéristiques de l'évaluation formative telles que l'évaluation par les pairs ou l'utilisation des étudiants comme ressources pour les autres. Ce processus supporte également des modalités d'interaction plus riches qui incluent la saisie de texte libre ou la fourniture de feedback sous forme textuelle. La deuxième partie de nos travaux porte sur la conception et la mise en oeuvre du système d'évaluation d'audience Tsaap-Notes qui combine les atouts des SVI et des SEPT pour implanter le processus en N phases. Ce système d'évaluation d'audience enrichi a fait l'objet d'une série d'expérimentations montrant des résultats probant sur la capacité du système à maintenir l'engagement de la très grande majorité des étudiants dans le processus d'évaluation formative. / The significant growth in student numbers and changing learner profiles observed during the last two decades have shaken higher education. The need to adapt teaching strongly appeared. Face to face lectures for a large audience are a sustainable frame for research and implementation of new pedagogical practices. In this context, different studies show that the use of audience response system (ARS) is an efficient way to provide students with formative assessments during lectures and that they engage a large numbers of attendees. However, these systems do not integrate all dimensions of formative assessments, they do not take advantages of sharing text systems (STS) who appeared with Internet and therefore provide only limited types of interaction. Thus, our work addresses the following research questions : - how to enhance implementation of formative assessments in the context of face to face lectures adressed to a large number of students ? - how to maintain engagement of the majority of students in activities related to these formative assessments ? In order to answer these questions, we first propose a framework for the design of formative assessment systems to be used during face to face lectures addressed to a large audience. Thus, we introduce the concept of Audience Assessment and describe its related processes using a standard language. Then, in order to enhance implementation of formative assessments addressed to a large audience, we propose a new process called "N phases process" which introduces characteristic activities and strategies of formative assessments such as peer assessment or use of students as resources of instruction for others. This process supports also richer types of interaction such as answer given as free text entry or feedback provided as text. The second part of our work focuses on the design and the implementation of the audience assessment system called " Tsaap-Notes ". Tsaap-Notes combines the strengths of SVI and STS to implement the N phases process. A series of experimentations has been conducted on Tsaap-Notes showing good results on the capacity of the N phases process to engage the large majority of students.

Notre thèse souhaite analyser le rôle et la place du média radiophonique dans la société en étudiant la relation établie entre une station et son auditoire dans le cadre des émissions interactives, omniprésentes sur la bande FM. Le cas des émissions service, qui affichent une intention d’aide et de conseil à l’auditeur dans sa vie quotidienne, révèlent et reflètent pour nous les nouvelles orientations dans la pratique et les usages des médias. Mais, en ce cas, les stations de radios sont-elles actrices ou outils de médiation ? Les publics sont-ils instrumentalisés ou se saisissent-ils de ces espaces médiatiques de manières autonomes ? En prenant en compte l’évolution en cours du média radiophonique, le développement, l’intrusion ou l’imbrication des nouvelles technologies avec des formes médiatiques plus traditionnelles, nous souhaitons mettre en lumière les relations de corrélation ou de causalité, voire de concomitance qui relient les évolutions en cours des uns et des autres, et leurs accommodations par les publics. Pour ce faire, notre terrain de recherche se focalise plus particulièrement sur l’émission de Menie Grégoire sur RTL (de 1967 à 1981), sur « Ça peut vous arriver » sur RTL et sur « Lahaie, l’amour et vous » sur RMC, encore diffusées de nos jours. / The purpose of our doctoral thesis is to analyze radio’s roles in society, observing connections between radio stations and their audience within the context of phone-in programs which are omnipresent on air. Service broadcasts, meanwhile intending to offer help and advice in listener’s day-to-day problems, reveal new ways of using this media. Considering this, are radio stations passive or active devices? Is the audience used by these broadcasters or do they seize it autonomously? By studying the actual evolution of radio, throughout its new forms of technologies as in its most traditional uses, we seek to highlight the causual, comparison and concomitance links among broadcasts, as well as listerner’s reactions to it. In order to do that, our work has focused on Menie Grégoire’s broadcast on RTL from 1967 to 1981, on “Ça peut vous arriver” on RTL, and on “Lahaie, l’amour et vous” on RMC, still emitted nowadays.

La présente thèse s’intéresse aux communications descendantes, plus spécifiquement aux canaux de multidiffusion, pour lesquels un émetteur diffuse un message commun destiné à tous les utilisateurs d’un groupe. Pour que le débit ne soit pas limité par le plus faible utilisateur en terme de qualité de canal, différentes solutions reposant sur des techniques entrées multiples sorties multiples massives ou multi-débit ont été proposées dans la littérature. Cependant, si tous les utilisateurs souhaitaient obtenir le même niveau de qualité, le plus faible utilisateur établirait le débit et/ou nécessiterait une quantité de ressources démesurée, ce qui impacterait tout le groupe. Les études récentes portant sur les communications d’appareil à appareil ouvrent la voie à la coopération entre utilisateurs proches, ce qui pourrait bénéficier à tous les utilisateurs, en garantissant le même niveau de qualité tout en maintenant un faible coût en ressource et en énergie. C’est pour ces raisons que cette thèse s’intéresse aux canaux de multidiffusion avec coopération entre récepteurs. La théorie de l’information formalise l’étude de ces réseaux et fournit des bornes universelles portant sur le débit transmissible. Le schéma de coopération proposé se base sur une superposition appropriée d’opérations de compresse-relaie (CF) et décode-relaie (DF), et il est prouvé que ses performances surpasse celles des schémas de coopérations non-interactifs pour le scénario à deux récepteurs. Les propriétés de la coopération interactive émergent de l’asymétrie de construction du schéma de coopération, ce qui permet d’adapter l’ordre des CFs et DFs en fonction de la qualité du canal. L’idée derrière cette interaction, les intuitions concernant les points clés de la construction, et des résultats numériques sont donnés pour des réseaux de petites tailles. Des simulations au niveau du système illustrent le gain potentiel que la coopération entre récepteurs pourrait apporter pour des réseaux de plus grandes tailles. / The present thesis concentrates on downlink communications. In order to tackle one part of this challenging problem, we focus on the multicast channel in which one transmitter broadcasts a common message intended to a whole group of users. To ensure that the transmission rate is not limited by the weakest user in terms of channel quality, different solutions using massive multiple-input multiple-output or multirate strategies have been proposed in the literature. However, if all users wish to obtain the same content quality, the weakest user would set the rate and/or require a disproportionate amount of resource, and thus impact the whole group. With the recent study of device-to-device mechanisms, user cooperation in close proximity becomes possible and would benefit to all users by ensuring the same content quality while maintaining a low cost in terms of amount of resource and energy. Consequently, this thesis is centered around the multicast network with receiver cooperation. Information-theoretic tools formalize the study of the network considered and provide general bounds on the achievable transmission rate. The proposed cooperation scheme is based on an appropriate superposition of compress-forward (CF) and decode-forward (DF) operations, and provenly outperform non-interactive schemes in the two-receiver scenario. Properties of the interactive cooperation emerge from the asymmetric construction of the scheme which permits to adapt the order of CFs and DFs according to the channel condition. The core idea of the interaction, some insights on key construction points, and numerical results are given for small size networks. System level simulations illustrate the potential gain of receiver cooperation for larger networks.

Dans cette étude, nous nous sommes intéressé à l’utilisation des TIC, plus précisément du Tableau Numérique Interactif (TNI), en géométrie, par des groupes d’élèves de deux classes du primaire en pédagogie Freinet. S’inspirant d’une revue de littérature concernant la pédagogie dialogique, qui se rapproche de la pédagogie Freinet, trois unités d’observation, qui se rapportent aux trois types de discussion (cumulatif, disputationnel et exploratoire) au sein des groupes, ont été analysées. Le but de l’étude est de comprendre en quoi les discussions des groupes d’élèves autour du TNI, dans un contexte dit dialogique, peuvent être exploratoires (un type de discussion qui favoriserait les apprentissages). Pour cela, une activité d’apprentissage, appelée situation-problème, impliquant six groupes d’élèves autour du TNI, a été créée en collaboration avec les enseignants en géométrie. Nos résultats indiquent, entres autres, que les aspects pédagogiques de la technologie en question, ici le TNI, sont à différencier des aspects pédagogiques du logiciel utilisé, ici Tinkercad en mathématiques. Ce mémoire remet en relief toute la complexité de prendre en compte un unique facteur (l’analyse des discussions) pour discuter des apprentissages des élèves autour du TNI. / This study focuses on the use of ICT in education, specifically the Interactive Whiteboard (IWB). The research was conducted within the field mathematics with students in two primary Freinet-based classrooms. Housed in what is referred to as dialogical-based pedagogy, a pedagogy closely related to Freinet educational theory and practice, three units of observation were analysed according to three discussion types : cumulative, conflictual and exploratory. The purpose of the study was to understand the differing kinds of discussions students produced while using the IWB within a dialogically oriented pedagogical context to see the degree to which students discussions were exploratory (exploratory discussions being those said to most favour learning). To this end, a problem based-learning activity in geometry was collaboratively developed with two classroom teachers, then integrated into six student groups using the IWB. Our results denote some of the educational affordances of both the IWB and the web application (Tinkercad). This research foregrounds the complexities of considering a single analytical factor (discussion analysis) when looking at digitally based student learning.

Garantir le confort thermique des bâtiments est directement lié à la consommation d'énergie. Dans les zones tropicales, les systèmes de refroidissement représentent l'un des postes les plus gourmands en énergie. Afin de réduire la consommation d'énergie mondiale, il est primordial d'améliorer l'efficacité de ces systèmes ou bien de développer de nouvelles méthodes de production de froid. Une installation de refroidissement solaire basé sur le cycle à absorption est une alternative pour réduire les émissions de gaz à effet de serre et la consommation d'électricité. Contrairement aux systèmes classiques de refroidissement à compression mécanique, la production de froid par absorption est un système complexe composé de plusieurs composants comme des panneaux solaires, un ballon de stockage, une tour de refroidissement et une machine à absorption. Outre le dimensionnement des composants, ce système complexe nécessite des actions de contrôle pour être efficace parce que la coordination entre le stockage d'eau chaude, la production et la consommation du froid est nécessaire. Le but de cette thèse est de proposer une structure producteur-consommateur d'énergie basée sur la commande prédictive (MPC). Le système de refroidissement par absorption solaire est considéré comme faisant partie de ce système de production-consommation d'énergie, le système de stockage d'eau chaude est le producteur et la machine à absorption qui distribue de l'eau froide au bâtiment est l'un des consommateurs. Pour que la structure de commande soit modulaire, la coordination entre les sous-systèmes est réalisée en utilisant une approche de partitionnement où des contrôleurs prédictifs locaux sont conçus pour chacun des sous-systèmes. Les contrôleurs des consommateurs calculent un ensemble de profils de demande d'énergie. Ces profils sont ensuite envoyés au contrôleur du producteur qui sélectionne le profil qui minimise le coût global. Dans une première partie, l'approche proposée est testée sur un modèle linéaire simplifié composé d'un producteur et plusieurs consommateurs. Dans une deuxième partie, un cas plus complexe est étudié. Un modèle simplifié d'un système de refroidissement à absorption est évaluée en utilisant l'outil de simulation TRNSYS. Le modèle de production n'est plus linéaire, il est décrit par un modèle non linéaire hybride qui augmente la complexité du problème d'optimisation. Les résultats des simulations montrent que la sous-optimalité induite par la méthode est faible. De plus, la performance de l'approche atteint les objectifs de commande tout en respectant les contraintes. / To guarantee thermal comfort in buildings is directly related to energy consumption. In tropical climates, cooling systems for buildings represent one of the largest energy consumers. Therefore, as energy consumption is a major concern around the world, it is important to improve the systems efficiency or seeking new methods of cooling production. A solar cooling installation based on the absorption cycle is an alternative to mitigate greenhouse gas emissions and electricity consumption. In contrast to conventional vapor-compression based cooling systems, the absorption cooling production involves a complex system composed of several components as collector panel, storage tank, cooling tower and absorption chiller. Besides the sizing of the components, this complex system requires control actions to be efficient as a coordination between hot water storage, cooling water production and consumption is necessary. The aim of this research is to propose a management approach for a production-consumption energy system based on Model Predictive Control (MPC). The solar absorption cooling system is seen as part of this production-consumption energy system where the hot water storage system is the producer and the chiller-building system is one of the consumers. In order to provide modularity to the control structure, the coordination between the subsystems is achieved by using a partitioning approach where local predictive controllers are developed for each of the subsystems. The consumer controllers compute a set of energy demand profiles sent to the producer controller which selects the profile that better minimize the global optimization cost. In a first part, the proposed approach is tested on a simplified linear model composed of one producer and several consumers. In a second part, a more complex case is studied. A simplified model of an absorption cooling system is evaluated using the simulation tool TRNSYS. The producer model is no longer linear, instead it is described by a nonlinear hybrid model which increases the complexity of the optimization problem. The simulations results show that the suboptimality induced by the method is low and the control strategy fulfills the objectives and constraints while giving good performances.

Notre propos est la conception assistée par ordinateur des scénarios comprenant des contenus multimédia qui interagissent avec les actions extérieures, notamment celles de l’interprète (e.g., spectacles vivants, installations muséales interactives et jeux vidéo). Le contenu multimédia est structuré dans un ordre spatial et temporel selon les exigences de l’auteur. Par conséquent, la complexité potentiellement élevée de ces scénarios nécessite des langages de spécification adéquats pour leur complète description et vérification.Partitions Interactives est un formalisme qui a été proposé comme un modèle pour la composition et l’exécution des scénarios multimédias interactifs. En outre, un séquenceur inter-médias, appelé ISCORE,a été élaboré à partir de la sémantique Petri net proposée par ce formalisme. Au cours des dernières années, I-SCORE a été utilisé avec succès pour la composition et l’exécution des spectacles et des expositions interactives. Néanmoins, ces applications et les applications émergentes telles queles jeux vidéo et les installations muséales interactives, de plus en plus exigent deux caractéristiques que la version stable actuelle de I-SCORE ainsi que son modèle sous-jacent ne supportent pas : (1)des structures de contrôle flexibles comme des conditionnelles et des boucles ; et (2) des mécanismes pour la vérification automatique de scénarios.Dans cette thèse, nous présentons deux modèles formels pour la composition et la vérification automatique de scénarios interactifs multimédia avec des choix interactifs, i.e., des scénarios où l’interprète ou le système peut prendre des décisions au sujet de leur état d’exécution avec un certain degré de liberté définie par le compositeur.Dans notre première approche, nous définissons un nouveau langage de programmation appelé REACTIVEIS dont les programmes sont définis comme des arbres représentant l’aspect hiérarchique des scénarios interactifs et dont les noeuds contiennent les conditions nécessaires pour démarrer et arrêter les objets temporels (TOS). En outre, nous définissons une sémantique opérationnelle basé sur des arbres marqués, contenant dans leurs noeuds, les informations sur le début et la fin de chaque TO. Nous définissons également une interprétation déclarative de REACTIVEIS comme formules de la logique linéaire intuitionniste avec sous exponentiels (SELL). Nous montrons que cette interprétation est adéquate : les dérivations dans la logique correspondent à des traces du programme et vice-versa.Dans notre deuxième approche, nous présentons un système basé sur des Automates Temporisés.Dans le système proposé, nous modélisons des scénarios interactifs comme un réseau d’automates temporisés et les étendons avec des points interactifs gardés par des conditions, permettant ainsi la spécification de comportements avec branchements. Par ailleurs, nous profitons des outils matures et efficaces pour simuler et vérifier automatiquement des scénarios modélisés comme des automates temporisés. Dans notre système, les scénarios peuvent être synthétisés dans un matériel reconfigurable afin de fournir une faible latence et l’exécution en temps réel.Dans cette thèse, nous explorons également une nouvelle façon de définir et mettre en oeuvre des scénarios interactifs, visant à un modèle plus dynamique en utilisant le langage réactif REACTIVEML.Enfin, nous présentons une extension des scénarios interactifs utilisant des réseaux de Petri colorés(CPN) qui vise à traiter des données complexes, en particulier, les données statiques et dynamiques de flux audio. / Interactive multimedia deals with the computer-based design of scenarios consisting of multimediacontent that interacts with external actions and those of the performer (e.g., multimedialive-performance arts, interactive museum installations, and video games). The multimedia content is structured in a spatial and temporal order according to the author’s requirements. Therefore, thepotentially high complexity of these scenarios requires adequate specification languages for theircomplete description and verification.Interactive scores is a formalism which has been proposed as a model for composing and performing interactive multimedia scenarios. In addition, an inter-media sequencer, called I-SCORE, hasbeen developed following the Petri Net semantics proposed by this formalism. During the last years,I-SCORE has been used successfully for the composition and performance of live performances and interactive exhibitions. Nevertheless, these applications and emergent applications such as videogames and interactive museum installations, increasingly demand two features that the current stable version of I-SCORE as well as its underlying model do not support: (1) flexible control structures such as conditionals and loops; and (2) mechanisms for the automatic verification of scenarios.In this dissertation we present two formal models for composition and automatic verification of multimedia interactive scenarios with interactive choices, i.e., scenarios where the performer or thesystem can take decisions about their execution state with a certain degree of freedom defined bythe composer.In our first approach, we define a novel programming language called REACTIVEIS. This language extends the full capacity of temporal organization of interactive scenarios by allowing the composerto use a defined logical system for the specification of the starting and stopping conditions of temporal objects (TOs). REACTIVEIS programs are formally defined as tree-like structures representing the hierarchical aspect of interactive scenarios and whose nodes contain the conditions needed to startand stop the TOs. Moreover, we define an operational semantics based on labeled trees, containing in their nodes, the information about the start and stop times of each TO.We show that this operational semantics offers an intuitive yet precise description of the behavior of interactive scenarios.We also endowed REACTIVEIS with a declarative interpretation as formulas in Intuitionistic LinearLogic with Subexponentials (SELL). We shall show that such interpretation is adequate: derivations in the logic correspond to traces of the program and vice-versa. Hence, we can use all the meta-theory of Intuitionistic Linear Logic (ILL) to reason about interactive scenarios and develop tools for theverification and analysis of interactive scenarios.In our second approach, we present a Timed Automata (TA) based framework. In the proposed framework, we model interactive scenarios as a network of timed automata and extend them with interactive points (IPs) guarded by conditions, thus allowing for the specification of branching behaviors.Moreover, we take advantage of the mature and efficient tools for TA to simulate and automatically verify scenarios. In our framework, scenarios can be synthesized into a reconfigurable hardware in order to provide a low-latency and real-time execution by taking advantage of the physical parallelism,low-latency, and high-reliability of these devices. Furthermore, we implemented a tool to systematically construct bottom-up TA models from the composition environment of I-SCORE. Doing that, we provide a friendly and specialized environment for composing and automatic verification of interactive scenarios. Finally, we present an extension of interactive scenarios using Colored Petri Nets (CPNs) thataims to handle complex data, in particular, dynamic and static data audio streams. [...]

Un robot d'assistance sociale (SAR) est destiné à engager les gens dans une interaction située comme la surveillance de l'exercice physique, la réadaptation neuropsychologique ou l'entraînement cognitif. Alors que les comportements interactifs de ces systèmes sont généralement scriptés, nous discutons ici du cadre d’apprentissage de comportements interactifs multimodaux qui est proposé par le projet SOMBRERO.Dans notre travail, nous avons utilisé l'apprentissage par démonstration afin de fournir au robot des compétences nécessaires pour effectuer des tâches collaboratives avec des partenaires humains. Il y a trois étapes principales d'apprentissage de l'interaction par démonstration: (1) recueillir des comportements interactifs représentatifs démontrés par des tuteurs humains; (2) construire des modèles des comportements observés tout en tenant compte des connaissances a priori (modèle de tâche et d'utilisateur, etc.); et ensuite (3) fournir au robot-cible des contrôleurs de gestes appropriés pour exécuter les comportements souhaités.Les modèles multimodaux HRI (Human-Robot Interaction) sont fortement inspirés des interactions humain-humain (HHI). Le transfert des comportements HHI aux modèles HRI se heurte à plusieurs problèmes: (1) adapter les comportements humains aux capacités interactives du robot en ce qui concerne ses limitations physiques et ses capacités de perception, d'action et de raisonnement limitées; (2) les changements drastiques des comportements des partenaires humains face aux robots ou aux agents virtuels; (3) la modélisation des comportements interactifs conjoints; (4) la validation des comportements robotiques par les partenaires humains jusqu'à ce qu'ils soient perçus comme adéquats et significatifs.Dans cette thèse, nous étudions et faisons des progrès sur ces quatre défis. En particulier, nous traitons les deux premiers problèmes (transfert de HHI vers HRI) en adaptant le scénario et en utilisant la téléopération immersive. En outre, nous utilisons des réseaux neuronaux récurrents pour modéliser les comportements interactifs multimodaux (tels que le discours, le regard, les mouvements de bras, les mouvements de la tête, les canaux). Ces techniques récentes surpassent les méthodes traditionnelles (Hidden Markov Model, Dynamic Bayesian Network, etc.) en termes de précision et de coordination inter-modalités. A la fin de cette thèse, nous évaluons une première version de robot autonome équipé des modèles construits par apprentissage. / A socially assistive robot (SAR) is meant to engage people into situated interaction such as monitoring physical exercise, neuropsychological rehabilitation or cognitive training. While the interactive behavioral policies of such systems are mainly hand-scripted, we discuss here key features of the training of multimodal interactive behaviors in the framework of the SOMBRERO project.In our work, we used learning by demonstration in order to provide the robot with adequate skills for performing collaborative tasks in human centered environments. There are three main steps of learning interaction by demonstration: we should (1) collect representative interactive behaviors from human coaches; (2) build comprehensive models of these overt behaviors while taking into account a priori knowledge (task and user model, etc.); and then (3) provide the target robot with appropriate gesture controllers to execute the desired behaviors.Multimodal HRI (Human-Robot Interaction) models are mostly inspired by Human-Human interaction (HHI) behaviors. Transferring HHI behaviors to HRI models faces several issues: (1) adapting the human behaviors to the robot’s interactive capabilities with regards to its physical limitations and impoverished perception, action and reasoning capabilities; (2) the drastic changes of human partner behaviors in front of robots or virtual agents; (3) the modeling of joint interactive behaviors; (4) the validation of the robotic behaviors by human partners until they are perceived as adequate and meaningful.In this thesis, we study and make progress over those four challenges. In particular, we solve the two first issues (transfer from HHI to HRI) by adapting the scenario and using immersive teleoperation. In addition, we use Recurrent Neural Networks to model multimodal interactive behaviors (such as speech, gaze, arm movements, head motion, backchannels) that surpass traditional methods (Hidden Markov Model, Dynamic Bayesian Network, etc.) in both accuracy and coordination between the modalities. We also build and evaluate a proof-of-concept autonomous robot to perform the tasks.

.

Notre recherche se situe dans le domaine des "Environnements Interactifs d'Apprentissage par Ordinateur", et concerne plus spécialement la conception et la production de simulations pédagogiques. Cette thèse se propose d'aborder la définition de nouveaux environnements de production d'un point de vue pragmatique en partant de cas concrets rencontrés dans la formation professionnelle technique en milieu industriel. Le résultat essentiel de ce travail est la définition du modèle MARS (Modèle-Associations-Représentation-Scénario), cadre conceptuel permettant de structurer l'approche de conception. MARS propose trois espaces de travail dédiés à la spécification du modèle de simulation, du scénario pédagogique, de la représentation et un quatrième espace permettant l'intégration des différents résultats obtenus. La volonté de fournir des solutions opérationnelles nous a amené à définir un processus de développement basé sur le déroulement en parallèle des activités de conception organisées chacune selon un cycle de prototypage automatisé. Nous abordons également la définition des environnements de production en insistant, dans chaque espace de travail, sur l'importance des interfaces et des concepts manipulés par les concepteurs. Nous définissons l'architecture d'un environnement intégré adaptatif qui permet de proposer différents niveaux d'accès adaptés aux compétences des auteurs, au domaine technique étudié, au contexte de production, etc... Nous décrivons enfin un exemple d'environnement que nous avons développé pour TPEC, centre de formation de Hewlett-Packard. L'environnement MELISA proposé aux responsables de formation technique un ensemble de méthodes et outils pour créer, modifier ou adapter, rapidement et à moindre coût, leurs propres applications de simulation, et résoudre ainsi des problèmes non couverts par les techniques traditionnelles de formation.

Les applications parallèles sont de plus en plus complexes et, même si les environnements de développement s'améliorent, de plus en plus difficiles à mettre au point que ce soit du point de vue de leur correction ou, dans le cadre qui nous intéresse, de leurs performances. Un outil intéressant pour la mise au point des performances d'une application est la visualisation de son exécution. Le travail présenté dans ce mémoire porte sur l'étude, la conception et la réalisation d'un environnement interactif extensible de visualisation pour l'évaluation de performance de systèmes parallèles. Un tel environnement permet de reconstituer le comportement d'une application d'après des traces d'exécution et facilite, par le calcul et la présentation d'indices de performances, la compréhension de son fonctionnement et la détection de ses problèmes de performance. Nous commençons par préciser les concepts importants dans un environnement de visualisation et présentons ensuite l'état de l'art en la matière. Nous décrivons ensuite la conception et la réalisation de l'environnement Scope. Cet environnement est validé par rapport aux objectifs initiaux et son utilité est démontrée par l'étude de sessions d'évaluation de performance d'applications concrètes.