Les intersections sont les zones les plus dangereuses du réseau routier. Les statistiques montrent que la plupart des accidents aux intersections sont causés par des erreurs des conducteurs, et que la plupart pourraient être évités à l'aide de systèmes d'aide à la conduite. En particulier, les communications inter-véhiculaires ouvrent de nouvelles opportunités pour les applications sécuritaires aux intersections. Le partage d'informations entre les véhicules via des liens sans fil permet aux véhicules de percevoir leur environnement au-delà des limites du champ de vision des capteurs embarqués. Grâce à cette représentation élargie de l'environnement dans l'espace et dans le temps, la compréhension de situation est améliorée et les situations dangereuses peuvent être détectées plus tôt. Cette thèse aborde le problème de l'estimation du risque aux intersections d'un nouveau point de vue : une structure de raisonnement est proposée pour analyser les situations routières et le risque de collision à un niveau sémantique plutôt qu'au niveau des trajectoires. Le risque est déterminé en estimant les intentions des conducteurs et en identifiant les potentiels conflits, sans avoir à prédire les futures trajectoires des véhicules. L'approche proposée a été validée par des expérimentations en environnement réel à l'aide de véhicules équipés de modems de communication véhicule-véhicule, ainsi qu'en simulation. Les résultats montrent que l'algorithme permet de détecter les situations dangereuses à l'avance et qu'il respecte les contraintes temps-réel des applications sécuritaires. Il y a deux différences principales entre l'approche proposée et les travaux existants. Premièrement, l'étape de prédiction de trajectoire est évitée. Les situations dangereuses sont identifiées en comparant ce que les conducteurs ont l'intention de faire avec ce qui est attendu d'eux d'après les règles de la circulation et le contexte. Le raisonnement sur les intentions et les attentes est réalisé de manière probabiliste afin de prendre en compte les incertitudes des mesures capteur et les ambiguïtés sur l'interprétation. Deuxièmement, le modèle proposé prend en compte les informations sur le contexte situationnel, c'est-à-dire que l'influence de la géométrie de l'intersection et des actions des autres véhicules est prise en compte lors de l'analyse du comportement d'un véhicule.

Nous proposons de concevoir et de mettre en oeuvre un environnement logiciel pour une "gestion guidée par les modèles" des changements dans les architectures des applications distribuées coopératives. Les aspects adaptabilité des applications, les aspects transformations de graphe et les aspects particuliers des applications distribuées coopératives sont étudiés. Une approche d'adaptation s'appuyant sur une modélisation par les graphes et un style architectural de type Poducteur/Consommateur est présentée pour des applications communicantes collaboratives sensibles au contexte. Une démarche de raffinement est proposée permettant de garantir un certain degré d'adaptabilité en faisant un compromis entre les différents paramètres du contexte. Ces travaux de recherche ont aussi permis de définir un cadre algorithmique générique de reconfiguration architecturale multi-niveaux pour la sélection des architectures de déploiement les plus adaptées à un contexte et aux situations associées. Ce cadre a été appliqué au cas de la communication et de la coopération de groupe. Elle a aussi permis de modéliser le style architectural Producteur/Consommateur pour une communication orientée événement. Des règles d'adaptation ont été définies. Elles comportent une partie basée sur SWRL pour la description du contexte et des règles d'adaptation, et une partie basée sur les grammaires de graphes pour la transformation des configurations de déploiement / In this work, we study dynamic reconfiguration of collaborative communicating applications. Providing generic and scalable solutions for automated self-reconfiguration in group collaboration support systems can be driven by rule-based reconfiguration policies. To achieve this goal, we elaborate a dynamic graph-based modeling approach and we develop structural models that can represent the different interaction dependencies from different configuration-related point of views: communication flows between the distributed machines, the networked deployment nodes, and the service composition. Our solution is based on graph grammars rewriting. We provide graph transformation to specify rules for changing deployment architecture while being in conformance to an architectural style. In order to handle the complex design of communicating collaborative system architectures and the related adaptation issues, we propose a multi-layer modelling approach. This approach assures generic solutions for automatic context aware adaptation. Our approach is based on the observation that semantic data analysis that can be exploited to manage priorities and more generally to manage communications. This allows us to represent, in a richer way, the semantics of the managed systems

