Les pilotes de périphériques composent désormais une part essentielle des systèmes d'exploitation. Plusieurs études montrent qu'ils sont fréquemment à l'origine des dysfonctionnements des systèmes opératoires. Dans ce mémoire, nous présentons une méthode pour l'évaluation de la robustesse des noyaux face aux comportements anormaux des pilotes de périphériques. Pour cela, après avoir analysé et précisé les caractéristiques des échanges entre les pilotes et le noyau (DPI - Driver Programming Interface), nous proposons une technique originale d'injection de fautes basée sur la corruption des paramètres des fonctions manipulées au niveau de cette interface. Nous définissons différentes approches pour l'analyse et l'interprétation des résultats observés pour obtenir des mesures objectives de sûreté de fonctionnement. Ces mesures permettent la prise en compte de différents points de vue afin de répondre aux besoins réels de l'utilisateur. Enfin, nous illustrons et validons l'applicabilité de cette méthode par sa mise en Suvre dans le cadre d'un environnement expérimental sous Linux. La méthode proposée contribue à la caractérisation de la sûreté de fonctionnement des noyaux vis-à-vis des défaillances des pilotes du système. L'impact des résultats est double : a) permettre au développeur de tels logiciels d'identifier les faiblesses potentielles affectant la sûreté de fonctionnement du système, b) aider un intégrateur dans le choix du composant le mieux adapté à ses besoins.

No autorizada por el autor a ser publicada a texto completo / El objetivo general del presente trabajo de título es evaluar la implementación de un sistema de aislamiento sísmico en una estructura de pilotes de acero-tablero de hormigón de un muelle transparente típico para transferencia de carga de contenedores. El estudio se focaliza en el caso de los sitios 3, 2 y 1 del Puerto de Valparaíso. Inicialmente, se evalúa un aumento en seguridad sísmica y operativa del terminal post-sismo de gran magnitud, para luego evaluar la factibilidad de operar, tanto grúas de mayor rendimiento para naves Post-Panamax., así como grúas de menor certificación sísmica, más económicas y disponibles en el mercado. En el comercio marítimo, la seguridad y confiabilidad de mantener operativo los terminales portuarios post sismo de gran magnitud, surge como una necesidad en lo que significa reducir el endeudamiento en primas y seguros, por parte de las empresas portuarias para enfrentar estos desastres eventuales. Por otro lado, los principales países proveedores de equipos industriales en el mundo, poseen una línea de fabricación cuya demanda esta orientada principalmente a países de baja actividad sísmica. La demanda internacional de equipos certificados para operar en zonas sísmicas altas es menor, por lo que adquirir equipamiento de este tipo, implica diseñar y construir, por parte de los proveedores, fuera de su línea de producción masiva, hecho que resulta en mayores costos y plazos de entrega. En el estudio se modeló la estructura de muelle transparente con dos grúas ZPMC Post-Panamax, de forma convencional y con aislamiento sísmico. Se determinó la estructuración adecuada en planta de aisladores sísmicos y se diseño el sistema de aislamiento de acuerdo a la norma Nch2745; se verificó el diseño de forma lineal y no-lineal. Se realizó un estudio de costos directos e indirectos para determinar el porcentaje de incidencia en el proyecto total. Como resultado se obtuvo un sistema de aislamiento hibrido compuesto por aisladores elastoméricos y con pilotes verticales. Se logró una disminución de aceleraciones sísmicas horizontales de un 80% en el muelle y de un 90% en las grúas. El aislamiento sísmico posibilita la instalación de equipamiento estándar en zonas sísmicas altas y tiene una baja incidencia en la inversión, logrando un aumento considerable de la seguridad sísmica portuaria, para un sismo de gran magnitud. Se concluye que es técnica y económicamente factible disponer de aislamiento sísmico en estructuras de muelle transparente, y que la alternativa desarrollada es una solución para el diseño sísmico en Chile en infraestructura portuaria.

