La Responsabilité Sociétale de l’Entreprise (RSE) est mobilisée comme la traduction managériale du concept plus global de développement durable et l’étude de la RSE est au cœur de nombreuses recherches depuis plus de quatre décennies. En France, les organisations sportives s’engagent progressivement dans des démarches de développement durable et multiplient les initiatives en faveur d’une plus grande responsabilité sociétale des activités sportives.Ce projet de recherche est né de la volonté de comprendre comment le développement durable est concrètement mis en œuvre au sein des organisations sportives en étudiant et en analysant les stratégies de RSE développées. Parmi les champs d’étude des relations entre sport et RSE, nous avons opté pour l’événementiel sportif. Au niveau théorique, nous avons choisi de compléter le cadre d’analyse de la RSE (Johnson, 1971 ; Ackerman & Bauer, 1976 ; Carroll, 1979 ; Jones, 1980 ; Wood, 1991) par les apports fournis par la théorie des parties prenantes (Freeman, 1984 ; Hills & Jones, 1992 ; Clarkson, 1995 ; Donaldson & Preston, 1995 ; Mitchell, Agle & Wood, 1997) afin d’opérationnaliser efficacement le concept de RSE (Mullenbach-Servayre, 2007).L’objectif de la thèse est d’ouvrir de nouvelles voies de recherche à partir de l’observation des données de terrain tout en testant des hypothèses issues de l’exploration. Dès lors, nous avons opté pour une approche qualitative inductive-déductive. L’investigation empirique se décompose en une étude exploratoire et cinq études de cas (Eisenhardt, 1989) : Marathon de Sénart, Playa Tour, Roland Garros, Merrel Oxygen Challenge, Tour de France à la Voile. Les données rassemblées sont issues d’une analyse documentaire (près de 200 documents analysés), d’entretiens semi-directifs (39 au total) et d’observations directes. La démarche de recherche mise en œuvre nous conduit à analyser les formes prises par la Responsabilité Sociétale des Organisateurs d’Evénements Sportifs dans les cas étudiés et le type de relations entretenues avec les parties prenantes. Enfin, sur la base de la revue de la littérature effectuée et des recherches empiriques menées, nous proposons une typologie des comportements stratégique et opérationnel des organisateurs d’événements sportifs en matière de RSE. / In management terms, Corporate Social Responsibility (CSR) translates the broader notion of sustainability and the concept of CSR has played a central role in many studies over the past forty years. In France, the principle of sustainability has progressively become a key notion and major concern for sport organizations who are now promoting a more socially responsible practice of sports.This research project aims at understanding how sustainability is put into concrete practice within sport organizations by looking at and analyzing their CSR strategies. In the fields of CSR-sport relation studies, we have decided to focus on sport events. On the theoretical level, we have attempted to combine the analytical frame of the CSR (Johnson, 1971 ; Ackerman & Bauer, 1976 ; Carroll, 1979 ; Jones, 1980 ; Wood, 1991) with the concepts of the stakeholder theory (Freeman, 1984 ; Hills & Jones, 1992 ; Clarkson, 1995 ; Donaldson & Preston, 1995 ; Mitchell, Agle & Wood, 1997) so as to efficiently operationalize the concept of CSR (Mullenbach-Servayre, 2007).The goal of this thesis is to break new research ground based on the observation of data as well as on the testing of exploration-related hypotheses. We have therefore chosen a qualitative inductive-deductive approach. Our empirical investigation consists in an exploratory study and five case studies (Eisenhardt, 1989): Marathon de Sénart, Playa Tour, Roland Garros, Merrel Oxygen Challenge, Tour de France à la Voile. The data presented in our thesis come out of documentary analyses (200 documents analyzed), as well as of semi-structured interviews (39) and direct observation cases. Our research method led us to analyze the different versions of Corporate Social Responsibility depending on the Organizers of Sport Events in all cases and on the type of relations with stakeholders. Lastly, after reviewing the literature available on the field and the empirical research conducted, we have suggested a CSR-based typology of strategic and operational behaviors of sport event organizers.

