Nous proposons un modèle, basé sur un système de productions décrivant plusieurs dimensions du rendement lors de l'apprentissage et l'utilisation de procédures d'édition de texte. Des prédictions faites à partir de simulations furent testées dans deux expériences étudiant l'utilisation de procédures spécifiques et générales chez des novices. Plusieurs hypothèses concernant le temps d'exécution, la charge mentale, le transfert, l'oubli, l'utilisation des menus d'aide, l'effet de prograD1Descomplexes d'apprentissage, ainsi que les choix de procédures furent vérifiées. Les résultats montrent que les procédures spécifiques ne sont pas plus rapides à utiliser, que leur apprentissage ne favorise pas le transfert subséquent à des procédures générales, et qu'une utilisation soutenue de ces commandes doit être présente pour permettre l'observation d'un meilleur rendement. Parallèlement, nous proposons deux méthodologies pour la mesure de la charge mentale d'un utilisateur.

.

La consommation énergétique est devenue un problème majeur dans la conception des systèmes aussi bien d'un point de vue de la fiabilité des circuits que de l'autonomie d'un équipement embarqué. Cette thèse vise à caractériser et modéliser le coût énergétique du système d'exploitation (OS) embarqué en vue d'explorer des solutions faibles consommation. La première contribution consiste à définir une approche globale de modélisation de la consommation des services de base de l'OS: la stimulation de l'exécution de ces services, tels que le changement de contexte, l'ordonnancement et la communication interprocessus, est effectuée à travers des programmes de test adéquats. Sur la base de mesures de la consommation d'énergie sur la carte OMAP35x EVM, des paramètres pertinents soit matériels soit logiciels ont été identifiés pour en déduire des modèles de consommation. Dans une seconde étape, la prise en compte de ces paramètres doit intervenir au plus haut niveau de la conception. L'objectif sera d'exploiter les fonctionnalités offertes par un langage de modélisation et d'analyse architecturale AADL tout en modélisant les aspects logiciel et matériel en vue d'estimer la consommation d'énergie. Ensuite, les modèles énergétiques de l'OS ont été intégrés dans un simulateur multiprocesseur de politique d'ordonnancement STORM afin d'identifier la consommation de l'OS et ceci pour des politiques d'ordonnancement mettant en œuvre des techniques de réduction de la consommation tel que le DVFS et le DPM. Enfin, la définition et vérification de certaines contraintes temps-réel et énergétiques ont été effectuées avec des langages de spécification de contraintes (QAML, RDAL). / The ever-increasing complexity of embedded systems that are developing their computation performances poses a great challenge for embedded systems designers: power and energy consumption. This thesis focuses on power and energy characterization, modeling, estimation of embedded operating systems (OS) energy consumption. First, an OS energy consumption characterization flow is introduced: a set of benchmarks, which are test programs that stimulate each OS service separately, are implemented. These programs are executed on the hardware platform: OMAP 35x EVM board. Based on hardware measurements, several hardware and software parameters that influence the OS power/energy consumption are identified and energy consumption mathematical models are extracted. The second contribution consists in proposing a high level model of software application, the OS services and hardware platform using an architecture analysis and design language (AADL). Then, AADL and mathematical models of OS services energy consumption are integrated in a multiprocessor scheduling simulator (STORM) in order to evaluate the OS energy overhead when using DPM and DVFS low power techniques. Finally, a flow of definition and verification of system requirements when allocating application tasks to the processors is proposed. Using a set of languages, RDAL and QAML, various real time and energetic constraints are checked when exploring the design.

A reactive control system is a computer system reacting to certain stimuli emitted by its environment in order to maintain it in a desired state. Distributed reactive control systems are generally composed of several processes, running in parallel on one or more computers, communicating with one another to perform the required control task. By their very nature, distributed reactive control systems are hard to design. Their distributed nature and/or the communication scheme used can introduce subtle unforeseen behaviours. When dealing with critical applications, such as plane control systems, or traffic light control systems, those unintended behaviours can have disastrous consequences. It is therefore essential, for the designer, to ensure that this does not happen. For that purpose, rigorous and systematic techniques can (and should) be applied as early as possible in the development process. In that spirit, this work aims at providing the designer with the necessary tools in order to facilitate the development and validation of such distributed reactive control systems. In particular, we show how using a dedicated language called dSL (Distributed Supervision language) can be used to ease the development process. We also study how validations techniques such as model-checking and testing can be applied in this context. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Dans le domaine des réseaux de capteurs sans-fil (dits « WSN »), les piles réseau spécialisées constituent un domaine de recherche très actif depuis maintenant de nombreuses années. Toutefois, beaucoup de ces études, notamment concernant les couches basses de ces piles réseau, n’ont pas dépassé le stade de la théorie. Leurs implantations n’ont sauf exception pas fait l’objet d’efforts poussés ou systématiques, surtout dans le cadre des systèmes d’exploitation spécialisés. Nous nous proposons donc, dans cette thèse, de nous focaliser sur l’analyse des interactions entre les protocoles des couches basses et les plates-formes logicielles dédiées, et de les optimiser, notamment au niveau de l’implantation. Nous passons d’abord en revue et évaluons les différents systèmes d’exploitation spécialisés, et choisissons celui offrant les fonctionnalités, notamment temps-réel, que nous estimons nécessaires pour implanter des protocoles MAC / RDC novateurs et performants. Nous entreprenons ensuite un effort d’étude, d’amélioration et d’optimisation de ces couches basses des piles spécialisées, et montrons, avec une implantation concrète d’un de nos protocoles MAC / RDC avancés, que nous pouvons amener des progrès notables dans la qualité de service (QdS) des WSN, notamment avec un trafic réseau intense. Nous examinons en outre des inexactitudes inattendues dans les simulations / émulations effectuées par Cooja / MSPSim, et analysons les problèmes de fiabilité posés par l’utilisation de cet outil pour effectuer des évaluations de performances, notamment temporelles, de WSN. Nous proposons enfin de nouvelles pistes pour de futures améliorations et optimisations de ces couches basses des piles réseau spécialisées, afin d’améliorer encore la fiabilité, les performances et la consommation énergétique des WSN. / In the field of wireless sensors networks (WSN), specialized network stacks have been a very active research field for many years. However, most of this research, especially on lower layers of the network stacks, did not go beyond theory. Their implementations have generally not been the subject of deep or systematic effort, especially within the framework of dedicated operating systems. We thus propose, in this thesis, to focus on interaction analysis between lower layers’ protocols and dedicated software platforms, and to optimize them, especially at the implementation level. We first review and evaluate the various dedicated operating systems, and choose the one offering the necessary features to implement efficient and innovative MAC/RDC protocols. We then study, improve and optimize these lower layers of specialized stacks, and show, with an actual implementation of one of our advanced MAC/RDC protocols, that we can bring significant improvements in the quality of service (QoS) of WSNs, especially under heavy network traffic. We also report inaccuracies in Cooja/MSPSim simulations/emulations, and analyze the reliability issues caused by the use of this tool for performing evaluations (especially time-related) of WSNs. We finally propose some new leads for future enhancements and optimizations of the lower layers of these specialized network stacks, in order to further improve the liability, performances and energy consumption of WSNs.

No description available.