Actuellement, toutes les applications critiques mettant en jeu la vie humaine ne peuvent pas être assurées par des systèmes complexes utilisant des circuits intégrés répliques; il est nécessaire d'utiliser des composants discrets de sécurité intrinsèque, d'un encombrement et d'un cout prohibitifs. Pour relever ce défi, le micro-contrôleur maps qui doit gérer la signalisation ferroviaire, bénéficie de l'intégration d'un circuit logique autotestable, en-ligne (duplication duale+parité) et hors-ligne, suivant le principe de la technique ubist. Le maps dispose aussi d'une interface de sortie apte a produire des signaux de commande en fréquence, soit surs soit corrects. Il dispose également d'une interface d'entrée capable de n'accepter des signaux externes qu'après les avoir rendus surs ou corrects. Ces deux interfaces intégrées pour la première fois, sur la même puce que le circuit autotestable, sont strongly fail-safe. Seules les communications avec l'extérieur se font par échange de messages fortement codes sans qu'aucun matériel ne soit rajoute. En conséquence, l'étude que l'on présente permet d'apporter une nouvelle démarche de conception des systèmes hautement critiques, tout en assurant un degré de sécurité nettement plus élevé (détection de toutes pannes triples) que celui donne par les systèmes actuels, et ceci pour un volume et un cout plus faibles

aLes techniques utilisées pour la réalisation de systèmes électroniques destines au contrôle/commande d'applications critiques sont généralement basées sur le concept de la logique fail-safe conventionnelle. Bien qu'elles aient été largement éprouvées, ces techniques s'avèrent maintenant de plus en plus mal adaptées à la conception de systèmes de plus en plus complexes puisqu'elles font appel à des composants discrets spécifiques. C'est dans ce contexte que cette étude essaie d'évaluer la contribution des circuits intégrés autotestables, et plus spécialement les circuit self-checking (capables de détecter instantanément leurs propres erreurs), à la réalisation de systèmes intégrés à haute sureté de fonctionnement. Les travaux présentés dans cette thèse se proposent d'élargir la théorie des systèmes fail-safe aux circuits intégrés combinatoires. Comme application, nous étudions la faisabilité d'une interface autotestable hors-ligne capable de transformer les données des circuits autotestables en-ligne (self-checking) en signaux surs adaptes au pilotage d'éléments électrons mécaniques. Cette interface autorise la réalisation de circuits Vlsi strongly fail-safe qui sont susceptibles, dans les années à venir, de tenir une place de premier ordre dans le domaine des automatismes intégrés de sécurité. Toutes les considérations pratiques pour la conception de ces circuits sont basées sur des hypothèses de pannes analytiques liées à la technologie utilisée, ici le CMOS

Étude des moyens de description et de manipulation des objets contenus dans des images binaires discrètes. Le calcul d'une ligne médiane, puis d'un graphe de la ligne médiane, aboutit a la représentation hiérarchisée de l'axe médian qui induit une analyse structurée de l'objet original. Différents procédés de manipulation de formes sont proposes et testés.

Présentation et discussion des développements vers diverses améliorations possibles du temps de détection, obtenues par le biais de modification du circuit. Un test hors ligne peut être dérive directement par le regroupement de toutes les procédures de test.

