Dans les simulations centrées individu, la variété et la cohérence du comportement des agents sont des critères importants pour le réalisme et la validité de la simulation. Dans ce travail, nous nous sommes intéressés à la prise en compte simultanée de ces deux éléments. Nous proposons un modèle de différenciation comportementale, qui se décline en un outil dont les principaux apports sont d'être générique, non-intrusif, et de permettre une conception en dehors de l'agent. Le modèle s'articule selon trois axes. Tout d'abord, il décrit les comportements des agents par des normes. Celles-ci fournissent un profil comportemental à la conception, et un contrôle de la conformité à l'exécution. Ensuite, le processus de génération des comportements permet d'autoriser la création d'agents déviants ou en violation. Il inlfue pour cela sur le déterminisme du mécanisme. Enfin, les normes peuvent être inférées à partir de simulations enregistrées ou de situations réelles, afin d'analyser les résultats des expérimentations et d'automatiser la configuration du modèle. Nous avons appliqué cet outil à la simulation de trafic dans SCANeR, l'application développée et utilisée par Renault pour ses simulateurs de conduite. Les développements réalisés au cours de la thèse introduisent dans le trafic des styles de conduite spécifiés sous forme de normes, par exemple des conducteurs prudents ou agressifs. Ils permettent ensuite de peupler l'environnement de manière automatisée. Au delà de l'amélioration subjective du réalisme, les expérimentations réalisées démontrent les apports de l'outil sur la variété et la représentativité des comportements obtenus.

La métaphore est un concept porteur d'une double instabilité : définitoire et phénoménale. Notre travail débutera donc par une analyse épistémologique du champ théorique de la métaphore. Deux approches générales de la métaphore, distinctive et non distinctive, seront envisagées en détail. Nous serons alors amenés à tourner notre attention vers les approches textuelles de la métaphore. Nous prendrons comme base de travail les concepts de l'intégration conceptuelle mais non sans avoir préalablement établi un travail critique qui prend en compte les concepts de la sémantique indexicale et interprétative : (1) Nous réduirons la région d'application de l'intégration à la seule métaphore. Deux logiques distinctes interviendront désormais : logique de conformité vs. logique d'intégration (2) Nous réduirons la force de la référence, qui détermine pour l'essentiel le contenu des espaces mentaux, en faisant appel aux représentations sémiques (3) Nous montrerons que les espaces initiaux, loin d'être donnés, sont construits à l'intérieur d'une activité de thématisation. Après une description du cas de l'énoncé absurde, notre raisonnement nous amènera à considérer que toute métaphore est, nécessairement, une métaphore filée. Nous bénéficierons ainsi d'une délimitation claire de notre objet : la métaphore se fonde sur le déploiement de deux thématiques volontairement distinguées, deux thématiques dont les éléments thématisés présentent l'intérêt de pouvoir être réintégrés dans un nouvel espace pour produire un grand nombre d'implicitations nouvelles et originales. Une fois l'objet délimité, nous explorerons ses propriétés formelles. Nous mettrons ainsi en relief la nature conviviale de la métaphore filée et préciserons son impact sur le degré d'optimalité d'un réseau d'intégration. Nous appliquerons enfin notre appareil théorique au parler ordinaire et à la poésie surréaliste : deux types extrêmes de donnée qui nous permettront d'affiner nos concepts et de vérifier leur validité.

La culture de sécurité s'impose à l'agenda des entreprises. Cette notion n'est pas nouvelle puisque le terme est apparu dès la fin des années 80 suite à l'accident de Tchernobyl. L'existence d'une culture de sûreté défaillante a été la principale cause expliquant la catastrophe.L'usage du terme s'est très largement répandu et les définitions sont nombreuses. En croisant différents travaux, trois grands facteurs explicatifs se révèlent prédominants dans la culture de sécurité : les facteurs " organisationnel ", " comportemental " et " psychologique ".L'objectif de ce travail de thèse est de concevoir un " système " de modèles permettant de décrire et d'évaluer sur le terrain chacun des trois facteurs. Pour ce faire, des " raccourcis " (ou " réductions " théorique et méthodologique), qui seront discutées et justifiées, ont été explorés.Ainsi, le facteur " organisationnel " est traduit selon le processus de l'analyse des conformités légales (le rapport au prescrit). ". Le facteur " comportemental " quant à lui assimilé au processus de maîtrise des risques (le rapport au réel). Enfin, le facteur " psychologique " est directement relié au processus d'évaluation du " climat de sécurité ".Chaque processus a fait l'objet d'un effort de modélisation. Chacun des modèles a permis de repérer des variables descriptives et explicatives. Certaines ont été reliées dans le but de traduire la relation entre les trois facteurs.Le " système " de modèles ainsi constitué a fait l'objet d'une expérimentation à grande échelle conduite en partenariat avec une entreprise française de rang mondial. Deux sites ont été impliqués. La thèse détaille le cadre théorique et méthodologique. Elle présente la démarche de modélisation mise en œuvre et discute amplement des résultats de l'expérimentation. Elle propose enfin des pistes de généralisation du dispositif constitué.