Les exigences opérationnelles du métier de pilote sont susceptibles d'engendrer de la somnolence et des niveaux de charge mentale inadéquats (i.e., trop faible ou trop élevé) au cours des vols. Les dettes de sommeil et les perturbations circadiennes liées à divers facteurs (e.g., longues périodes de services, horaires de travail irrégulier, etc.) demandent aux pilotes de repousser sans cesse leurs limites biologiques. Par ailleurs, la charge de travail mental des pilotes présente de fortes variations au cours d'un vol : élevée au cours des phases critiques (i.e., décollage et atterrissage), elle devient très réduite pendant les phases de croisière. Lorsque la charge mentale devient trop élevée ou, à l'inverse, trop faible, les performances se dégradent et des erreurs de pilotage peuvent apparaître. La mise en oeuvre de méthodes de détection de l'état de somnolence et du niveau de charge mentale en temps quasi réel est un défi majeur pour le suivi et le contrôle de l'activité de pilotage. L'objectif de la thèse est de déterminer si la voix humaine peut permettre de détecter d'une part, l'état de somnolence et d'autre part, le niveau de charge mentale d'un individu. Dans une première étude, la voix de participants a été enregistrée lors d'une tâche de lecture avant et après une nuit de privation totale de sommeil (PTS). Les variations de l'état de somnolence consécutives à la PTS ont été évaluées au moyen de mesures auto-évaluatives et électrophysiologiques (ÉlectroEncéphaloGraphie [EEG] et Potentiels Évoqués [PEs]). Les résultats ont montré une variation significative après la PTS de plusieurs paramètres acoustiques liés : (a) à l'amplitude des impulsions glottiques (fréquence de modulation d'amplitude), (b) à la forme du signal acoustique (longueur euclidienne du signal et ses caractéristiques associées) et (c) au spectre du signal des voyelles (rapport harmonique sur bruit, fréquence du second formant, coefficient d'asymétrie, centre de gravité spectral, différences d'énergie, pente spectrale et coefficients cepstraux à échelle Mel). La plupart des caractéristiques spectrales ont montré une sensibilité différente à la privation de sommeil en fonction du type de voyelles. Des corrélations significatives ont été mises en évidence entre plusieurs paramètres acoustiques et plusieurs indicateurs objectifs (EEG et PEs) de l'état de somnolence. Dans une seconde étude, le signal vocal a été enregistré durant une tâche de rappel de listes de mots. La difficulté de la tâche était manipulée en faisant varier le nombre de mots dans chaque liste (i.e., entre un et sept, correspondant à sept conditions de charge mentale). Le diamètre pupillaire - qui est un indicateur objectif pertinent du niveau de charge mentale - a été mesuré simultanément avec l'enregistrement de la voix afin d'attester de la variation du niveau de charge mentale durant la tâche expérimentale. Les résultats ont montré que des paramètres acoustiques classiques (fréquence fondamentale et son écart type, shimmer, nombre de périodes et rapport harmonique sur bruit) et originaux (fréquence de modulation d'amplitude et variations à court-terme de la longueur euclidienne du signal) ont été particulièrement sensibles aux variations de la charge mentale. Les variations de ces paramètres acoustiques étaient corrélées à celles du diamètre pupillaire. L'ensemble des résultats suggère que les paramètres acoustiques de la voix humaine identifiés lors des expérimentations pourraient représenter des indicateurs pertinents pour la détection de l'état de somnolence et du niveau de charge mentale d'un individu. Les résultats ouvrent de nombreuses perspectives de recherche et d'applications dans le domaine de la sécurité des transports, notamment dans le secteur aéronautique. / Operational requirements of aircraft pilots may cause drowsiness and inadequate mental load levels (i.e., too low or too high) during flights. Sleep debts and circadian disruptions linked to various factors (e.g., long working periods, irregular work schedules, etc.) require pilots to challenge their biological limits. Moreover, pilots' mental workload exhibits strong fluctuations during flights: higher during critical phases (i.e., takeoff and landing), it becomes very low during cruising phases. When the mental load becomes too high or, conversely, too low, performance decreases and flight errors may manifest. Implementation of detection methods of drowsiness and mental load levels in near real time is a major challenge for monitoring and controlling flight activity. The aim of this thesis is therefore to determine if the human voice can serve to detect on one hand the drowsiness and on the other hand the mental load level of an individual. In a first study, the voice of participants was recorded during a reading task before and after a night of total sleep deprivation (TSD). Drowsiness variations linked to TSD were assessed using self-evaluative and electrophysiological measures (ElectroEncephaloGraphy [EEG] and Evoked Potentials [EPs]). Results showed significant variations after the TSD in many acoustic features related to: (a) the amplitude of the glottal pulses (amplitude modulation frequency), (b) the shape of the acoustic wave (Euclidean length of the signal and its associated features) and (3) the spectrum of the vowel signal (harmonic-to-noise ratio, second formant frequency, skewness, spectral center of gravity, energy differences, spectral tilt and Mel-frequency cepstral coefficients). Most spectral features showed different sensitivity to sleep deprivation depending on the vowel type. Significant correlations were found between several acoustic features and several objective indicators (EEG and PEs) of drowsiness. In a second study, voices were recorded during a task featuring word-list recall. The difficulty of the task was manipulated by varying the number of words in each list (i.e., between one and seven, corresponding to seven mental load conditions). Evoked pupillary response - known to be a useful proxy of mental load - was recorded simultaneously with speech to attest variations in mental load level during the experimental task. Results showed that classical features (fundamental frequency and its standard deviation, shimmer, number of periods and harmonic-to-noise ratio) and original features (amplitude modulation frequency and short-term variation in digital amplitude length) were particularly sensitive to variations in mental load. Variations in these acoustic features were correlated to those of the pupil size. Results suggest that the acoustic features of the human voice identified during these experiments could represent relevant indicators for the detection of drowsiness and mental load levels of an individual. Findings open up many research and applications perspectives in the field of transport safety, particularly in the aeronautical sector.