Dans cette thèse nous étudions le problème d'ordonnancement temps réel multiprocesseur préemptif avec prise en compte du coût exact du système d'exploitation. Ce coût est formé de deux parties : une partie facile à déterminer, correspondant au coût de l'ordonnanceur et une partie difficile à déterminer, correspondant au coût de la préemption. Cette difficulté est due au fait qu'une préemption peut en engendrer une autre, pouvant ainsi créer un phénomène d'avalanche. Dans un premier temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches indépendantes avec prise en compte du coût exact de la préemption et proposé une analyse d'ordonnançabilité fondée sur une heuristique d'ordonnancement multiprocesseur. Cette heuristique utilise la stratégie d'ordonnancement multiprocesseur par partitionnement. Pour prendre en compte le coût exact de la préemption sur chaque processeur nous avons utilisé la condition d'ordonnançabilité proposée par Meumeu et Sorel. Cette condition d'ordonnançabilité pour des tâches à priorités fixes, est basée sur une opération binaire d'ordonnancement qui permet de compter le nombre exact de préemption et d'ajouter leur coût dans l'analyse d'ordonnançabilité des tâches. L'heuristique proposée permet de maximiser le facteur d'utilisation restant afin de répartir équitablement les tâches sur les processeurs et de réduire leur temps de réponse. Elle produit une table d'ordonnancement hors ligne. Dans un second temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches dépendantes avec prise en compte du coût exact de la préemption. Puisque la condition d'ordonnançabilité utilisée pour ordonnancer les tâches indépendantes ne s'applique qu'à des tâches à priorités fixes, elle ne permet pas de gérer les inversions de priorités que peuvent entraîner les tâches dépendantes. Nous avons donc proposé une nouvelle condition d'ordonnançabilité pour des tâches à priorités dynamiques. Elle prend en compte le coût exact de la préemption et les dépendances sans aucune perte de données. Ensuite en utilisant toujours la stratégie d'ordonnancement par partitionnement, nous avons proposé pour des tâches dépendantes une heuristique d'ordonnancement multiprocesseur qui réutilise cette nouvelle condition d'ordonnançabilité au niveau de chaque processeur. Cette heuristique d'ordonnancement prend en compte les coûts de communication inter-processeurs. Elle permet aussi de minimiser sur chaque processeur le makespan (temps total d'exécution) des tâches. Cette heuristique produit pour chaque processeur une table d'ordonnancement hors ligne contenant les dates de début et de fin de chaque tâches et de chaque commmunication inter-processeur. En supposant que nous avons une architecture multiprocesseur de type dirigée par le temps (Time-Triggered) pour laquelle tous les processeurs ont une référence de temps unique, nous avons proposé pour chacun des processeurs un ordonnanceur en ligne qui utilise la table d'ordonnancement produite lors de l'ordonnancement hors ligne. Cet ordonnanceur en ligne a l'avantage d'avoir un coût constant qui de plus est facile à déterminer de manière exacte. En effet il correspond uniquement au temps de lecture dans la table d'ordonnancement pour obtenir la tâche sélectionnée lors de l'analyse d'ordonnançabilité hors ligne, alors que dans les ordonnanceurs classiques en ligne ce coût correspond à mettre à jour la liste des tâches qui sont dans l'état prêt à l'exécution puis à sélectionner une tâche selon un algorithme, par exemple RM, DM, EDF, etc. Il varie donc avec le nombre de tâches prêtes à s'exécuter qui change d'une invocation à l'autre de l'ordonnanceur. C'est ce coût qui est utilisé dans les analyses d'ordonnançabilités évoquées ci-dessus. Un autre avantage est qu'il n'est pas nécessaire de synchroniser l'accès aux mémoires de données partagées par plusieurs tâches, car cette synchronisation a été déjà effectuée lors de l'analyse d'ordonnançabilité hors ligne.