Le souci du respect de la législation applicable en matière de Santé et de Sécurité au Travail (SST) est longtemps resté absent des politiques managériales des entreprises, et ce quelle que soit leur taille. Cependant, sous l'effet de pressions légales, économiques, sociales ou encore en raison du développement de référentiels normatifs dans ce domaine (exemples : OHSAS 18001), les employeurs sont incités à développer des dispositifs de maîtrise de la conformité légale plus ou moins complexes. Cependant, la mise en œuvre de véritables Systèmes de Maîtrise des Conformités (SMC) implique le déploiement de ressources humaines, financières, temporelles, méthodologiques mais également technologiques importantes. Pour faire face à cette situation, différentes catégories de prestataires de services proposent désormais des solutions de suivi et de gestion de la conformité. Malgré cela, l'étude de l'état des pratiques d'entreprise en matière de maîtrise des conformités légales SST montre que ces dernières sont encore extrêmement hétérogènes et que des besoins en matière de méthodes ou encore d'outils de consolidation des données (rapports de conformité, plans d'actions, ...) apparaissent nettement. En s'appuyant sur ces éléments de contexte, ce travail de recherche propose la modélisation d'un Système de Maîtrise des Conformités répondant aux besoins exprimés par de nombreuses entreprises afin de gérer des aspects tels que la veille réglementaire, les évaluations de conformité ou encore la gestion des plans d'actions. Afin d'évaluer l'intérêt et la pertinence du modèle proposé, plusieurs expérimentations ont été conduites en entreprise. Une synthèse des résultats obtenus est présentée à la fin de ce travail.

De nos jours, les processus métiers permettent une automatisation croissante des tâches et des interconnexions complexes au sein du même système et entre différents systèmes, ce qui est particulièrement facilité par l'émergence des services Web. Dans ce contexte, les tâches de spécification et de vérification de la conformité pendant l'exécution deviennent particulièrement intéressantes. Dans cette thèse, on s'intéresse à deux aspects, le monitoring et la sécurité dans le contexte de l'Architecture Orienté Service (SOA). Ainsi, nous proposons une approche fondée sur le concept de vue et une plateforme qui vise le monitoring de la conformité des processus métiers pendant leur exécution. Ainsi, nous avons développé un langage de monitoring appelé BPath, qui est un langage basé sur XPath, qui offre entre autres, la possibilité de spécifier et de vérifier des propriétés de la logique temporelle linéaire et hybride, des requêtes visant à évaluer des indicateurs quantitatifs sur l'exécution d'un processus métier, ceci dans le but de détecter toute violation des règles de conformité pendant l'exécution.Une des préoccupations spécifiques du monitoring de la conformité pour les environnements basés sur SOA est la sécurité. Ainsi, nous proposons une architecture de sécurité fondée sur des langages dédiés (DSL) pour SOA. Nous avons particulièrement développé une DSL graphique pour faciliter la spécification et la génération des contrôles d'accès. Nos approches sont mises en œuvre et intégrés dans une plateforme développée dans le cadre du projet Européen COMPAS qui vise à assurer la conformité de bout en bout dans les environnements basés sur SOA.

Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en œuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de spécification graphique utilisé dans un contexte industriel, a été retenu comme modèle de spécification. Les contrôleurs logiques principalement considérés dans ces travaux sont les automates programmables industriels (API). Afin de valider la mise en œuvre du test de conformité pour des systèmes de contrôle/commande critiques, les travaux présentés proposent: - Une formalisation du langage de spécification Grafcet. En effet, l'application des méthodes usuelles de vérification et de validation nécessitent la connaissance du comportement à partir de modèles formels. Cependant, dans un contexte industriel, les modèles utilisés pour la description des spécifications fonctionnelles sont choisis en fonction de leur pouvoir d'expression et de leur facilité d'utilisation, mais ne disposent que rarement d'une sémantique formelle. - Une étude de la mise en œuvre de séquences de test et l'analyse des verdicts obtenus lors du changement simultané de plusieurs entrées logiques. Une campagne d'expérimentation a permis de quantifier, pour différentes configurations de l'implantation, le taux de verdicts erronés dus à ces changements simultanés. - Une définition du critère de SIC-testabilité d'une implantation. Ce critère, déterminé à partir de la spécification Grafcet, définit l'aptitude d'une implantation à être testée sans erreur de verdict. La génération automatique de séquences de test minimisant le risque de verdict erroné est ensuite étudiée.