Cette thèse a été réalisée dans le cadre d'un partenariat entre le CRAN et l'entreprise TRANE. Elle propose une méthodologie pour l'intégration et le développement de Systèmes Contrôlés par le Produit(SCP). Celle-ci a vocation de permettre d'implémenter une architecture de contrôle par kanbans et/ou produits « actifs », adaptable aux systèmes de production d'une entreprise. Le premier chapitre de la thèse décrit le contexte industriel. A l'issue de ce chapitre émerge les problèmes de synchronisation de flux de l'entreprise. Le second chapitre présente une étude bibliographique des stratégies existantes de pilotage de flux et apportant donc des éléments de réponse à ces problématiques. Après avoir montré l'apport des systèmes contrôlés par le produit dans la résolution de ceux-ci, ce chapitre montre le besoin de méthodes d'ingénierie pour concevoir un SCP adapté « au plus juste » au système industriel étudié. Le troisième chapitre est consacré à la définition de la problématique scientifique. En réponse à celle-ci, la proposition d'une méthodologie de conception et d'intégration des systèmes contrôlés par le produit est présentée dans le quatrième chapitre. Cette méthodologie s'appuie sur l'approche d'ingénierie système « six-sigmas » pour piloter le projet de conception du SCP par des indicateurs issus des besoins des utilisateurs. L'utilisation de la simulation événementielle permet de concevoir l'architecture la plus pertinente au regard des indicateurs de performance retenus et de valider a priori l'intégration du SCP ainsi conçu dans son environnement. Le dernier chapitre a pour objectif d'illustrer l'approche sur des cas réels d'application.

Le travail présenté dans ce mémoire s'inscrit dans le domaine de la surveillance des systèmes à événements discrets et porte plus particulièrement sur le problème de la détection distribuée de procédés complexes. L'architecture proposée repose sur des sites autonomes et coopératifs de surveillance permettant de surveiller les évolutions du procédé. Ces évolutions, traduisant le fonctionnement attendu (normal) du système ou des situations de défaillance, sont décrites par des chroniques. Chaque chronique est composée d'un ensemble d'événements et d'un ensemble de contraintes temporelles entre ces événements. Trois types de contraintes sont considérés : les contraintes de précédence, les contraintes de types intervalles et les contraintes de type fenêtre d'admissibilité. Une chronique est dite reconnue si toutes les contraintes qui la composent sont vérifiées compte tenu des durées séparant les occurrences des événements la constituant. La distribution du modèle temporel représenté par la chronique induit la distribution de la chronique en sous-chroniques distribuées sur plusieurs sites de surveillance (sous-systèmes). La reconnaissance de l'ensemble des sous-chroniques assure la reconnaissance de la chronique. Cette distribution de la chronique en sous-chroniques permet de mettre en évidence deux types de contraintes : les contraintes locales et les contraintes globales. Les délais de communication ou de transport entre sites sont bornés et sont pris en compte lors de la vérification des contraintes temporelles globales. L'incertitude induite par ces délais engendre une incertitude sur la vérification qui se traduit par une mesure de possibilité associée à la vérification d'une contrainte. Des mécanismes de coopération entre sites de surveillance sont définis. Une modélisation des différents mécanismes développés reposant sur les réseaux de Petri p-t-temporels flous est proposée. Enfin, l'ensemble des travaux est appliqué à la surveillance d'un terminal intermodal de fret.