L'usage excessif de fertilisants azotés dans les pratiques agricoles modernes est préoccupant car il aboutit, entre autres, à la pollution des nappes phréatiques et à l’eutrophisation des eaux douces et marines. L’analyse du sol peut faciliter la mise en place de nouvelles pratiques agricoles qui tiennent davantage compte des variations temporelles et locales du sol et des plantes. Ces travaux visent donc le développement d’un système d’analyse in-situ, autonome et communicant pour le suivi en temps réel des teneurs en azote minéral du sol. Notre système est basé sur la technologie de microcapteur chimique en silicium lon-Sensitive Field Effect Transistor (ISFET). Une première phase de son développement a été dédiée à la fabrication de microcapteurs génériques pH-ISFET. La problématique de la détermination du pH du sol en insérant les pH-ISFET directement dans le sol a été considérée. Les résultats obtenus par cette méthode in-situ ont été comparés avec la méthode standard et nous avons examiné l’influence de paramètres propres au sol (humidité, texture, pH) et à l’ISFET (durée de vie, dérive temporelle). Dans un second temps, des puces pNH,-ISFET et pNO;-ISFET ont été obtenues en fonctionnalisant les puces génériques pH-ISFET grâce à l'intégration de membranes ionosensibles. La composition de ces membranes a été optimisée jusqu’à obtention de propriétés de détection (sensibilité, sélectivité, stabilité...) en adéquation avec les teneurs en ions ammonium et nitrates typiques des sols cultivés. Des premières caractérisations en conditions in-situ ont alors été effectuées. Finalement, les'capteurs ont été intégrés à un système permettant l’insertion des capteurs dans le sol, leur protection, l’alimentation électrique par batterie et la communication à distance des données de mesure. De premiers résultats, prometteurs, ont été obtenus. / Excessive use of nitrogen fertilizers in modern agricultural practices is a concern as it leads to groundwater pollution and eutrophication of fresh and marine waters. Soil testing can enable the introduction of new agricultural practices that take more into account temporal and local variations of soil and plants. This work therefore aims at the development of an in situ, autonomous and communicating analysis system for real-time monitoring of the mineral nitrogen contents of soils.Our system is based on the Ion-sensitive Field Effect Transistor (ISFET) microsensor technology. A first step of its development was dedicated to the fabrication of generic pH-ISFET microsensors. The problem of determining soil pH by inserting pH-ISFETs directly into the soil was considered. Results obtained by this in situ method were compared with the standard method and we examined the influence of soil ( moisture, texture, pH) and IFSET parameters (lifetime, time drift). In a second step, pNH4-ISFET and pNO3-ISFET chips were obtained by functionalizing the generic pH-ISFET chips with ionosensitive membrane. The composition of these membranes has been optimized until detection properties ( sensitivity, selectivity, stability, etc.) were in good accordance with the ammonium and nitrate ion contents of cultivated soils. Characterizations under in situ conditions were then carried out.Finally, the integration in the ground, the protection, the power supply and the remote communication of the sensors were made possible by the integration in a dedicated system. We obtained promising results.