Dans ces travaux de thèse, nous proposons de nouvelles méthodes d’estimation de canal pour un système full-duplex dédié aux communications véhiculaires. Les deux canaux relatifs au signal utile (SOI) et au signal interférant (SI) sont estimés. Les méthodes que nous proposons sont classées selon si les pilotes des deux signaux sont envoyés séparément ou simultanément. Dans le cas de la transmission séparée des pilotes, nous proposons un algorithme se basant sur un positionnement dynamique des pilotes ainsi qu’une méthode hybride qui combine l’approche du changement de position des pilotes avec l’emploi des séquences d’apprentissage en début de trame. Nous proposons également une méthode visant à optimiser l’estimation classique qui se base sur un séquence d’apprentissage en amélioration l’estimation au niveau de chaque symbole préambule. Dans le contexte d’une transmission simultanée des pilotes, nous proposons deux algorithmes visant à améliorer les performances d’estimation par rapport aux méthodes existantes. Dans la première méthode proposée, les deux canaux SI et SOI sont estimés dans le domaine fréquentiel à l’aide des itérations de Landweber. La seconde proposition consiste à utiliser une matrice de projectionafin d’éviter le bruit engendré par les données inconnues du signal SOI lors de l’estimation. Finalement, nous proposons une méthode d’estimation de canal sélectif en temps et en fréquence pour des fréquences doppler faibles à modérées. Certaines méthodes proposées sont implémentées dans un système full-duplex expérimental qui a recours aux antennes reconfigurables pour réaliser l’annulation passive. / In this work of thesis, we propose new channel estimation approaches for a full-duplex system dédicated to vehicular communications. Both the self-interference (SI) and intended (SOI) channel are estimated. We propose different estimation méthods according to whether the pilots of the signals are transmitted jointly or separately. In the separate transmission, an estimation based on a new pilot configuration is proposed as well as a hybrid method which use both pilot configuration and training sequences.We also propose an optimisation of the conventional training-based method.It consists of improving the estimation of each training symbole. In the joint transmission, we propose two algorithms that aims to improve the estimation performances compared to the existing methods. In the first proposed method, the two channels are first estimated in the frequency domain using the Landweber iterations. The second proposition consists of using a projection matrix to manipulate only the pilots and avoid the noise that is caused by the SOI unknown datas. Finally, we propose a time and frequency-selective channel estimation for low and medium doppler frequency. Some of the proposed estimators are implemented on a real Full Duplex communication system which use Multi-reconfigurable antennas to perform the passive cancellation.