Le commerce électronique n'est plus un simple support promotionnel de la distribution des biens de consommation: il s'apparente de plus en plus à un marché parallèle à la distribution classique. Cependant, quel que soit le schéma emprunté, les rapports humains suscitent inévitablement des conflits et le commerce électronique ne fait pas exception à la règle. Ce nouveau vecteur n'a pas pour seule vertu le rapprochement des individus; de la même façon qu'il a affecté nos relations, il a eu un impact sur les litiges eux-mêmes. Le contexte particulier dans lequel s'inscrivent les transactions privées sur Internet, ont pour conséquence des litiges portant sur de faibles sommes d'argent et qui sont qui plus est - conditionnés par certains aspects techniques ou certaines particularités du monde en ligne. A cela s'ajoute une dimension internationale qui accentue encore la complexité du règlement des litiges, dans la mesure où elle implique pour les parties de délicates délibérations sur la question du forum et du droit applicable. La dispersion des parties ne facilite pas l'exercice de l'action en justice. Aussi l'arbitrage en ligne a-t-il pour ambition éthérée d'éluder la voie judiciaire et, plus encore, la voie judiciaire à l'étranger. La Toile, par la multitude de possibilités qu'elle offre, perturbe autant les repères de la justice classique qu'elle ne lui apporte des solutions jusqu'alors inexplorées. Par un recoupement de leurs caractéristiques, l'arbitrage fait ainsi écho au commerce électronique. En d'autres termes la gestion de la procédure arbitrale se fera à distance. Une attention toute particulière doit être accordée aux spécificités d'Internet et à l'impact que ce contexte particulier peut avoir sur le cadre traditionnel de l'arbitrage. La transition vers le monde virtuel ne se fait donc pas sans heurts. Si l'arbitrage en ligne est techniquement praticable, juridiquement il soulève nombre de questions. L'arbitrage classique exige de nombreuses conditions de fonds et de v fonnes que l'arbitrage en ligne par sa nature même ne peut totalement satisfaire. Malgré cette évidence, le droit, dans un souci de perfection et de maniabilité toujours plus poussé, tend peu à peu à passer outre cet écueil. Voilà ce à quoi nous essaierons de répondre modestement au travers cet exposé. / E-Commerce is no longer a channel in support of the standard fonu of trading consumption goods. It has become an alternative trading market for those consumption goods. However, whether trade takes place through e-trading or more traditional ways, human relationships are likely to entail conflicts. As a new fonu of trading, e-commerce fostered and strengthened the relationships between individuals, inc1uding lawsuits. Nonetheless, the types of lawsuits related to e-commerce differ from those related to the standard trade in several ways. For example, lawsuits related to etrading often involve relatively limited amounts of money because of the particular context in which trade takes place through the internet or some technical aspects of it. In addition, the international dimension of the trade further complicates the settlement of litigation since it implies sensitive deliberations about the place ofjurisdiction and the applicable law. In this case, the difficulty in conducting the legal practice is exacerbated by the fact that parties are far apart. Consequently, online arbitration has the noble goal of eluding the legal process, especially abroad. The World Wide Web, through its numerous possibilities, raises questions on the references of the c1assical justice and proposes solutions in ways that so far were unexplored. Since they share many of the same characteristics, on-line arbitration is similar to e-trading-that is, the on-line arbitration process is made from distance. Overall, a very particular attention must be paid to the specificities of the Internet and to its possible effects on the traditional arbitration framework. For the arbitration, the transition of trade toward the electronic world has created lots of vii difficulties. While online arbitration is technically practicable, it raises many legal issues. Online arbitration cannot totally fulfill the numerous conditions of content and fonn that standard arbitration requires. Nevertheless, the Law, with its growing concern for perfection and adaptability, is progressively overcoming this difficulty. Those are the issue that we will try to address in this study. / "Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (LLM)"

Dès la loi NRE de 2001, le législateur français s’est intéressé à l’utilisation de la voie électroniqueen période d’assemblée générale des actionnaires. Il laisse au pouvoir réglementaire la liberté deposer les modalités de toute forme d’interaction à distance entre la société anonyme et sesactionnaires. Le régime juridique allemand relatif aux assemblées générales a quant à lui étémodernisé en profondeur par la seule ARUG de 2009. Cette loi transpose la directiveeuropéenne 2007/36/CE du 11 juillet 2007 concernant l’exercice de certains droits desactionnaires de sociétés cotées. Ces textes ont conçu un actionnaire qui utiliserait la voieélectronique pour faciliter l’exercice de ses droits, un « cyber-actionnaire ». Si les textes françaisont bien pour objectif de faciliter l’exercice des droits de l’actionnaire, un nouveau cadre juridiquesemble s’être greffé sur la réglementation connue jusqu’alors. À trop chercher à s’en distinguer,notamment pour marquer la nouveauté, un régime juridique spécial semble s’être constitué, alorsque le droit allemand paraît aisément assimiler la voie électronique aux modes traditionnels decommunication. Or l’on ne fait pas face à une nouvelle catégorie d’actionnaires qui justifierait untraitement particulier. Le cyber-actionnaire n’est qu’un actionnaire exerçant par voie électroniqueses droits relatifs à l’information, à la communication et à la prise de décision collective enpériode d’assemblée générale. Pour s’en convaincre, la présente étude tire le bilan del’implication de la voie électronique en droit des sociétés par actions français et allemand. / This study looks into the introduction of electronic means in French and German company law.The French legislator already introduced the possibility of participating in shareholders annualgeneral meetings via electronic means in 2001. The law on New Economic Regulations led thegovernment to set the conditions of all the electronic communication between companies andtheir shareholders. In Germany, mainly the ARUG from 2009 modernized the law related to theAGM, by transposing the European directive from 11th July 2007 on the exercise of certain rightsof shareholders in listed companies. The new laws have a shareholder in mind, who would useelectronic means to facilitate the exercise of his rights before and during the AGM, a “cybershareholder”.While the German law seeks to assimilate the electronic communication with thetraditional correspondence, the varying French decrees seem to distinguish between a new legalregime and a traditional one. However, there is no need for a new category of shareholders,which could justify a special legal foundation. The cyber-shareholder is just a shareholderexercising his rights related to information, communication and collective decision-making in theAGM via electronic means.