Mes travaux de recherche s'inscrivent dans l'imagerie sismique des premiers kilomètres du sous-sol, en particulier dans le domaine pétrolier. Il s'agit de reconstruire les propriétés de la sub-surface, par exemple la vitesse de propagation des ondes de compression, à partir d'enregistrements en surface de déplacements ou de variations de la pression liés au passage d'un train d'ondes acoustiques ou élastiques. Je me suis attaché, dans ce domaine, à regarder différemment les données sismiques. Les enregistrements sismiques dépendent de la position de source et d'un ensemble de récepteurs, ainsi que du temps d'enregistrement. Ils sont couramment analysés trace par trace, par exemple pour filtrer les données ou bien pour les migrer, c'est-à-dire retrouver en profondeur les perturbations du milieu, typiquement avec des migrations de type Kirchhoff. Dans le cas de la migration dite "reverse-time migration", les points de tir sont vus comme un ensemble : l'information de tous les récepteurs est rétro-propagée depuis la surface jusqu'en profondeur, également pour retrouver les propriétés du milieu. Je propose de considérer des groupes de traces adjacentes, autour d'une fenêtre en temps, et d'examiner différents algorithmes d'imagerie sous cet aspect. L'aspect cohérence locale est justifié dans le domaine pétrolier par les acquisitions actuelles qui sont de plus en plus denses, et aussi par la notion de zone de Fresnel. La cohérence latérale des signaux sismiques est traitée sous deux angles. Le premier donne une vision très épurée : les événements localement cohérents sont décrits en 2D par la position de la trace centrale, une position dans la trace, et une pente qui indique la cohérence. Je montre qu'à partir de ce type d'approche, il est possible de retrouver les grandes longueurs d'onde du modèle de vitesse par analyse de vitesse dans le domaine migré. J'ai pu aussi établir le lien entre cette méthode d'analyse de vitesse et la tomographie de pente. Le second angle d'attaque prend en compte la signature des données sismiques, et en particulier la bande passante limitée. Les applications sont alors beaucoup plus nombreuses : migration, analyse de vitesse, sensibilité de l'image migrée par rapport au modèle de vitesse, et d'autres tâches liées au pré-traitement comme le débruitage, la prédiction des multiples, ... Dans chacun des cas, j'analyse les avantages et limitations de l'utilisation de la cohérence locale. Il s'avère que le choix du code de décomposition en événements locaux (``curvelets'', ...) est étroitement lié à l'application qui en est faite : si l'objectif est de comprimer les données sismiques, alors les curvelets ne sont pas adaptées. S'il s'agit au contraire de savoir comment l'image migrée dépend du choix du modèle de vitesse pris pour la migration, alors les curvelets ont beaucoup d'avantages. Plus particulièrement, les curvelets offrent la flexibilité de la décomposition des données, très utile pour la suppression des bruits cohérents. De plus, elles diagonalisent presque l'opérateur de démigration/migration qui donne la sensibilité de l'image migrée par rapport au choix du modèle de vitesse. Enfin, elles permettent d'exploiter l'aspect multi-échelle des données, avec des applications sur la suppression de l'aliasing. Je montre aussi qu'il est possible de développer d'autres schémas de décomposition et de reconstruction, comme par exemple les ``circlets''. Dans les perspectives de recherche, je tiens à dépasser le cadre asymptotique hautes fréquences dans lequel les curvelets trouvent un cadre naturel. Je propose en particulier une nouvelle formulation du problème d'inversion des formes d'onde (DFWI, Differential Full WaveForm Inversion). Cette méthode se veut générale pour retrouver les propriétés du sous-sol et permettre une optimisation locale, tout en s'affranchissant de la détermination d'un modèle de départ très proche de la solution. Cette idée doit être approfondie. Elle exploite la cohérence locale des données sismiques et suppose que le signal est bien échantillonné en temps et en espace. Les applications sont très nombreuses et touchent le domaine pétrolier, la géotechnique, la sismologie globale et régionale.

Les composants reprogrammables de type FPGA à base de mémoire SRAM sont des candidats appréciés pour les applications aéronautiques et spatiales. Cependant les particules énergétiques présentes dans l'environnement naturel peuvent engendrer une mutation de l'application implémentée en créant des erreurs dans la mémoire de configuration. Les travaux réalisés au cours de cette thèse ont eu pour but principal l'étude d'une stratégie de prédiction du taux d'erreurs pour un système implémenté dans ce type de composant. La pertinence d'une telle approche a été évaluée par confrontation des prédictions des taux d'erreurs, issus de sessions d'injections matérielles/logicielles de fautes, avec les mesures obtenues lors de campagnes de test en accélérateur de particules. Le second objectif fut le développement d'une expérience embarquée, dans un satellite scientifique de la NASA, afin d'obtenir des informations sur le comportement du FPGA étudié et son application en environnement réel.