Cette thèse porte sur les processus de sélection, formation et encadrement (SFE) des gestionnaires, appelés pilotes et considérés comme agents de changement dans les télécentres communautaires au Mali. Ces processus sont étudiés sous l'angle de leur contribution positive ou négative à l'implantation et au développement de ces centres. Les projets "technologies de l’information et de la communication", initiés par les partenaires techniques et financiers, répondent au besoin des autorités maliennes préoccupées par un souci de connecter les 703 communes du pays. À la suite du sommet mondial sur la société de l’information en décembre 2003 à Genève, l’UNESCO et la Coopération suisse ont décidé d’installer des centres multimédias communautaires dans trois pays d’Afrique (Mali, Mozambique, Sénégal). Ces implantations de télécentres ont été réalisées sur le modèle de ce qui avait été fait en Asie sans tenir compte des besoins réels des bénéficiaires et des conditions particulières (économiques, politiques, culturelles) des sites d’implantation. Malgré les conditions parfois difficiles de l’Afrique, les populations témoignent un enthousiasme réel pour les technologies de communication. Les TIC ont connu une croissance considérable et se sont multipliées partout en Afrique, à des degrés divers. Néanmoins, elles n’ont pas encore atteint la majorité des populations africaines, car 70% de celles-ci vivent en zones rurales souvent marginalisées par les difficultés économiques. Après l’implantation des télécentres, les sites ont donc été confrontés à la difficile tâche de sélectionner les pilotes comme agents de changement. Les responsables chargés de la mise en œuvre des projets ont choisi les pilotes dans leur réseau familial. En ce sens, la thèse met l’accent sur l’importance du rôle d’un pilote dans un télécentre et l’appui qu’il peut générer dans la population bénéficiaire. Nous proposons un modèle qui part de l’action des agents de changement, et ce, afin de potentiellement susciter une prise de conscience chez les décideurs locaux. Nous avons fait une étude de cas sur quatre sites pour mieux connaître les processus de sélection, formation et encadrement des pilotes et nous avons tenté d'identifier les facteurs qui, dans ces processus, ont pu influencer le niveau de réussite de chacun de ces centres. / This dissertation examines the processes of selecting, training, and mentoring managers, also known as "pilots," and considered as change agents in the development of community telecentres in Mali. These processes are analyzed according to their positive and negative outcomes regarding the establishment and development of telecentres. The Information and Communication Technologies (ICT) project, launched by technical and financial partners, responds to the needs of Malian authorities in their efforts to connect the country’s 703 communes. Following the World Summit on the Information Society, held in Geneva on December 2003, UNESCO and the Swiss Agency for Development and Cooperation (SDC) decided to establish multimedia community telecentres in three African countries (Mali, Mozambique, and Senegal). The setting-up of these telecentres was modeled after a similar project conducted previously in Asia, without however taking into account the primary needs of the beneficiaries, nor their specific conditions (both economic, political, and cultural). Despite the difficult conditions that sometimes characterize the African context, African populations express a genuine interest for Information and Communication Technologies. The ICT sector has witnessed a considerable and widespread growth throughout many African countries, although with various degrees of success. However, a majority of the African population has still not been connected, since 70% of the population lives in more economically marginalized rural areas. Once the telecentres were established in various locations, most of them were confronted with the difficult challenge of selecting "pilots," to serve as change agents. Those in charge of selecting the pilots favored people located within their own family networks. Therefore, the dissertation emphasizes the pilot’s decisive role in the telecentres, and the support that he is able to generate within the beneficiary population. We put forward a model starting from the actions of the change agents, hoping to stimulate awareness amongst local deciders. We conducted a case study on four different sites in order to better understand the processes of selecting, training, and mentoring pilots, with a focus on the key factors influencing, for each of those processes, the level of success in all the telecentres.