Ces dernières années ont vu l'émergence d'architectures orientées services (SOA) conçues pour faciliter la création, l'exposition, l'interconnexion et la réutilisation d'applications à base de services. Les services Web sont la réalisation la plus importante de cette architecture SOA. Ce sont des applications auto descriptives et modulaires fournissant un modèle simple de programmation et de déploiement d'applications. La composition de services Web, en particulier l'orchestration, est au coeur de l'ingénierie à base de services (SOC pour Service Oriented Computing) puisque elle supporte la construction de nouveaux services composés à partir de services de base. De son côté, WS-BPEL (ou BPEL) s'est imposé depuis 2005 comme le langage standard d'orchestration de services Web. Cette thèse de Doctorat s'articule autour du test fonctionnel de l'orchestration de services décrite en langage BPEL, qui consiste à établir la conformité de l'implantation d'un service composé par rapport à sa spécification. Nos activités de recherche ont été motivées par les caractéristiques spécifiques de la composition de services surtout celle décrite en BPEL, et par la nécessité d'automatisation des tests. L'objectif de cette thèse est double : d'une part, proposer une modélisation formelle de l'orchestration de services, et d'autre part, proposer une méthode de test complète de l'orchestration de services, allant de la modélisation formelle de l'orchestration à l'exécution des tests, incluant la génération automatique de cas de test. Notre modèle formel (appelé WS-TEFSM) permet de décrire une grande partie de BPEL et prend en considération les propriétés temporelles de la composition de service. La modélisation formelle est la première phase de notre approche de test. Par conséquent, nous utilisons le modèle formel résultant pour la génération de cas de test satisfaisant un ensemble d'objectifs de test. L'automatisation de la génération de cas de test a été mise en oeuvre par l'implémentation d'une stratégie efficace d'exploration partielle de l'espace d'états (i.e. Hit-Or-Jump) dans le simulateur IF. Pour se focaliser seulement sur les erreurs potentielles du service orchestrateur (service composé), nous proposons une approche de test boîte grise consistant à simuler les services partenaires de cet orchestrateur. Nous avons abordé ces problématiques à la fois d'un point de vue théorique et pratique. En plus de la proposition d'une modélisation formelle de l'orchestration de services et d'un algorithme de génération de cas de test temporisés, nous avons implémenté ces deux concepts en développant deux prototypes. BPEL2IF permet de transformer une orchestration de services décrite en BPEL en une spécification formelle à base d'automates temporisés (spécification IF). TestGen-IF permet de dériver automatiquement des cas de test temporisés. Enfin, pour valider notre démarche, nous avons appliqué notre approche de test à des cas d'études de taille réelle.

L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur sera en mesure de déterminer avec certitude que la propriété est vérifiée par le système. L'opacité consiste, réciproquement, à déterminer qu'un doute existera toujours. Une autre application concerne la génération de cas de test. Une fois encore, on considère qu'un observateur n'accède qu'à une partie des événements se produisant dans le système (en général les entrées et les sorties). À partir d'une spécification, on produit automatiquement des cas de test, qui ont pour but de détecter des non-conformités (elles même formalisées de façon précise). Ces trois problèmes ont été étudiés pour des modèles finis. Dans cette thèse, nous étendons leur étude aux modèles récursifs, pour cela nous avons introduit notre propre modèle, les RTS, qui sont une généralisation des automates à pile, et d'autres modèles de la récursivité. Nous adaptons ensuite les techniques utilisées sur des modèles finis, qui servent à résoudre les problèmes qui nous intéressent.

Ce travail de thèse se propose d’étudier tout d’abord le rôle majeur de l’effet de conformité, qui consiste en la reprise de caractéristiques de l’existant dans l’activité de conception, pour ensuite étudier ses effets sur l’appréciation esthétique des pages web réalisées, par des utilisateurs. Nos hypothèses générales sont, d’une part, que l’effet de conformité, décrit par une grande partie de la littérature comme un effet négatif et difficilement répressible peut être optimisé par les conditions de consultation des sources d’inspiration et améliorer ainsi l’utilisabilité des pages web. D’autre part, nous faisons l’hypothèse que l’amélioration de l’utilisabilité des pages web peut avoir un impact significatif sur l’expérience utilisateur et influencer les différents facteurs qui la compose, comme l’esthétique et l’utilisabilité perçue. Les résultats des six expériences menées auprès de concepteurs professionnels de sites web et d’utilisateurs du web ont montré d’une part qu’il est possible de contraindre l’effet de conformité et comment, dans une perspective applicative, utiliser cette influence pour optimiser la prise en compte de l’utilisabilité. Et d’autre part que cette amélioration de l’utilisabilité influence, dans une certaine mesure, l’appréciation esthétique des pages web par les utilisateurs / This thesis work proposes to study first the role of the fixation effect, which involves reworking of the existing features in the design activity, and then study its effects on the assessment aesthetic web pages made by users. Our general hypotheses are, firstly, that the fixation effect, described by much of the literature as a negative and repressible can be optimized by the conditions of consultation of the inspiration sources and thus improve the usability of web pages. Furthermore, we hypothesize that improving the usability of web pages can have a significant impact on user experience and influence factors that compose it, such as aesthetics and perceived usability. The results of six experiments conducted with professional web designers and web users have shown firstly that it is possible to constrain the fixation effect and how, in an application perspective, use this influence to optimize the consideration of usability. And secondly that the improvement of usability influence, to a certain extent, the aesthetic appreciation of web pages by users.