Cette recherche a pour objet l'intégration des Technologies de l'Information et de la Communication (TIC) dans la didactique du Français Langue Étrangère en général et dans la formation initiale des enseignants de manière spécifique. Notre travail s'interroge sur l'apport réel du projet le « Français en (1ère) Ligne » à la formation des étudiants de Master FLE de l'université de Grenoble 3. En effet, ce projet les met dans une situation d'apprentissage actif où ils seront amenés à concevoir des activités pédagogiques et à accompagner des apprenants.Notre cadre conceptuel, résolument pluridisciplinaire, fait appel à des bases théoriques en didactique des langues, en analyse des interactions, en sciences de l'éducation, en formation des adultes et en technologies pédagogiques. L'objectif général de la recherche consiste à mieux comprendre le fonctionnement d'une approche active pour la formation aux TIC de futurs enseignants en didactique du FLE et à en évaluer les apports.Nos analyses se déclinent en trois points : le premier consiste à examiner comment les étudiants s'organisent pour concevoir des tâches en ligne et à analyser les activités produites ; le deuxième a pour but d'identifier la construction d'une relation pédagogique en ligne et la pratique de la fonction de tuteur; le troisième vise à déterminer le rôle de l'enseignante partenaire dans la formation des étudiants. Pour cela, adoptant une démarche ethnographique, nous avons récolté plusieurs types et genres de données que nous croisons pour répondre à nos questions de recherche. Les résultats obtenus pour chaque objectif spécifique nous renseigneront de façon complémentaire sur l'objectif général en nous permettant de définir les compétences professionnelles acquises.Cette étude a deux visées : d'une part une visée descriptive, analysant les tâches et les échanges en ligne afin de mieux comprendre les actions des participants, les relations qu'ils construisent entre eux et les compétences qu'ils acquièrent. D'autre part, cette thèse a aussi une visée praxéologique. En effet, la description nous permet de réaliser une modélisation de certaines variables de ce projet. Nous pointons divers facteurs d'efficacité en ce qui concerne la formation des enseignants aux TICE et l'utilisation de celles-ci dans la didactique des langues. Ces éléments nous permettront de mettre en place des recherches-actions. / This research focuses on the integration of Information and Communication Technology (ICT) in teaching French as a Foreign Language in general and in the initial training of teachers in specific areas. Our work examines the real contribution of the project "le Français en (1ère) Ligne" (F1L) on the training of FFL Master students from the University of Grenoble 3.This project puts them in a situation of active learning where they will be able to develop educational activities and support learners.Our conceptual framework, which is strongly multidisciplinary, draws on theoretical foundations in language teaching, interaction analysis, education science, adult education and learning technology. The overall objective of the research is to better understand the role of an active approach to ICT training for FFL teachers and evaluate the contributions. Our analyses are divided into three points. Firstly, we will examine how students organize themselves to develop online tasks and analyze the activities produced. Secondly we will show how to identify building a pedagogical relationship online and practicing as a tutor. Thirdly, we will determine the role of the associated teacher in training students. To do so, through an ethnographic approach, we collected several types and kinds of data that we crossed to answer our research questions. The results will give us more information on the main objective and will allow us to define the professional skills acquired.This study has two goals: firstly, a descriptive one, analyzing tasks and online interaction to better understand the actions of participants, as well as the relationships they build between themselves and the skills they acquire. Moreover, this thesis has a praxeological aim. The description allows us to produce a model of some of the variables in this project. We point out various factors of efficiency in terms of teacher training in ICT and their use in language teaching. These elements will allow us to implement action research.