Alors que la recherche sur la qualité du code des systèmes a connu un formidable engouement, les systèmes d’exploitation sont encore aux prises avec des problèmes de fiabilité notamment dus aux bogues de programmation au niveau des services noyaux tels que les pilotes de périphériques et l’implémentation des systèmes de fichiers. Des études ont en effet montré que chaque version du noyau Linux contient entre 600 et 700 fautes, et que la propension des pilotes de périphériques à contenir des erreurs est jusqu’à sept fois plus élevée que toute autre partie du noyau. Ces chiffres suggèrent que le code des services noyau n’est pas suffisamment testé et que de nombreux défauts passent inaperçus ou sont difficiles à réparer par des programmeurs non-experts, ces derniers formant pourtant la majorité des développeurs de services. Cette thèse propose une nouvelle approche pour le débogage et le test des services noyau. Notre approche est focalisée sur l’interaction entre les services noyau et le noyau central en abordant la question des “trous de sûreté” dans le code de définition des fonctions de l’API du noyau. Dans le contexte du noyau Linux, nous avons mis en place une approche automatique, dénommée Diagnosys, qui repose sur l’analyse statique du code du noyau afin d’identifier, classer et exposer les différents trous de sûreté de l’API qui pourraient donner lieu à des fautes d’exécution lorsque les fonctions sont utilisées dans du code de service écrit par des développeurs ayant une connaissance limitée des subtilités du noyau. Pour illustrer notre approche, nous avons implémenté Diagnosys pour la version 2.6.32 du noyau Linux. Nous avons montré ses avantages à soutenir les développeurs dans leurs activités de tests et de débogage. / Despite the existence of an overwhelming amount of research on the quality of system software, Operating Systems are still plagued with reliability issues mainly caused by defects in kernel-level services such as device drivers and file systems. Studies have indeed shown that each release of the Linux kernel contains between 600 and 700 faults, and that the propensity of device drivers to contain errors is up to seven times higher than any other part of the kernel. These numbers suggest that kernel-level service code is not sufficiently tested and that many faults remain unnoticed or are hard to fix bynon-expert programmers who account for the majority of service developers. This thesis proposes a new approach to the debugging and testing of kernel-level services focused on the interaction between the services and the core kernel. The approach tackles the issue of safety holes in the implementation of kernel API functions. For Linux, we have instantiated the Diagnosys automated approach which relies on static analysis of kernel code to identify, categorize and expose the different safety holes of API functions which can turn into runtime faults when the functions are used in service code by developers with limited knowledge on the intricacies of kernel code. To illustrate our approach, we have implemented Diagnosys for Linux 2.6.32 and shown its benefits in supporting developers in their testing and debugging tasks.