L’allégement des véhicules est un objectif incontournable dans l’industrie automobile. Parmi les voies exploitées par les constructeurs, le déploiement d’alliages d’aluminium pour le pavillon permet un allégement de plusieurs kilogrammes. C’est pourquoi, le procédé de soudo-brasage laser occupe une place de choix pour l’assemblage hétérogène pavillon aluminium/caisse acier. Cependant, en plus des problèmes liés à l’hétérogénéité du joint soudé (formation de composés intermétalliques par exemple), des difficultés inhérentes à la production en grande série émergent : un environnement avec de fortes contraintes industrielles, un niveau de conformité élevé et robuste ainsi qu’une cadence de production imposant des grandes vitesses de soudo-brasage comprises entre 4 et 6 m/min et adaptée à des configurations exploitables industriellement. L’objectif de ce travail de thèse est de conduire une analyse physique et technologique du process de soudo-brasage laser pour un assemblage hétérogène allégé pavillon/caisse. Dans un premier temps, un ensemble d’hypothèses sur l’influence de la physique du procédé, des variables process et de l’environnement d’étude sur la conformité et la reproductibilité de ces assemblages furent établies. Leur validation ensuite a été réalisée par des essais à l’échelle 1 sur une installation laser de production industrielle, prolongée par des analyses de la métallurgie et de la microstructure des assemblages ainsi que d’une simulation numérique du procédé. La physique du procédé en lien avec les paramètres du process de soudo-brasage laser acier/aluminium à haute vitesse a été identifiée. Les variables énergétiques ont montrées un fort impact sur le niveau de conformité atteint ainsi que sur la dispersion des résultats. Celles-ci tendent à influencer fortement les phénomènes physiques mises en jeu et notamment la thermique à l’interface acier/aluminium, impactant directement la formation des composés intermétalliques et leurs microstructures. Différentes tailles de grains ont été observés en fonction des paramètres process, contrôlant ainsi la tenue mécanique des assemblages soudo-brasés. La modulation in fine du cycle thermique de soudo-brasage, piloté par la physique activée du process, permet de discriminer les configurations les plus optimales pour une application industrielle du procédé. / Weight reduction of vehicles is a key objective in the automotive industry. Particularly, the use of aluminum alloys for the roof is one of the most promising path studied by manufacturers to save several kilograms. Therefore, the laser brazing process has a place of choice for assembling heterogeneous aluminum roof / steel body-side. However, in addition to issues related to the heterogeneity of the welded joint (formation of intermetallic compounds, for example), issues related to the mass production emerge: an environment with strong industrial constraints, high and robust levels of compliance, a production rate involving high brazing speeds between 4 and 6 m / min and fitting with industrial configurations. The objective of this thesis is to conduct a physical and technological analysis of laser brazing process in the case of a heterogeneous lightweight roof / body-side assembly. Firstly, a set of assumptions about the influence of the physical process, the process variables and the industrial environment on the compliance and the reproducibility of these assemblies are made. Then, validation was conducted by tests at scale 1 on a laser industrial production set-up, extended by analysis of metallurgy and microstructure of assemblies and a numerical simulation of the process. The link between the physical phenomena of the process and the high speed steel-aluminium brazing process parameters has been identified. Energy variables showed a strong impact on the level of compliance achieved and on the dispersion of results. These variables tend to strongly influence the physical phenomena of the process and especially thermal behaviors at the steel / aluminum interface, directly impacting the formation of intermetallic compounds and their microstructures. Different grain sizes were observed depending on the process parameters, influencing hence the mechanical strength of assemblies. Finally, the modulation of the brazing thermal cycle, driven by the activated physical phenomenon of the process, allows bringing out the most optimal configuration for an industrial application of the process.