Il est maintenant avéré que les contaminants présents dans les milieux aquatiques peuvent être toxiques à l’état de traces voire d’ultra traces. Il est donc important de développer des méthodes d’analyse performantes et sensibles pouvant atteindre ces niveaux de concentration. Dans cette optique, les techniques chromatographiques couplées à la spectrométrie de masse (GC-MS et LC-MS/MS) sont généralement utilisées pour l’analyse des polluants organiques. Les composés présents dans les milieux aquatiques possèdent des propriétés physico-chimiques très variées, d’apolaires à très polaires. Ainsi, développer une analyse simultanée pour toutes ces molécules représente un challenge analytique. Dans ce travail de thèse, plusieurs étapes du processus analytique ont été évaluées : la préparation de l’échantillon par extraction sur phase solide (SPE), la séparation par chromatographie et la détection par spectrométrie de masse. Une liste de composés modèles couramment retrouvés dans les milieux aquatiques a été établie pour conduire ces essais. Les méthodes d’extraction en phase solide hors ligne et en ligne ont été développées dans une optique d’analyse multirésidus à un niveau de traces. Les méthodes chromatographiques, gazeuse et liquide, couplées à la spectrométrie de masse ont été étudiées pour favoriser une analyse exhaustive et sensible. La dernière partie a consisté à appliquer les méthodes développées pour une approche d’analyse non ciblée. / It is now widely recognized that contaminants present in aquatic environments can be toxic at traces or even ultra-traces level. Therefore, it is important to develop efficient and sensitive analytical methods to reach these levels of concentration. In that respect, chromatographic techniques coupled to mass spectrometry (GC-MS and LC-MS / MS) are commonly used for the analysis of organic pollutants. The substances encountered in aquatic environments display a large range of physico-chemical properties, from apolar to very polar. Thus, developing a simultaneous analysis for all these molecules represents an analytical challenge. In this pHD work, several steps of the analytical process have been investigated: sample preparation by solid phase extraction (SPE), chromatographic separation and the detection by mass spectrometry. A list of model compounds commonly determined in aquatic environments was established to conduct the tests. Solid phase extraction methods, offline and online, were developed in a multiresidue analysis aim at traces level. Chromatographic methods, gaseous and liquid, coupled to mass spectrometry were studied to obtain an exhaustive and sensitive analysis. The last part consisted to apply the developed methods for a non-targeted analysis approach.

Le principal objectif de cette thèse est de contrôler des objets à deux dimensions dans des scènes distantes, en utilisant des flux multimédia interactifs et contextualisés. Pour le cas d’usage de ces travaux, ces objets sont des instruments de mesures de physique. Une caméra IP est placée devant l’instrument à contrôler. Le flux généré est décodé. L’instrument est reconnu par des méthodes de traitement d’images basées sur les points caractéristiques locaux. Un flux multimédia interactif basé sur le standard « MPEG-4 binary format » construit et envoyé aux utilisateurs distants. Pour supporter la collaboration, nous proposons un mécanisme de notifications ainsi que des outils de communication pour reproduire la « sensation de groupe ». Cela permet aux utilisateurs d’appréhender les interactions entre eux. Cette approche nous a conduit à enrichir le standard MPEG-BIFS avec le protocole websocket. L’utilisation du web sémantique nous permet d’encoder des séquences d’interaction prévues avec l’instrument. Le système permet également de proposer l’adaptation à la volée du flux multimédia. L’implémentation d’un prototype est illustré dans la contribution à deux projets open source : Ocelot (http://ocelot.ow2.org) et GPAC (http://gpac.wp.institut-telecom.fr) / The main objective of this thesis is to propose the control of 2D object in a remote scene, using a contextualized, collaborative and interactive multimedia. The 2D objects are mainly electronic devices. For the use case in this work, an IP camera is placed in front of the device to control. The generated stream is decoded. The front of the device is identified using image-processing techniques based on natural feature points. Then, an interactive multimedia based on the MPEG-4 binary format for scenes standard is built and broadcasted to the remote users. In order to handle collaboration, we propose a notification mechanism and communication tools to reproduce the “group awareness”, which allows users to apprehend interactions between them. This approach leads us to enrich the MPEG-4 BIFS with the websocket protocol. The use of the semantic web allows us to encode expected sequences of use of the interactive multimedia. Eventually the system provides on the fly interaction adaptations to the end-user. The implementation of a proof of concept is illustrated in contributions to two open source projects : Ocelot (http://ocelot.ow2.org) and GPAC (http://gpac.wp.institut-telecom.fr)