J'ai étudié deux nouvelles configurations de double-colonne pour distillation hétéroazéotropique. Ces configurations sont appropriées à la récupération simultanée des composants des mélanges binaires hétéroazéotropiques et homoazéotropiques (en utilisant un tiers corps (entraîneur)). Elle sont opérées en système fermé, c'est-à-dire, il n'y a pas de soutirage de produit continu. D'abord, en appliquant un modèle simplifié, j'ai étudié la faisabilité de la séparation d'un mélange hétéroazéotropique (1-butanol – eau), puis celle d'un mélange homoazéotropique (2-propanol – eau) aidé par entraîneur benzène ou cyclohexane, en utilisant le SDC. Puis, j'ai étudié cette configuration par modélisation rigoureuse, en appliquant le simulateur dynamique du logiciel professionnel ChemCAD (CC-DColumn). J'ai comparé la nouvelle configuration avec le RD, sur la base des résultats obtenus par toutes les deux méthodes d'étude. Le SDC s'est avéré faisable et compétitif avec le RD : pendant la même durée ou plus courte, les rendements des composants ont été plus élevés. Puis, on a étendu le SDC à un système plus flexible (système de double-colonne généralisé, SDCG) qui est approprié à la séparation des mélanges binaires homoazéotropiques aidé par entraîneur (en le cas présent : cyclohexane ou n-hexane). J'ai étendu la méthode de faisabilité aussi à l'étude de cette configuration. Le SDCG s'est avéré aussi faisable. En appliquant modélisation rigoureuse, j'ai étudié les effets des nouveaux paramètres opératoires sur la durée, et j'ai comparé le DCG avec le SDC. Le SDCG s'est avéré encore plus avantageux que le SDC : la durée a été plus courte, et les besoins spécifiques d'énergie des produits ont été plus bas. J'ai étudié le SDC et le SDCG aussi par des manipulations exécutées sur installations de taille laboratoire et pilote. D'abord, j'ai fait des manipulations laboratoires pour la séparation du mélange binaire hétéroazéotropique, en utilisant une installation en verre qui a été opérée aussi comme RD et SDC. Le SDC s'est avéré faisable et compétitif avec le RD aussi sur la base des résultats de ces manipulations : pendant la même durée, les rendements des tous les deux composants ont été plus élevés. Puis, en utilisant l'installation pilote comme SDC, j'ai étudié la séparation ci-dessus. Après cette manipulation, j'ai étudié la séparation du mélange binaire homoazéotropique en appliquant n-hexane comme entraîneur, en opérant le système comme RD et SDCG. La manipulation faite avec le SDCG a montré que la production simultanée de deux composants est faisable avec cette configuration. / Distillation is the method the most frequently applied for the separation of liquid mixtures, e.g. for the recovery of the components of the waste solvent mixtures. Because of the high energy demand of these processes the optimal design and operation of the distillation equipments are important from economic and also environmental points of view. The separation of the azeotropic mixtures needs special distillation methods like heteroazeotropic distillation. In the pharmaceutical and fine chemical industries it is often applied in batch mode. The aims of the thesis are to study the feasibility of a new Double-Column System (DCS) for batch heteroazeotropic distillation and to compare it with the traditional Batch Rectifier (BR) equipped with a decanterto study the above configurations by rigorous simulationto extend the DCS (Generalised Double-Column System, GDCS) and to study this new configuration by the above methodsto do laboratory experiments for both configurations in order to prove the feasibility of the separation and validate the calculations, respectively. Two new double-column configurations for batch heteroazeotropic distillation were studied. These configurations are designed to produce simultaneously the components of binary heteroazeotropic and homoazeotropic mixtures (by using an entrainer). They are operated in closed system (without continuous product withdrawal). First the feasibility of the separation of a heteroazeotropic mixture (1-butanol – water) and that of a homoazeotropic one by using an entrainer (isopropanol – water + benzene or cyclohexane) in the DCS were investigated by a simplified model. Then the operation of this configuration was modelled by rigorous simulation by using the dynamic simulator of the professional flowsheet simulator ChemCAD (CC-DColumn). On the basis of the results obtained by both methods the new configuration was compared with the BR. The DCS proved to be feasible and competitive with the BR: during the same or shorter time the recoveries of the components were higher. Then the DCS was extended to a more flexible version (Generalised Double-Column System, GDCS), which is suitable for the separation of binary homoazeotropic mixtures (by using an entrainer, in this work: cyclohexane or n- exane). The feasibility method was extended for the study of this configuration, as well. The GDCS proved to be feasible. Then the effects of its additional operational parameters on the duration were studied by rigorous simulation. The GDCS was compared with the DCS by rigorous simulation, as well. The GDCS proved to be more advantageous than the DCS: the duration was shorter and the specific energy demands of the products were lower. The DCS and GDCS were also investigated by laboratory and pilot plant experiments. First laboratory experiments were done for the separation of the binary heteroazeotropic mixture in a simple small size glass equipment operated as BR and DCS. The DCS proved to be feasible and competitive with the BR also on the basis of the results of these experiments: during the same time the recovery of both components were higher. Then a pilot plant was used for the same separation as a DCS. After this experiment the separation of the binary homoazeotropic mixture by using n-hexane as entrainer was studied in the equipment operated as BR and GDCS. The experiment showed that the simultaneous production of two components is feasible also in the GDCS.