Pendant le 20e siècle, la relation entre médias et organisations sportives ont été symbiotiques. Les ressources obtenues grâce à la vente des droits de diffusion télévisée, la communication et les médias exercent une grande influence sur le succès global du football. C’est une relation de tensions et de coopération entre média et organisations sportives, et aussi les frontières sont floues entre les deux champs. Dans ce travail, nous souhaitons comprendre de quelle sorte les médias influencent les organisations sportives, plus précisément comment les clubs de football deviennent des espaces de production d’informations. Plus récemment, les organisations sportives ont investi dans le secteur de la communication, soit à travers le recrutement des communicants et d’autre professionnels de l’information, soit par la création de canaux de communications propres. Nous avons sélectionné, comme objets d’étude, les médias de trois organisations sportives : la webtélé du Paris Saint-Germain (France), le site web du Botafogo (Brésil) et la chaîne télé du Benfica (Portugal). Le travail empirique est constitué d’entretiens ethnographiques avec des professionnels de l’information et des communicants des clubs de football analysés. Suite à ces entretiens, nous avons l’objectif de répondre à trois questions sur la création des médias de club : quelle est sa motivation ; comment fonctionnent-ils ; et qui sont les responsables pour sa mise en place. Le choix de ces clubs offre l’opportunité d’une étude comparative et l’évaluation de différents marchés avec de degrés inégaux de modernisations, en permettant l’identification des proximités et des divergences, associées aux contextes respectifs, ce qui rend possible une tentative de généralisation sur les médias de club et leurs conséquences pour le journalisme sportif et pour la relation entre sport et médias. / During the 20th century, the relationship between Media and Sport were very fertile. The revenues generated by the sale of broadcast rights, the Communication and the Media have a great influence over the global success of football. Media and sports organizations have a relationship based on tensions and cooperation and also very fluid boundaries between them. In this present work, we want to understand how media influence sports organizations, more precisely, how football clubs become a space of content and information production. Recently, sports organizations have invested on media and communication departments, either by hiring public relations and media professionals or by creating their own corporate means of communication. We have selected as research objects, the media of three sports organizations: the WebTV of Paris Saint-Germain (France), the website of Botafogo (Brazil) and the subscription TV channel of Benfica (Portugal). Our empirical work was based on ethnographic interviews with the media and communication staff at these football clubs. Based on our interviews, we aim to answer three questions about the creation of these club owned media: why they were created; how they are structured; and who is responsible for their implementation. The choice of these three clubs allowed a comparative study and the analysis of different markets and realities with diverse levels of modernization, that together with each local social context made possible an attempt to offer a generalization about club owned media and the consequences for sports journalism and the relationship between sport and media.

Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de haut niveau issu du π-calcul, permettant de considérer des comportements stochastiques, temporels, déterministes, ou indéterministes. Cependant, dans le π-calcul, la primitive de communication de base des systèmes est la communication en point-à-point synchrone. Or, les systèmes mobiles, qui utilisent des réseaux sans fil, communiquent essentiellement par diffusion locale. C'est pourquoi, dans un premier temps, nous définissons la communication par diffusion dans le π-calcul, afin de mieux modéliser les systèmes que nous étudions. Nous proposons d'utiliser des versions probabilistes et stochastiques de l'algèbre que nous avons défini, pour permettre des études de performance. Nous en définissons une version temporelle permettant de considérer le temps dans les modèles. Mais l'absence d'outils d'analyse des propriétés sur des modèles spécifiés en une algèbre issue du π-calcul est un obstacle majeur à notre travail. La définition de règles de traduction en langage PRISM, nous permet de traduire nos modèles, en modèles de bas niveau supports du model checking, à savoir des chaînes de Markov à temps discret, à temps continu, des automates temporisés, ou des automates temporisés probabilistes. Nous avons choisi l'outil PRISM car, à notre connaissance, dans sa dernière version, il est le seul outil à supporter les formalismes de bas niveau que nous venons de citer, et ainsi il permet de réaliser des études de performabilité complètes. Cette façon de procéder nous permet de pallier à l'absence d'outils d'analyse pour nos modèles. Par la suite, nous appliquons ces concepts théoriques aux réseaux de capteurs sans fil mobiles. / We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a high-level formalism derived from the π-calculus, for considering stochastic, timed, deterministic or indeterministic behaviors. However, in the π-calculus, the basic communication primitive of systems is the synchronous point-to-point communication. However, mobile systems that use wireless networks, mostly communicate by local broadcast. Therefore, we first define the broadcast communication into the π-calculus, to better model the systems we study. We propose to use probabilistic and stochastic versions of the algebra we have defined to allow performance studies. We define a temporal version to consider time in the models. But the lack of tools for analyzing properties of models specified with π-calculus is a major obstacle to our work and its objectives. The definition of translation rules into the PRISM language allows us to translate our models in low-level models which can support model checking, namely discrete time, or continuous time Markov chains, timed automata, or probabilistic timed automata. We chose the PRISM model checker because, in our best knowledge, in its latest version, it is the only tool that supports the low-level formalisms that we have previously cited, and thus, makes it possible to realize complete performability studies. This approach allows us to overcome the lack of model checkers for our models. Subsequently, we apply these theoretical concepts to analyse performability of mobile wireless sensor networks.