La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées. Nous proposons d'abord Continuation-Passing C, une extension du langage C pour l'écriture de systèmes concurrents qui offre des threads très légers et unifiés (coopératifs et préemptifs). Les programmes CPC sont transformés par le traducteur CPC pour produire du code à événements séquentialisé efficace, utilisant des threads natifs pour les parties préemptives. Nous définissons et prouvons ensuite la correction de ces transformations, en particulier le lambda lifting et la conversion CPS, pour un langage impératif. Enfin, nous validons la conception et l'implémentation de CPC en le comparant à d'autres bibliothèques de threads et en exhibant notre seeder BitTorrent Hekate. Nous justifions aussi notre choix du lambda lifting en implémentant eCPC, une variante de CPC utilisant les environnements, et en comparant ses performances à celles de CPC.

La Responsabilité Sociétale de l'Entreprise (RSE) est mobilisée comme la traduction managériale du concept plus global de développement durable et l'étude de la RSE est au cœur de nombreuses recherches depuis plus de quatre décennies. En France, les organisations sportives s'engagent progressivement dans des démarches de développement durable et multiplient les initiatives en faveur d'une plus grande responsabilité sociétale des activités sportives.Ce projet de recherche est né de la volonté de comprendre comment le développement durable est concrètement mis en œuvre au sein des organisations sportives en étudiant et en analysant les stratégies de RSE développées. Parmi les champs d'étude des relations entre sport et RSE, nous avons opté pour l'événementiel sportif. Au niveau théorique, nous avons choisi de compléter le cadre d'analyse de la RSE (Johnson, 1971 ; Ackerman & Bauer, 1976 ; Carroll, 1979 ; Jones, 1980 ; Wood, 1991) par les apports fournis par la théorie des parties prenantes (Freeman, 1984 ; Hills & Jones, 1992 ; Clarkson, 1995 ; Donaldson & Preston, 1995 ; Mitchell, Agle & Wood, 1997) afin d'opérationnaliser efficacement le concept de RSE (Mullenbach-Servayre, 2007).L'objectif de la thèse est d'ouvrir de nouvelles voies de recherche à partir de l'observation des données de terrain tout en testant des hypothèses issues de l'exploration. Dès lors, nous avons opté pour une approche qualitative inductive-déductive. L'investigation empirique se décompose en une étude exploratoire et cinq études de cas (Eisenhardt, 1989) : Marathon de Sénart, Playa Tour, Roland Garros, Merrel Oxygen Challenge, Tour de France à la Voile. Les données rassemblées sont issues d'une analyse documentaire (près de 200 documents analysés), d'entretiens semi-directifs (39 au total) et d'observations directes. La démarche de recherche mise en œuvre nous conduit à analyser les formes prises par la Responsabilité Sociétale des Organisateurs d'Evénements Sportifs dans les cas étudiés et le type de relations entretenues avec les parties prenantes. Enfin, sur la base de la revue de la littérature effectuée et des recherches empiriques menées, nous proposons une typologie des comportements stratégique et opérationnel des organisateurs d'événements sportifs en matière de RSE.