Cette recherche porte sur l’impact des émotions sur les réponses des pilotes d’avion dans la gestion de situations dynamiques et ambiguës. A l’inverse des théories selon lesquelles les émotions dégradent les performances des pilotes, nous défendons la thèse selon laquelle les processus émotionnels ont une fonction adaptative et vont donc favoriser des réponses appropriées à la situation. Afin de vérifier cette hypothèse, des pilotes volontaires sont mis en situation de devoir gérer une fuite d’essence sur un simulateur de vol. Nous avons construit un scénario réaliste d’une durée d’une heure. Les pilotes ne sont donc pas confrontés à un problème ponctuel, s’apparentant à une situation de résolution de problèmes, mais doivent traiter l’anomalie de consommation d’essence pendant toute la durée du vol simulé. Ils ont donc la possibilité, en cours du vol, de corriger des choix qu’ils jugent inadaptés. Le relevé des fréquences cardiaques de chaque pilote pendant leur vol nous permet de repérer les épisodes émotionnels. Nous montrons que loin de dégrader les réponses des pilotes, les émotions sont positivement liées à la fois à leur expertise et à leurs performances : les pilotes ayant mis en œuvre les décisions les plus adaptées à la situation sont aussi ceux qui ont ressenti le plus d’émotions lors de la découverte et du traitement de la fuite d’essence. / This research centers on the impact of emotions on a pilot who's dealing with dynamic and/or ambiguous situations. Contrary to theories that state pilots' performances are diminished by emotions, we believe that an emotional process actually has an adaptive function which subsequently helps give appropriate answers to a given situation. To verify this hypothesis, volunteer pilots are confronted with having to deal with a fuel leakage on a flight simulator. We have built a realistic 1h long scenario. The pilots are not faced with a punctual situation, akin to problem solving, but have to treat the fuel consumption anomaly during the whole length of the flight simulation. Consequently they have the possibility, in flight, to recover inappropriate responses. The readings of the pilots' heartbeat allows us to identify the emotional episodes. We show that, far from diminishing the pilots' responses, emotions are linked positively not only to the pilots' expertise, but also their performances: The pilots who have devised the best responses to the situation are also those who've registered the most emotions whilst discovering and treating the fuel leakage.

Alors que la recherche sur la qualité du code des systèmes a connu un formidable engouement, les systèmes d'exploitation sont encore aux prises avec des problèmes de fiabilité notamment dûs aux bogues de programmation au niveau des services noyaux tels que les pilotes de périphériques et l'implémentation des systèmes de fichiers. Des études ont en effet montré que que chaque version du noyau Linux contient entre 600 et 700 fautes, et que la propension des pilotes de périphériques à contenir des erreurs est jusqu'à sept fois plus élevée que toute autre partie du noyau. Ces chiffres suggèrent que le code des services noyau n'est pas suffisamment testé et que de nombreux défauts passent inaperçus ou sont difficiles à réparer par des programmeurs non-experts, ces derniers formant pourtant la majorité des développeurs de services. Cette thèse propose une nouvelle approche pour le débogage et le test des services noyau. Notre approche est focalisée sur l'interaction entre les services noyau et le noyau central en abordant la question des "trous de sûreté" dans le code de définition des fonctions de l'API du noyau. Dans le contexte du noyau Linux, nous avons mis en place une approche automatique, dénommée Diagnosys, qui repose sur l'analyse statique du code du noyau afin d'identifier, classer et exposer les différents trous de sûreté de l'API qui pourraient donner lieu à des fautes d'exécution lorsque les fonctions sont utilisées dans du code de service écrit par des développeurs ayant une connaissance limitée des subtilités du noyau. Pour illustrer notre approche, nous avons implémenté Diagnosys pour la version 2.6.32 du noyau Linux. Nous avons montré ses avantages à soutenir les développeurs dans leurs activités de tests et de débogage.

Cette thèse porte sur les processus de sélection, formation et encadrement (SFE) des gestionnaires, appelés pilotes et considérés comme agents de changement dans les télécentres communautaires au Mali. Ces processus sont étudiés sous l'angle de leur contribution positive ou négative à l'implantation et au développement de ces centres. Les projets "technologies de l’information et de la communication", initiés par les partenaires techniques et financiers, répondent au besoin des autorités maliennes préoccupées par un souci de connecter les 703 communes du pays. À la suite du sommet mondial sur la société de l’information en décembre 2003 à Genève, l’UNESCO et la Coopération suisse ont décidé d’installer des centres multimédias communautaires dans trois pays d’Afrique (Mali, Mozambique, Sénégal). Ces implantations de télécentres ont été réalisées sur le modèle de ce qui avait été fait en Asie sans tenir compte des besoins réels des bénéficiaires et des conditions particulières (économiques, politiques, culturelles) des sites d’implantation. Malgré les conditions parfois difficiles de l’Afrique, les populations témoignent un enthousiasme réel pour les technologies de communication. Les TIC ont connu une croissance considérable et se sont multipliées partout en Afrique, à des degrés divers. Néanmoins, elles n’ont pas encore atteint la majorité des populations africaines, car 70% de celles-ci vivent en zones rurales souvent marginalisées par les difficultés économiques. Après l’implantation des télécentres, les sites ont donc été confrontés à la difficile tâche de sélectionner les pilotes comme agents de changement. Les responsables chargés de la mise en œuvre des projets ont choisi les pilotes dans leur réseau familial. En ce sens, la thèse met l’accent sur l’importance du rôle d’un pilote dans un télécentre et l’appui qu’il peut générer dans la population bénéficiaire. Nous proposons un modèle qui part de l’action des agents de changement, et ce, afin de potentiellement susciter une prise de conscience chez les décideurs locaux. Nous avons fait une étude de cas sur quatre sites pour mieux connaître les processus de sélection, formation et encadrement des pilotes et nous avons tenté d'identifier les facteurs qui, dans ces processus, ont pu influencer le niveau de réussite de chacun de ces centres. / This dissertation examines the processes of selecting, training, and mentoring managers, also known as "pilots," and considered as change agents in the development of community telecentres in Mali. These processes are analyzed according to their positive and negative outcomes regarding the establishment and development of telecentres. The Information and Communication Technologies (ICT) project, launched by technical and financial partners, responds to the needs of Malian authorities in their efforts to connect the country’s 703 communes. Following the World Summit on the Information Society, held in Geneva on December 2003, UNESCO and the Swiss Agency for Development and Cooperation (SDC) decided to establish multimedia community telecentres in three African countries (Mali, Mozambique, and Senegal). The setting-up of these telecentres was modeled after a similar project conducted previously in Asia, without however taking into account the primary needs of the beneficiaries, nor their specific conditions (both economic, political, and cultural). Despite the difficult conditions that sometimes characterize the African context, African populations express a genuine interest for Information and Communication Technologies. The ICT sector has witnessed a considerable and widespread growth throughout many African countries, although with various degrees of success. However, a majority of the African population has still not been connected, since 70% of the population lives in more economically marginalized rural areas. Once the telecentres were established in various locations, most of them were confronted with the difficult challenge of selecting "pilots," to serve as change agents. Those in charge of selecting the pilots favored people located within their own family networks. Therefore, the dissertation emphasizes the pilot’s decisive role in the telecentres, and the support that he is able to generate within the beneficiary population. We put forward a model starting from the actions of the change agents, hoping to stimulate awareness amongst local deciders. We conducted a case study on four different sites in order to better understand the processes of selecting, training, and mentoring pilots, with a focus on the key factors influencing, for each of those processes, the level of success in all the telecentres.