Les systèmes hybrides sont des systèmes dynamiques, caractérisés par un comportementdual, une interaction entre une partie discrète et une partie continue de fonctionnement.Dans le centre de notre travail se trouve une classe particulière de systèmeshybrides, plus spécifiquement les systèmes stochastiques à commutation que nous modélisonsà l'aide des Chaînes de Markov en temps continu et des équations différentielles.Le comportement aléatoire de ce type de système nécessite une commande spécialequi s'adapte aux événements arbitraires qui peuvent changer complètement l'évolutiondu système. Nous avons choisi une politique de contrôle basée sur les événements quiest déclenchée seulement quand il est nécessaire (sur un événement incontrôlable - parexemple un seuil qui est atteint), et jusqu'à ce que certaines conditions de fonctionnementsont remplies (le système revient dans l'état normal).Notre approche vise le développement d'un modèle probabiliste qui permet de calculerun critère de performance (en occurrence l'énergie du système) pour la politiquede contrôle choisie. Nous proposons d'abord une méthode de simulation à événementsdiscrets pour le système stochastique à commutation commandé, qui nous donne la possibilitéde réaliser une optimisation directe de la commande appliquée sur le système etaussi de valider les modèles analytiques que nous avons construit pour l'application ducontrôle.Un modèle analytique pour déterminer l'énergie consommée par le système a étéconçu en utilisant les probabilités de sortie de la région de contrôle, respectivement lestemps de séjour dans la chaîne de Markov avant et après avoir atteint les limites decontrôle. La dernière partie du travail présente la comparaison des résultats obtenusentre la méthode analytique et la simulation.

La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimal.

Les progrès de la technologie des capteurs, des communications sans fil et de l'Internet des Objets ont favorisé le développement des réseaux de capteurs multimédias. Ces derniers sont composés de capteurs interconnectés capables de fournir de façon omniprésente un suivi fin d’un espace connecté. Grâce à leurs propriétés, les réseaux de capteurs multimédias ont suscité un intérêt croissant ces dernières années des secteurs académiques et industriels et ont été adoptés dans de nombreux domaines d'application (tels que la maison intelligente, le bureau intelligent, ou la ville intelligente). L'un des avantages de l'adoption des réseaux de capteurs multimédias est le fait que les données collectées (vidéos, audios, images, etc.) à partir de capteurs connexes contiennent des informations sémantiques riches (en comparaison avec des capteurs uniquement scalaires) qui permettent de détecter des événements complexes et de mieux gérer les exigences du domaine d'application. Toutefois, la modélisation et la détection des événements dans les reséaux de capteurs multimédias restent une tâche difficile à réaliser, car la traduction de toutes les données multimédias collectées en événements n'est pas simple.Dans cette thèse, un framework complet pour le traitement des événements complexes dans les réseaux de capteurs multimédias est proposé pour éviter les algorithmes codés en dur et pour permettre une meilleure adaptation aux évolution des besoins d’un domaine d'application. Le Framework est appelé CEMiD et composé de :• MSSN-Onto: une ontologie nouvellement proposée pour la modélisation des réseaux de capteurs,• CEMiD-Language: un langage original pour la modélisation des réseaux de capteurs multimédias et des événements à détecter, et• GST-CEMiD: un moteur de traitement d'événement complexe basé sur un pipeline sémantique.Le framework CEMiD aide les utilisateurs à modéliser leur propre infrastructure de réseau de capteurs et les événements à détecter via le langage CEMiD. Le moteur de détection du framework prend en entrée le modèle fourni par les utilisateurs pour initier un pipeline de détection d'événements afin d'extraire des données multimédias correspondantes, de traduire des informations sémantiques et de les traduire automatiquement en événements. Notre framework est validé par des prototypes et des simulations. Les résultats montrent que notre framework peut détecter correctement les événements multimédias complexes dans un scénario de charge de travail élevée (avec une latence de détection moyenne inférieure à une seconde). / The dramatic advancement of low-cost hardware technology, wireless communications, and digital electronics have fostered the development of multifunctional (wireless) Multimedia Sensor Networks (MSNs). Those latter are composed of interconnected devices able to ubiquitously sense multimedia content (video, image, audio, etc.) from the environment. Thanks to their interesting features, MSNs have gained increasing attention in recent years from both academic and industrial sectors and have been adopted in wide range of application domains (such as smart home, smart office, smart city, to mention a few). One of the advantages of adopting MSNs is the fact that data gathered from related sensors contains rich semantic information (in comparison with using solely scalar sensors) which allows to detect complex events and copes better with application domain requirements. However, modeling and detecting events in MSNs remain a difficult task to carry out because translating all gathered multimedia data into events is not straightforward and challenging.In this thesis, a full-fledged framework for processing complex events in MSNs is proposed to avoid hard-coded algorithms. The framework is called Complex Event Modeling and Detection (CEMiD) framework. Core components of the framework are:• MSSN-Onto: a newly proposed ontology for modeling MSNs,• CEMiD-Language: an original language for modeling multimedia sensor networks and events to be detected, and• GST-CEMiD: a semantic pipelining-based complex event processing engine.CEMiD framework helps users model their own sensor network infrastructure and events to be detected through CEMiD language. The detection engine of the framework takes all the model provided by users to initiate an event detection pipeline for extracting multimedia data feature, translating semantic information, and interpret into events automatically. Our framework is validated by means of prototyping and simulations. The results show that our framework can properly detect complex multimedia events in a high work-load scenario (with average detection latency for less than one second).