Дисертації з теми "Système concurrentiel"

Dans le cadre de l'ouverture des marchés de l'électricité à la concurrence, de nouvelles règles doivent régir les relations entre producteur et transporteur d'électricité pour ce qui concerne les services au système tels que la fourniture de puissance réactive. Xu, Kundur et da Silva ont développé une méthode permettant d'évaluer le service rendu, et donc la valeur, d'un MVAr fourni par un générateur en calculant le nombre de MVAr qui doivent être fournis aux nœuds de charge pour maintenir leur tension lorsque le générateur réduit sa production. Nous avons amélioré cette méthode en optimisant l'emplacement et en minimisant la capacité de moyens de compensation permettant de remplacer la production réactive d'un générateur tout en maintenant la tension de chaque nœud dans sa plage acceptable. De plus les capacités de production réactives disponibles auprès d'autres générateurs sont mises à contribution, ce qui permet de prendre en compte la pénurie ou l'abondance de capacités de production. Cette méthode a été appliquée sur un réseau à deux nœuds, puis sur un réseau de test IEEE à 118 nœuds et enfin sur une partie du réseau électrique français. Les résultats obtenus permettent de valoriser chaque MVAr généré en fonction de la localisation du générateur sur le réseau, de l'état de charge du réseau, de la disponibilité des autres producteurs et du niveau de production du générateur. Ainsi les premiers MVAr fournis par un générateur sont difficilement remplaçables par des moyens de compensation et ont donc une valeur plus grande que les derniers qui eux sont facilement remplaçables.

Notre objectif est de mieux comprendre comment les capacités TI/SI peuvent contribuer à l'avantage concurrentiel et aux performances. Nous avons comparé quatre études de cas approfondies chez des courtiers d'assurance vie en France. Les capacités TI/SI contribuent positivement à l'avantage concurrentiel de façon surtout indirecte à travers les sous-systèmes des capacités opérationnelles et des capacités stratégiques, tous deux influencés par le sous-système des capacités dynamiques. . Les capacités TI/SI contribuent de façon assez homogène à l'avantage concurrentiel, mais plus à sa création qu'à son soutien. L'avantage concurrentiel doit être considéré non de façon binaire mais en fonction de son degré et son étendue. Notre recherche montre les théories de la ressource et de l'alignement comme synergiques pour expliquer la contribution des TI/SI. Nous en dégageons notamment le concept de multi alignement dynamique des capacités qui est en lui-même une capacité et joue un rôle différenciant entre firmes. Nous parvenons finalement à un modèle et à une théorie explicatifs de la façon dont les capacités TI/SI peuvent produire une contribution stratégique
Our objective is to better understand how the IT/IS capabilities can contribute to competitive advantage and performance. We have compared four in depth case studies on insurance life distributors in France. The IT/IS capabilities contribute positively to the competitive advantage above all in an indirect manner via the operational capabilities and strategic capabilities sub-systems which are both influenced by the dynamic capabilities sub-system. The IT/IS capabilities contribute in a rather homogeneous manner to competitive advantage but more to its creation than to its sustainability. Competitive advantage should be considered not as binary but as a function of its degree and extent. Our research the resource and the alignment theories as synergistic to explain the IT/IS contribution. We extract in particular of these two perspectives the concept of dynamic multi-alignment of capabilities, which is in itself a capability and plays a discriminant role between firms. We end at a model and a theory of how the IT/IS capabilities can produce a strategic contribution

La réécriture concurrente est étudiée pour ses aspects théoriques et sa capacité d'expression, puis un modèle d'implantation sur machine parallèle à mémoire distribuée est propose. Des stratégies concurrentes permettent de caractériser des dérivations aux propriétés intéressantes, le résultat principal étant l'optimalité de stratégie maximale. Une méthode effective est proposée pour combiner les spécifications équationnelles (sans idée de changement, par exemple des types abstraits) et non équationnelles (en général indéterministes et irréversibles, par exemple des transitions d'un système). Elle est ensuite appliquée à l'exemple de CCS, avec en corollaire un cadre unifié pour décrire processus et types abstraits. Le modèle d'implantation proposé est basé sur un algorithme de filtrage de bas en haut. Sa réalisation sur une machine à mémoire distribuée, donc sans état global, est décrite en exprimant les opérations de base par des échanges de messages. La réécriture concurrente semble donc un modèle de programmation intéressant pour de telles machines

L'analyse concurrentielle du marché pertinent du football professionnel européen fait ressortir le saisissant contraste présent entre la force de l'exigence d'une concurrence "libre" et "non faussée" et la relativité de son existence sur le marché. Depuis l'arrêt "Bosman" et la reconnaissance par la Cour de justice de la liberté de circulation des sportifs professionnels, l'économie concurrentielle du marché en cause est inégalitaire et le sort de la compétition économique prévisible. En supprimant les clauses de nationalité, qui limitaient les flux transnationaux de joueurs et l'impact de l'hétérogénéité des systèmes fiscaux sur le processus concurrentiel, les juges de Luxembourg ont structurellement remis en cause les conditions de concurrence du marché. En effet, les clubs au "coin socio-fiscal du travail" élevé ont vu leur liberté concurrentielle être affectée et leur chance de réussir, dans la compétition économique, considérablement se réduire. Leur incapacité fiscale à proposer, à coût égal, des rémunérations attractives et compétitives aux facteurs de concurrence que sont les joueurs, s'est traduite, dans le contexte de la libéralisation du marché, par un "état d'infériorité structurelle". Cette situation immédiatement contraire aux objectifs des Traités a engendré une allocation inefficace des richesses du marché et une qualité disparate de l'offre de spectacle sportif au sein de la Communauté
The competitive analysis of the relevant market of the European professional football highlights the striking contrast between the strength of the requirement of a “free” and “undistorted” competition and the relativity of its existence on the market.Since the “Bosman” decision and the recognition by the European Court of Justice of the freedom of movement for professional sportsmen, the competitive economy of the relevant market is non-egalitarian and the result of economic competition is predictable. By suppressing the nationality clauses which limited the transnational flows of the players and the impact of heterogeneity of tax systems on the competitive process, the judges of Luxembourg structurally altered the competitive conditions into the market. Indeed, football clubs at “the wedge between labour costs and net wages” saw their competitive freedom being affected and their chance to succeed in the economic competition considerably reduced. Their tax incapacity to propose, at equal cost, attractive and competitive payments to the competition factors that are the players, has translated, in the context of the liberalization of the market, by a “structural inferiority state”. This situation at once went against the objectives of the Treaties causing an inefficient allowance of the wealth in the market, as well as an ill-assorted quality of the sport entertainment offer within the Common Market

Dans les systemes collaboratifs repartis, les objets partages par les usagers sont soumis a des contraintes de temps reel et de coherence. La these met en evidence les problemes a resoudre pour satisfaire ces contraintes : respect de l'intention de l'usager et de la causalite, convergence des copies. Elle formalise la notion d'intention de l'usager et introduit pour la respecter, des fonctions de transposition (en avant et en arriere) qui exploitent les proprietes semantiques generales des operations et qui permettent de construire, en les combinant, des histoires equivalentes. Elle propose ensuite plusieurs algorithmes originaux pour ordonner les operations tout en respectant ces contraintes. Leur point fort est qu'aucun ne necessite de defaire ni de refaire d'operation. Ces algorithmes sont egalement etendus pour tenir compte des situations de deconnexion / reconnexion posees par l'informatique mobile. Ils sont enfin compares aux autres algorithmes connus : dopt, oreste, adopted et got.

Cette these expose une etude sur le probleme de la realisation robuste de taches concurrentes, plus precisement, le developpement d'une approche de la conception et de l'implementation de systemes qui gerent a la fois la robustesse tout en atteignant leurs buts. Nous identifions le meme probleme dans trois domaines differents de la recherche : la planification, la robotique et l'automatique. Cette these s'inspire des resultats de ces trois domaines pour proposer une solution integree. L'analyse du probleme et de son etat de l'art revele trois classes de processus ; les reflexes, les reactions et les plans. Ces trois classes distinctes peuvent etre unifiees par une representation unique a base de processus. La representation fonde une approche integree qui pallie les points faibles de chaque classe de processus avec les points forts des autres. Afin d'evaluer l'approche, une structure d'integration est proposee et appliquee dans plusieurs etudes de cas sur le probleme de navigation pour un robot mobile. Ces etudes fournissent une plate-forme d'evaluation pour les technologies utilisees. Nous les utilisons, par la suite, pour evaluer l'approche et sa structure integree. La memoire se termine par les nombreuses conclusions et perspectives qui sont tirees de l'experience pratique et des resultats experimentaux.

Cette thèse présente df, un système concurrent de contraintes par traits qui combine certaines idées intéressantes provenant de diverses recherches menées récemment en programmation logique : la logique orientée-objet (représentée ici par la f-logique), les systèmes de contraintes par traits (osf et cft), la programmation concurrente par contraintes (les modèles oz et cc). Elle a pour but final de construire un système démonstratif pour le traitement concurrent du langage naturel basé sur la théorie hpsg. Le système df couple une sémantique déclarative par contraintes de la f-logique avec une sémantique opérationnelle basée sur des règles de réecriture concurrentes. Du point de vue du typage, le système df se situe entre les systèmes osf et cft. Il a sa propre spécificité due au traitement concurrent basé sur des principes orientés-objet des hiérarchies conditionnelles de descriptions par des traits plus fins
Nous avons implémenté un prototype du système df en oz, le langage concurrent multi-paradigme développé au dfki, en mettant en oeuvre une alternative typée et orientée-objet de son sous-système d'articles ouverts. Le système df est appliqué au traitement du langage naturel : analyse, génération et traduction automatique. Nous avons entrepris la conception d'un noyau hpsg pour le roumain, avec une implémentation concurrente. La définitude (définiteness), la topique (topic) et la modification (adjunction) du groupe nominal roumain sont analysées et la fonctionnalité des pronoms clitiques roumains sont expliquées à partir de la linéarisation (linearization) du groupe verbal transitif. Nous avons défini deux méta-schémas au dessus des schémas de la règle de dominance immédiate (id) dans la théorie de hpsg : le méta-schéma id 1, qui concerne les sujets multiples (par exemple les déterminants dans le groupe nominal roumain) et le méta-schéma id 2/6, pour la corrélation des composants localement ordonnés en dépendance non-bornée (comme les clitiques dans le groupe verbal transitif roumain). Les deux méta-schémas id font marcher la concurrence dans le cadre de la théorie des grammaires hpsg

Face a la proliferation d'information, a la volonte de mondialisation, a une concurrence de plus en plus feroce, l'entreprise est devant la necessite de mettre en place un systeme d'information pour gerer aussi bien l'information interne que l'information externe. Cette bonne gestion est une des conditions sine qua non d'une entreprise innovante. Ainsi, la direction recherche & developpement de valeo alternateurs a decide, dans sa course a l'innovation, qui est l'un des principaux gages de competitivite, de developper une activite de veille concurrentielle. Cette activite est essentiellement un systeme d'information dont le but est d'organiser de maniere systematique la collecte, l'analyse et la diffusion des informations necessaires a la conception de nouveaux produits. Ce systeme a ete bati autour d'une organisation qui est une organisation projet dans laquelle la communication et la culture de l'entreprise, symbolisee par les 5 axes (implication du personnel, systeme de production, integration des fournisseurs, innovation constante, qualite totale), occupent une place importante. Cette organisation est constituee d'hommes qui sont les acteurs de la veille en tant qu'informateurs, qu'animateurs ou que membres d'equipes projet. Ce systeme s'appuie sur spirit, logiciel de gestion electronique des documents, dont l'indexation repose sur une approche mixte statistique et linguistique. Nous avons ainsi constitue un reservoir de connaissances dans lequel les acteurs peuvent trouver a la fois des donnees concurrentielles mais aussi des donnees de la memoire de l'entreprise. La recherche, dans ce reservoir, est facilitee par l'utilisation du langage naturel mais surtout du langage commun de la societe. Pour garantir un systeme de qualite, nous avons verifie l'adequation de notre systeme a des criteres generaux mais aussi aux exigences valeo au travers du questionnaire innovation constante de l'audit valeo 5000.

Les «agglomérats» ont émergé dans certaines zones géographiques comme des concentrations d'entreprises qui travaillent en réseau (en amont et en aval) avec un ensemble d'acteurs (universités, institutions, entreprises, Etat et collectivités territoriales) dans un secteur d'activité donné. Ces agglomérations sont susceptibles de créer de la valeur pour les entreprises qui sont encastrées. En effet, certains auteurs considèrent que l'avantage concurrentiel est « enraciné» dans un système concurrentiel que la firme devra maîtriser en amont et/ou en aval par une gestion des informations et des connaissances. Dans notre travail de recherche, nous nous sommes attachés, à partir d'entretiens menés sur le terrain, une observation et une revue documentaire, à comprendre dans quelle mesure les pôles créent un avantage concurrentiel pour les entreprises. Nous avons aussi déterminé les obstacles qui s'opposent à ce dernier. Il sera ainsi question, dans les développements suivants, du partage des connaissances ou compétences (savoirs et savoir-faire) entre firmes d'un même réseau qui stimulerait leur processus de création de valeur.

Le droit de la concurrence joue un rôle fondamental dans le bon fonctionnement des marchés soumis aux principes de liberté de circulation des marchandises, des services et des capitaux. Il était donc pertinent pour les organisations d’intégration économique ouest-africaines, l’UEMOA et la CEDEAO, qui avaient toutes deux mis en place de tels marchés dans les années 1990, de se doter de règles concurrentielles. Cependant, ces nouvelles règles ont été caractérisées par la dualité des systèmes concurrentiels choisis. Complètement opposés, les cadres institutionnels se sont souvent révélés être contradictoires : alors que les Etats membres l’UEMOA avaient opté pour une architecture institutionnelle centralisée, ceux de la CEDEAO avaient préféré un système décentralisé. Pourtant, tous les Etats membres de l’UEMOA sont également membres de la CEDEAO. L'Afrique de l'Ouest connaît ainsi une dualité de systèmes concurrentiels à l'origine d'une insécurité juridique. Cette étude prospective est dès lors un plaidoyer pour l’unification des droits régionaux de la concurrence, l'abandon du bicéphalisme au profit du monocéphalisme concurrentiel s'avérant une étape nécessaire pour assurer l’efficacité et la sécurité juridique du marché commun ouest-africain
Competition law plays a fundamental role in the proper functioning of markets subject to the principles of free movement of goods, services and capital. It was therefore relevant for the West African economic integration organizations, WAEMU and ECOWAS, which had both set up such markets in the 1990s, to adopt competition rules. However, these new rules were characterized by the duality of the competitive systems chosen. The institutional frameworks often turned out to be contradictory: while WAEMU member states opted for a centralized institutional architecture, ECOWAS member states preferred a decentralized system. However, all WAEMU member states are also members of ECOWAS. West Africa is thus experiencing a duality of competitive systems that is the source of legal insecurity. This prospective study is therefore a plea for the unification of regional competition laws, with the abandonment of bicephalism in favor of competitive monocephalism proving to be a necessary step to ensure the efficiency and legal security of the West African common market

Ce document traite du problème, toujours actuels, de l'unification des paradigmes de programmation locale et de programmation distribuée. Après une définition de cette notion d'unification, nous présenterons cinq caractéristiques des systèmes distribués que nous considérons comme fondamentales : les pannes partielles, la concurrence, la confiance, la mémoire répartie et la latence. Nous verrons comment ces caractéristiques peuvent être prises en charge de façon transparente dans un but d'unification ainsi que les contraintes imposées par une telle transparence. Nous présenterons ensuite nos contributions dans le domaine de la prise en charge de la caractéristique de la mémoire répartie au traversd e la bibliothèque de communication JToe. Par aileurs, nous avons contribué à la prise en charge de la latence par l'introduction transparente d'asynchronisme dans une application orientée objets. Nous verrons les possibilités offertes par ce nouvel asynchronisme et nous prouverons, à l'aide du π-calcul, le respect de la sémantique séquentielle de l'application synchrone d'origine.

La Simulation Comparative et Concurrente (SCC) permet d'effectuer plusieurs simulations d'un système en une seule
exécution. Une des premières applications de la SCC a été la Simulation de Fautes Concurrente (SFC) permettant la simu-
lation de fautes au sein des systèmes digitaux décrits au niveau portes logiques. De nos jours, les concepteurs de circuits
évitent de travailler sur ces modèles logiques et préfèrent utiliser des descriptions plus abstraites basées sur des langages
de description de matériel comme le VHDL (Very high speed integrated circuits Hardware Description Language). Ces
langages permettent de modéliser et de simuler le comportement des circuits digitaux mais ils ne sont pas appropriés pour
la simulation concurrente des comportements fautifs ou fautes. Les barrières au développement d'un simulateur concurrent
de fautes comportementales sont le manque de modèles de fautes réalistes et la difficulté à mettre en œuvre les algorithmes
concurrents au sein d'un noyau de simulation.
Pour répondre à cette problématique, nous proposons le formalisme BFS-DEVS (Behavioral Fault Simulator for Discrete
EVent system Specification). Ce formalisme permet de modéliser et de simuler les fautes comportementales sur des systèmes
à événements discrets comme les circuits digitaux décrits en VHDL. Il dérive du formalisme DEVS (Discrete EVent system
Specification) introduit par le professeur B.P. Zeigler à la fin des années 70. Le noyau de simulation BFS-DEVS intègre les
algorithmes concurrents de la SFC et il s'appuie sur une technique de propagation de listes de fautes au sein des modèles du
système. Cette technique améliore la rapidité du processus de simulation car elle permet la détection simultanée de plusieurs
fautes et simplifie également l'observabilité des résultats en fin de simulation.

L'Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus de d'ingénierie logicielle et système. L'IDM permet de maitriser la complexité des logiciels et d'améliorer la rapidité et la qualité des processus de développement. Le Model Driven Architecture (MDA) est une initiative de l'Object Management Group (OMG) définissant un cadre conceptuel, méthodologique et technologique pour la mise-en-œuvre de flots de conception basés sur l'IDM. Le MDA s'appuie particulièrement sur une utilisation intensive des formalismes normalisés par l'OMG pour la mise-en-œuvre des flots IDM (UML pour la modélisation, QVT pour les transformations, etc.). Ce travail s'intéresse à la sémantique d'exécution du langage UML appliqué à l'exécution de modèles des applications temps réel embarquées. Dans ce contexte, l'OMG propose une norme qui définit un modèle d'exécution pour un sous-ensemble d'UML appelé fUML (foundational UML subset). Ce modèle d'exécution définit une sémantique précise non ambigüe facilitant la transformation de modèles, l'analyse, l'exécution de modèles et la génération de code. L'objectif de cette thèse est d'étudier et mettre-en-œuvre un moteur d'exécution de modèles UML pour les systèmes temps réel embarqués en explicitant les hypothèses portant sur la sémantique d'exécution des modèles à un niveau d'abstraction élevé afin de permettre l'exécution d'un modèle le plus tôt possible dans le flot de conception de l'application. Pour cela, nous avons étendu le modèle d'exécution défini dans fUML, en apportant une contribution sur trois aspects importants concernant les systèmes temps réel embarqués : * Gestion de la concurrence: fUML ne fournit aucun mécanisme pour gérer la concurrence dans son moteur d'exécution. Nous répondons à ce problème par l'introduction d'un ordonnanceur explicite permettant de contrôler les différentes exécutions parallèles, tout en fournissant la flexibilité nécessaire pour capturer et simuler différentes politiques d'ordonnancements. * Gestion du temps : fUML ne fixe aucune hypothèse sur la manière dont les informations sur le temps sont capturées ainsi que sur les mécanismes qui les traitent dans le moteur d'exécution. Pour cela, nous introduisons une horloge, en se basant sur le modèle de temps discret, afin de prendre en compte les contraintes temporelles dans les exécutions des modèles. * Gestion des profils : les profils ne sont pas pris en compte par ce standard, cela limite considérablement la personnalisation du moteur d'exécution pour prendre en charge de nouvelles variantes sémantiques. Pour répondre à ce problème, nous ajoutons les mécanismes nécessaires qui permettent l'application des profils et la capture des extensions sémantiques impliquées par l'utilisation d'un profil. Une implémentation de ces différentes extensions est réalisée sous forme d'un plugin Eclipse dans l'outil de modélisation Papyrus UML.

La réécriture de termes est un concept maintenant bien connu, qu'on retrouve à la base de langages de programmation de haut niveau tel qu'OBJ, ou encore comme mécanisme fondamental pour le calcul formel et la démonstration automatique. Cette thèse est consacrée à la définition et l'implantation d'un modèle de réécriture conditionnelle concurrent sur des machines parallèles à mémoire distribuée. Notre approche est de profiter du parallélisme de données que l'on rencontre dans les structures de termes. La réécriture concurrente consiste à appliquer simultanément plusieurs règles sur un même terme. Dans un premier temps, nous décrivons la formalisation de notre modèle de calcul dans le cadre de la logique de réécriture de J. Meseguer. Dans le but d'étendre ce modèle aux règles conditionnelles, nous définissons ensuite une transformation d'un système de réécriture conditionnelle en un système de réécriture non conditionnelle. Nous détaillons notre choix d'implantation du modèle de calcul et nous décrivons le passage du modèle abstrait de la réécriture concurrente conditionnelle à un modèle réel implantable sur des machines parallèles à mémoire distribuée. Le modèle d'implantation est basé sur la réécriture de termes représentés par des graphes particuliers appelés "jungles". Un mécanisme fondé sur des échanges asynchrones de messages permet de réaliser l'opération de réécriture. Nous proposons un algorithme de glanage concurrent opérant sur les noeuds du graphe à réduire. Le logiciel ReCo met en oeuvre directement le modèle opérationnel de la réécriture conditionnelle concurrente en utilisant le standard MPI ou la bibliothèque PVM pour le passage des messages entre processus. Pour valider et expérimenter notre modèle de calcul concurrent, différents benchmarks de calculs parallèles de formes normales de termes sont réalisés
Term Rewriting is a well-known concept used in many programming languages such OBJ, as well as a fundamental mechnaism for automated deduction and formal computation. This thesis is an approach to the definition and the implementation of a conditional concurrent model on distributed memory machines. Our approach is to use the data parallelism present in term structure. Concurrent rewriting consists in the simultaneous application of several rewriting rules on the same term. First, we describe the formalisation of our model in the context of J. Meseguer's rewriting logic. To extend the model to conditional rewriting, we define a transformation from conditional to unconditional rewriting systems. We detail the implementation model and we describe the transition from the conditional concurrent rewriting abstract model to an operational model which can be implemented on distributed memory machines. The implemented model is based on asynchronous exchange of messages. We propose a concurrent garbage algorithm reclaiming unused nodes of the graph. The ReCo system implements the oerational model using MPI ou PVM message passing interface library. To validate and to experiment our implementation, different benchmarks for computing term normal forms are realised

Les actions de recherche présentées entre dans le cadre de l'axe " Modélisation et conception des Systèmes " du laboratoire UMR CNRS 6134. Action " DEVS Concurrent " Ce travail a permis de définir le formalisme BFSDEVS (Behavioral Fault Simulator for Discrete EVent system Specification). Ce formalisme permet de modéliser et de simuler les fautes comportementales sur des systèmes à événements discrets. Il dérive du formalisme DEVS (Discrete EVent system Specification) introduit par le professeur B.P. Zeigler à la fin des années 70. Le noyau de simulation BFSDEVS intègre les algorithmes concurrents de la Simulation Comparative Concurrente qui permettent donc d'accélérer le processus de simulation. Action " Test de Circuits " Le test de circuits à haut niveau d'abstraction et plus particulièrement la simulation de fautes a permis de valider notre formalisme BFSDEVS. En effet, l'utilisation de BFSDEVS pour modéliser des descriptions VHDL (Very high speed integrated circuits Hardware Description Language) couplée à une technique de propagation de listes de fautes on permis d'obtenir un simulateur de fautes. Action " Détection de pannes dans les systèmes électrique " Une autre application que nous développons concerne la détection de pannes dans les circuits électriques au sein de systèmes d'énergie renouvelable. Action " Modélisation Informatique pour les Sciences Humaines et Sociales " Enfin, des recherches sont menées au sein du projet " Identité et Cultures " de l'Université de Corse. Ils concernent : * la multi représentation de données dans les Systèmes d'Informations Géographiques. * l'analyse et la synthèse de voix pour l'apprentissage des chants polyphoniques corses.

[EN] Incorporating error detection mechanisms is a key element in the design of fault tolerant systems. For many of those systems the detection of an error (whether temporary or permanent) triggers a bunch of actions or activation of elements pursuing any of these objectives: continuation of the system operation despite the error, system recovery, system stop into a safe state, etc. Objectives ultimately intended to improve the characteristics of reliability, security, and availability, among others, of the system in question. One of these error detection elements is a watchdog processor; it is responsible to monitor the system processor and check that no errors occur during the program execution. The main drawback of the existing proposals in this regard and that prevents a more widespread use of them is the loss of performance and the increased memory consumption suffered by the monitored system. In this PhD a new technique to embed signatures is proposed. The technique is called ISIS - Interleaved Signature Instruction Stream - and it embeds the watchdog signatures interspersed with the original program instructions in the memory. With this technique it is a separate element of the system processor (a watchdog processor as such) who carries out the operations to detect errors. Although signatures are mixed with program instructions, and unlike previous proposals, the main system processor is not involved neither in the recovery of these signatures from memory nor in the corresponding calculations, reducing the performance loss. A novel technique is also proposed that enables the watchdog processor verification of the structural integrity of the monitored program checking the jump addresses used. This jump address processing technique comes to largely solve the problem of verifying a jump to a new program area when there are multiple possible valid destinations of the jump. This problem did not have an adequate solution so far, and although the proposal made here can not solve every possible jump scenario it enables the inclusion of a large number of them into the set verifiable jumps. The theoretical ISIS proposal and its error detection mechanisms are complemented by the contribution of a complete system (processor, watchdog processor, cache memory, etc.) based on ISIS which incorporates the detection mechanisms proposed here. This system has been called HORUS, and is developed in the synthesizable subset of the VHDL language, so it is possible not only to simulate the behavior of the system at the occurrence of a fault and analyze its evolution from it but it is also possible to program a programmable logic device like an FPGA for its inclusion in a real system. To program the HORUS system in this PhD a modified version of the gcc compiler has been developed which includes the generation of signatures for the watchdog processor as an integral part of the process to create the executable program (compilation, assembly, and link) from a source code written in the C language. Finally, another work developed in this PhD is the development of FIASCO (Fault Injection Aid Software Components), a set of scripts using the Tcl/Tk language that allow the injection of a fault during the simulation of HORUS in order to study its behavior and its ability to detect subsequent errors. With FIASCO it is possible to perform hundreds or thousands of simulations in a distributed system environment to reduce the time required to collect the data from large-scale injection campaigns. Results show that a system using the techniques proposed here is able to detect errors during the execution of a program with a minimum loss of performance, and that the penalty in memory consumption when using a watchdog processor is similar to previous proposals.
[ES] La incorporación de mecanismos de detección de errores es un elemento fundamental en el diseño de sistemas tolerantes a fallos en los que, en muchos casos, la detección de un error (ya sea transitorio o permanente) es el punto de partida que desencadena toda una serie de acciones o activación de elementos que persiguen alguno de estos objetivos: la continuación de las operaciones del sistema a pesar del error, la recuperación del mismo, la parada de sus operaciones llevando al sistema a un estado seguro, etc. Objetivos, en definitiva, que pretenden la mejora de las características de fiabilidad, seguridad y disponibilidad, entre otros, del sistema en cuestión. Uno de estos elementos de detección de errores es un procesador de guardia; su trabajo consiste en monitorizar al procesador del sistema y comprobar que no se producen errores durante la ejecución del programa. El principal inconveniente de las propuestas existentes a este respecto y que impiden una mayor difusión de su uso es la pérdida de prestaciones y el aumento de consumo de memoria que sufre el sistema monitorizado. En este trabajo se propone una nueva técnica de empotrado de firmas (ISIS -Interleaved Signature Instruction Stream) intercaladas dentro del espacio de la memoria del programa. Con ella un elemento separado del procesador del sistema realiza las operaciones encaminadas a detectar los errores. A pesar de que las firmas se encuentran mezcladas con las instrucciones del programa que está ejecutando, y a diferencia de las propuestas previas, el procesador principal del sistema no se involucra ni en la recuperación de las firmas ni en las operaciones de cálculo correspondientes, lo que reduce la pérdida de prestaciones. También se propone una novedosa técnica para que el procesador de guardia pueda verificar la integridad estructural del programa que monitoriza comprobando las direcciones de salto empleadas. Esta técnica de procesado de las direcciones de salto viene a resolver en gran medida el problema de la comprobación de un salto a una nueva zona del programa cuando existen múltiples posibles destinos válidos. Este problema no tenía una solución adecuada hasta el momento, y aunque la propuesta que aquí se hace no consigue resolver todos los posibles escenarios de salto sí permite incorporar un buen números de ellos al conjunto de saltos verificables. ISIS y sus mecanismos de detección de errores se complementan con la aportación de un sistema completo (procesador, procesador de guardia, memoria caché, etc.) basado en ISIS denominado HORUS. Está desarrollado en lenguaje VHDL sintetizable, de manera que es posible tanto simular el comportamiento del sistema ante la aparición de un fallo y analizar su evolución a partir de éste como programar un dispositivo lógico programable tipo FPGA para su inclusión en un sistema real. Para programar el sistema HORUS se ha desarrollado una versión modificada del compilador gcc que incluye la generación de las firmas de referencia para el procesador de guardia como parte del proceso de creación del programa ejecutable a partir de código fuente escrito en lenguaje C. Finalmente, otro trabajo desarrollado en esta tesis es el desarrollo de FIASCO (Fault Injection Aid Software COmponents), un conjunto de scripts en lenguaje Tcl/Tk que permiten la inyección de un fallo durante la simulación de HORUS con el objetivo de estudiar su comportamiento y su capacidad para detectar los errores subsiguientes. Con FIASCO es posible lanzar cientos o miles de simulaciones en un entorno distribuido para reducir el tiempo necesario para obtener los datos de campañas de inyección a gran escala. Los resultados demuestran que un sistema que utilice las técnicas que aquí se proponen es capaz de detectar errores durante la ejecución del programa con una mínima pérdida de prestaciones, y que la penalización en el consumo de memoria al usar un procesador de guardia es similar a la de las propu
[CAT] La incorporació de mecanismes de detecció d'errors és un element fonamental en el disseny de sistemes tolerants a fallades. En aquests sistemes la detecció d'un error, tant transitori com permanent, sovint significa l'inici d'una sèrie d'accions o activació d'elements per assolir algun del objectius següents: mantenir les operacions del sistema malgrat l'error, la recuperació del sistema, aturar les operacions situant el sistema en un estat segur, etc. Aquests objectius pretenen, fonamentalment, millorar les característiques de fiabilitat, seguretat i disponibilitat del sistema. El processador de guarda és un dels elements emprats per a la detecció d'errors. El seu treball consisteix en monitoritzar el processador del sistema i comprovar que no es produeixen error durant l'execució de les instruccions. Els principals inconvenients de l'ús del processadors de guarda és la pèrdua de prestacions i l'increment de les necessitats de memòria del sistema que monitoritza, per la qual cossa la seva utilització no està molt generalitzada. En aquest treball es proposa una nova tècnica de encastat de signatures (ISIS - Interleaved Signature Instruction Stream) intercalant-les en l'espai de memòria del programa. D'aquesta manera és possible que un element extern al processador realitze les operacions dirigides a detectar els errors, i al mateix temps permet que el processador execute el programa original sense tenir que processar les signatures, encara que aquestes es troben barrejades amb les instruccions del programa que s'està executant. També es proposa en aquest treball una nova tècnica que permet al processador de guarda verificar la integritat estructural del programa en execució. Aquesta verificació permet resoldre el problema de com comprovar que, al executar el processador un salt a una nova zona del programa, el salt es realitza a una de les possibles destinacions que són vàlides. Fins el moment no hi havia una solució adequada per a aquest problema i encara que la tècnica presentada no resol tots el cassos possibles, sí afegeix un bon nombre de salts al conjunt de salts verificables. Les tècniques presentades es reforcen amb l'aportació d'un sistema complet (processador, processador de guarda, memòria cache, etc.) basat en ISIS i que incorpora els mecanismes de detecció que es proposen en aquest treball. A aquest sistema se li ha donat el nom de HORUS, i està desenvolupat en llenguatge VHDL sintetitzable, la qual cosa permet no tan sols simular el seu comportament davant la aparició d'un error i analitzar la seva evolució, sinó també programar-lo en un dispositiu FPGA per incloure'l en un sistema real. Per poder programar el sistema HORUS s'ha desenvolupat una versió modificada del compilador gcc. Aquesta versió del compilador inclou la generació de les signatures de referència per al processador de guarda com part del procés de creació del programa executable (compilació, assemblat i enllaçat) des del codi font en llenguatge C. Finalment en aquesta tesis s'ha desenvolupat un altre treball anomenat FIASCO (Fault Injection Aid Software COmponents), un conjunt d'scripts en llenguatge Tcl/Tk que permeten injectar fallades durant la simulació del funcionament d'HORUS per estudiar la seua capacitat de detectar els errors i el seu comportament posterior. Amb FIASCO és possible llançar centenars o milers de simulacions en entorns distribuïts per reduir el temps necessari per obtenir les dades d'una campanya d'injecció de fallades de grans proporcions. Els resultats obtinguts demostren que un sistema que utilitza les tècniques descrites és capaç de detectar errors durant l'execució del programa amb una pèrdua mínima de prestacions, i amb un requeriments de memòria similars als de les propostes anteriors.
Rodríguez Ballester, F. (2016). Detección concurrente de errores en el flujo de ejecución de un procesador [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/63254
TESIS

Cette these traite de la specification, de la conception et du prototypage rapide des systemes complexes. Nous proposons une approche d'ingenierie systeme basee sur les concepts de la conception concurrente materiel/logiciel co-design et nous l'evaluons sur un calculateur embarque experimental de l'airbus a340. Cette approche est definie a la lumiere d'une etude des methodes de conception existantes a aerospatiale aeronautique et d'une synthese de l'etat de l'art du co-design. Elle se caracterise par une etape de specification multi-formalismes, un partitionnement materiel/logiciel semi-automatique base sur les analyses de performances et une etape finale de prototypage sur des technologies programmables fpga. Outre l'introduction d'une nouvelle approche pour la modelisation et la specification multi-formalismes des calculateurs embarques, des techniques de composition des specifications partielles ont ete suggerees. Nous avons egalement etudie l'impact de l'utilisation de la nouvelle generation d'outils graphiques de specification executable sur les metiers du logiciel et du materiel. L'une des contributions de la these est l'aide a la definition et au prototypage d'architectures des calculateurs embarques par une exploration de l'espace des alternatives de partitionnement materiel/logiciel. Une methode de partitionnement fondee sur des analyses de performances avec l'outil ses/workbench a ete presentee. L'originalite de la methode de prototypage rapide reside dans sa flexibilite et dans l'accessibilite au prototype. Une plate-forme a base de pc-pentium et de circuits programmables fpga a ete definie et experimentee pour la realisation d'un prototype de la fonction arinc 429

Dans le cadre de son accord d'adhésion à l'OMC, la Chine s'est engagée à autoriser l'implantation de banques étrangères pouvant pleinement concurrencer les banques domestiques dès 2007. Cette thèse analyse la situation actuelle du système bancaire chinois qui présente une grande fragilité caractérisée par un montant considérable de créances douteuses, une insuffisance de fonds propres et des inefficiences internes. Le système bancaire doit donc être réformé en profondeur pour affronter tant la concurrence étrangère que celle des marchés financiers et pour répondre rapidement à la nouvelle réglementation internationale des fonds propres. Cette thèse essaye de répondre les [sic] questions suivantes : est-ce que le secteur bancaire chinois adoptera les réglementations internationales? Quelle version de la réglementation (Bâle I ou Bâle II) est plus favorable pour les banques locales? Est-ce-que le système d'assurance dépôt est nécessaire pour la Chine
Within the framework of its agreement of adhesion with WTO, China committed that foreign banks can equally compete with the domestic banks since 2007. This dissertation analyzes the current situation of the Chinese banking system which characterized by its considerable amount of doubtful debts, insufficient of own capital stocks and inefficiencies internal. The chinese banking system needs to be reformed profoundly to face foreign competition and to adjust to the new international regulation of the capital requirement. This dissertation tries to answer the following questions : should the chinese banking system introduce the international regulation? Which version (Bâle I or Bâle II) is more favorable for local banks? Is it necessary to establish the deposit insurance system in China?

Cette these concerne la specification et modelisation des systemes concurrentes par des reseaux de petri de haut niveau. Tout d'abord nous proposons une generalisation des m-nets, une algebre de reseaux de petri etiquete de haut niveau par une parametrisation qui permet de prendre en compte le comportement d'environnement dans lequel un m-net est execute. La preservation des proprietes essentielles pour l'extension de l'algebre est montree et une caracterisation d'une relation d'equivalence importante du modele est obtenue par la donnee d'un ensemble de regles de transformation. Comme principale nouveaute nous presentons un operateur de raffinement general et en l'etendant un operateur de recursion generale pour les m-nets. Les operation ne demandent de restrictions ni sur l'entourage des transitions a raffiner, ni sur les reseaux raffinants. Plusieurs proprietes de ces operateurs comme la validite, la commutativite par rapport au depliage des m-nets vers les reseaux de petri de bas niveau et leur raffinement sont prouvees, ainsi que quelques proprietes sur des applications successives et enchainees. Les operateurs habituels de composition de reseau peuvent etre synthetises a partir du raffinement general et l'application de l'operation hierarchique dans la semantique des procedures d'un langage de programmation concurrente est illustree.

L'Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus de d'ingénierie logicielle et système. L'IDM permet de maitriser la complexité des logiciels et d'améliorer la rapidité et la qualité des processus de développement. Le Model Driven Architecture (MDA) est une initiative de l'Object Management Group (OMG) définissant un cadre conceptuel, méthodologique et technologique pour la mise-en-œuvre de flots de conception basés sur l'IDM. Le MDA s'appuie particulièrement sur une utilisation intensive des formalismes normalisés par l'OMG pour la mise-en-œuvre des flots IDM (UML pour la modélisation, QVT pour les transformations, etc.). Ce travail s'intéresse à la sémantique d'exécution du langage UML appliqué à l'exécution de modèles des applications temps réel embarquées. Dans ce contexte, l'OMG propose une norme qui définit un modèle d'exécution pour un sous-ensemble d'UML appelé fUML (foundational UML subset). Ce modèle d'exécution définit une sémantique précise non ambigüe facilitant la transformation de modèles, l'analyse, l'exécution de modèles et la génération de code. L'objectif de cette thèse est d'étudier et mettre-en-œuvre un moteur d'exécution de modèles UML pour les systèmes temps réel embarqués en explicitant les hypothèses portant sur la sémantique d'exécution des modèles à un niveau d'abstraction élevé afin de permettre l'exécution d'un modèle le plus tôt possible dans le flot de conception de l'application. Pour cela, nous avons étendu le modèle d'exécution défini dans fUML, en apportant une contribution sur trois aspects importants concernant les systèmes temps réel embarqués : * Gestion de la concurrence: fUML ne fournit aucun mécanisme pour gérer la concurrence dans son moteur d'exécution. Nous répondons à ce problème par l'introduction d'un ordonnanceur explicite permettant de contrôler les différentes exécutions parallèles, tout en fournissant la flexibilité nécessaire pour capturer et simuler différentes politiques d'ordonnancements. * Gestion du temps : fUML ne fixe aucune hypothèse sur la manière dont les informations sur le temps sont capturées ainsi que sur les mécanismes qui les traitent dans le moteur d'exécution. Pour cela, nous introduisons une horloge, en se basant sur le modèle de temps discret, afin de prendre en compte les contraintes temporelles dans les exécutions des modèles. * Gestion des profils : les profils ne sont pas pris en compte par ce standard, cela limite considérablement la personnalisation du moteur d'exécution pour prendre en charge de nouvelles variantes sémantiques. Pour répondre à ce problème, nous ajoutons les mécanismes nécessaires qui permettent l'application des profils et la capture des extensions sémantiques impliquées par l'utilisation d'un profil. Une implémentation de ces différentes extensions est réalisée sous forme d'un plugin Eclipse dans l'outil de modélisation Papyrus UML.

De par leurs effets sur les coûts et les comportements et attitudes des employés, les rémunérations représentent une dimension critique de la gestion des ressources humaines. L'étude de leurs effets sur la performance de l'organisation s'inscrit dans la perspective stratégique qui stipule que l'efficacité des pratiques et politiques de rémunération est fonction de leur alignement avec les stratégies de l'organisation. La majorité des recherches empiriques se sont alors focalisées sur l'étude de relations bivariées afin d'identifier les pratiques de rémunérations les plus efficaces compte tenu de la stratégie, d'affaire et /ou de diversification, d'une organisation, avec des résultats contradictoires. Récemment, la recherche en gestion stratégique des ressources humaines intégrant les apports de l'approche par les ressources, suggère d'étudier l'alignement entre les pratiques de rémunérations et l'alignement entre les rémunérations et les autres pratiques RH à la recherche de synergies source d'avantage concurrentiel durable. Cette thèse étudie la pertinence du concept de système de rémunération pour décrire l'efficacité des politiques de rémunération. A partir de données collectées auprès de 212 grandes entreprises françaises, cette recherche, auprès d'une population de cadres, met en évidence que les synergies entre les pratiques et politiques de rémunération contribuent à la perception d'un avantage concurrentiel par les ressources humaines définis en termes d'attraction et de fidélisation des meilleurs éléments et de motivation
Due to its importance in influencing costs and the behaviors and attitudes of current organization members, compensation represents a critical dimension of the human resource management. The study of their effects on the performance of organizations falls under the strategic perspective which stipulates that the effectiveness of the practices and policies of compensation is linked to their fit with the strategies of the organization. The main stream of empirical focus on bivariate relations in order to identify the most effective practices taking into account the business and/or diversification strategy of an organization. Results are contradictory. Recently, research in strategic human resource management, integrating the contributions of the resource-based view, suggests studying alignment focusing both on the fit between compensation practices itself and between compensation and others HR practice in the search of synergies source of sustainable competitive advantage. This thesis studies the relevance of the concept of system to describe the effectiveness of compensation policies and practices. From data collected from 212 large French companies, this emperical research, on a population of managers, highlights that synergies between the practices and policies of remuneration contributes to the perception of a competitive advantage by human resources defined in terms of attraction and retention of the best members and their motivation

Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. L'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.

L'observation empirique (83 entreprises) et la conciliation des théories, tant économiques qu'organisationnelles, susceptibles d'expliquer la "dynamique de développement des exportations" permettent d'énoncer une nouvelle approche de ce problème : en tenant compte de "l'intégralité" des facteurs qui influent sur le développement export et de "la diachronie" de leurs interactions, on arrive à percevoir que les performances export sont dues à la fois : à la compétitivité relative de la firme - la "puissance concurrentielle internationale" -; et aux "générateurs de l'action" - le "système de décision export" et le "système d'information export" -. La première (P. C. I la), qui exprime aussi la capacité théorique de l'entreprise à développer ses exportations, est la résultante des "forces" et "faiblesses" de l’environnement" et du "potentiel" de la firme. Les seconds (les générateurs de l'action) traduisent cette "puissance" théorique (la PCI) en actes pratiques qui se manifestent par les "performances" et les "expériences export". Chaque niveau de performances tend, par ailleurs, à être l'expression d'un état donné d'intensité des activités internationales de la firme. On distingue ainsi quatre principaux "stades" : "l'initiation". "l'engagement actif", "l'engagement définitif" et "la supranationalité". Chacun d'eux correspond à une "situation d'équilibre" donnée, ou toutes les variables du "système export" (potentiel, environnement, PCI, SDE, SIE et performances export) sont en "harmonie". La "rupture" de cet équilibre et la "réaction" du "système" pour retrouver l'harmonie perdue "peuvent" alors se solder par "le passage d'un stade a un autre". C'est ainsi qu'on explique le développement export, dont les "délais" et les "sentiers" (nombres et types de stades) tendent, par ailleurs, à dépendre de l'intensité et de la nature des déséquilibres des "systèmes".

Le marché mondial de produits pour la santé animale a brassé près de 15 milliards de dollars en 2005, notamment dans le segment d'animaux de compagnie, et il est disputé par de grandes entreprises multinationales qui sont généralement les filiales de grandes organisations exerçant leurs activités sur le marché de la santé humaine, qui investissent lourdement en recherche et développement et en actions de marketing. Dans ce contexte, la société Vallée se détache dans le marché brésilien, car elle est au nombre des cinq plus grandes entreprises du secteur. La stratégie de l'entreprise, définie au début des années 90, de spécialisation dans le marché bovin et dans la prévention de ses maladies, lui vaut aujourd'hui le leadership sur le marché de vaccins et de préparations injectables. Cette position privilégiée et l'évolution de son chiffre d'affaires supérieur à la moyenne du marché durant de nombreuses années, a amené l'entreprise à se préoccuper des mouvements de la concurrence et de l'ensembie de l'environnement concurrentiel, ce qui exigeait la mise en place d'un système efficace de veille de l'environnement concurrentiel. Afin de se prémunir contre les mouvements de la concurrence et de détecter de nouvelles opportunités de croissance, un modèle de système d'intelligence compétitive a été mis au point, à partir de 1999. L'un des soucis de Vallée, au long des années, a toujours été de mesurer ses résultats, et ce, grâce à l'intelligence compétitive. En l'absence d'un modèle universellement accepté pour cette évaluation, l'entreprise a adopté diverses initiatives pour ce faire. Nous proposons dans ce travail deux nouvelles manières de déterminer la valeur de l'intelligence compétitive pour les organisalions, l'une directe, l'autre indirecte.

Ces travaux portent sur la conception multidisciplinaire de systèmes intégrés. Ces systèmes sont soumis à un nombre d’exigences toujours croissant, entraînant des besoins en termes d’intégration fonctionnelle et spatiale. Ces différents types d’intégration relative au produit sont également la source d’une complexité organisationnelle, provenant à la fois de la multitude d’acteurs réalisant différentes activités d’ingénierie, mais également de la diversité des domaines impliqués, désignée dans ce manuscrit par « intégration multidisciplinaire ». Pour favoriser cette intégration multidisciplinaire, les phases de « conception préliminaire » et de « conception détaillée » ont été identifiées comme déterminantes, notamment car elles se caractérisent par la collaboration de nombreux experts, manipulant un grand nombre de données techniques de définition. Les systèmes conçus lors de conceptions multidisciplinaires restent faiblement intégrés. Cela est en partie dû au cloisonnement entre les disciplines et à un mode d’organisation projet basé sur une planification prédominante, caractérisé notamment par une diffusion de l’information principalement descendante (top-down). Afin d’assurer une meilleure collaboration entre ces différentes disciplines, de permettre des prises de décision éclairées par des indicateurs opérationnels et de pouvoir analyser et mieux comprendre les phénomènes d’intégration des expertises, l’introduction d’une méthode inspirée des principes fondateurs des méthodes agiles est proposée pour la conception collaborative de systèmes intégrés.La contribution de ces travaux s’appuie sur trois concepts complémentaires. Le premier, intitulé Collaborative Actions Framework correspond à un cadre de collaboration opérationnelle autour d’actions. Un des objectifs de ce framework est de faciliter la collaboration des acteurs des projets de conception, quelle que soit leur origine disciplinaire, mais également d’assurer une traçabilité entre les prises de décision et les corrections/modifications apportées sur les données techniques. Cette traçabilité est rendue possible grâce aux liens existants avec le second concept intitulé Workspace. Apportant un nouvel éclairage sur les possibilités offertes par la collaboration autour de ces espaces de collaboration, ce concept offre un certain nombre de possibilités,notamment la mise en commun continue des travaux, l’intégration multidisciplinaire et la validation des modifications. Les échanges de données techniques entre les workspaces, ou le travail simultané sur les mêmes données techniques, s’appuient quant à eux sur la possibilité de pouvoir gérer de façon parallèle différentes versions d’une même donnée technique. Ces possibilités sont proposées par le troisième concept, intitulé branch & merge, qui permet également à différents acteurs de travailler simultanément sur les mêmes données. Enfin, ces trois concepts sont ensuite illustrés par l’intermédiaire d’un démonstrateur composé d’un scénario et d’un prototype informatique. Un produit mécatronique, combinaison synergique et systémique de la mécanique, de l'électronique et de l'informatique temps réel, est utilisé afin d’illustrer les possibilités offertes par nos travaux en termes d'intégration multidisciplinaire lors de la conception collaborative
This work focuses on the multidisciplinary and collaborative design of integrated systems. These systems are subject to an ever increasing number of requirements, leading to the need for more comprehensive functional and spatial integration. These different types of product integration are also at the origin of organizational complexity. This complexity arises not only from the great number of actors performing various engineering activities but also from the diversity of disciplines involved (designated in this manuscript as “multidisciplinary integration”). To encourage this multidisciplinary integration, “preliminary design” and “detailed design” have been identified as the most significant steps, especially since they are characterized by the collaboration of multiple experts handling a large number of product definition’ technical data. Systems that have been designed thanks to multidisciplinary approaches are generally poorly integrated. This is partially due to the compartmentalization of disciplines, as well as to the “project-planned” method, where project planning is predominant and information is mainly spread out “top-down”. To ensure better cooperation between the various disciplines, to enable decision making based on operational indicators and to analyze and understand the multidisciplinary integration processes, a method inspired by the founding principles of agile methods (the agile manifesto) is proposed for the collaborative design of integrated systems. This work is based on three complementary concepts. The first is, the Collaborative Actions Framework, an operational framework for collaboration around actions. One objective of this framework is to improve the collaboration among designers, whatever their disciplinary origin. It also ensures traceability between decision making and corrections/changes made to technical data. This traceability is made possible by the useof the second concept, called Workspace. Even if this term is already well known, we propose a new definition/usage to transform it into collaboration spaces. This concept offers great possibilities, including the continuous delivering/sharing of experts’ contributions, multidisciplinary integration and change validation. The exchange of technical data between workspaces, or simultaneous work on the same data, relies on the ability to manage several parallel versions of the same item into a single datamanagement system. These opportunities are offered by the third concept, called Branch & Merge. Finally, these three concepts are illustrated through a scenario and a computer prototype. A mechatronic product, “the synergistic combination of mechanical and electrical engineering, computer science, and information technology” (Harashima et al., 1996), is used to illustrate the opportunities offered by our work in terms of multidisciplinary integration during collaborative design

L'étude présentée dans ce mémoire concerne le diagnostic des machines électriques à l'aide d'une association innovante entre la modélisation à évènements discrets, la Simulation Comparative et Concurrente (SCC) et les Réseaux de Neurones Artificiels (RNAs). Le diagnostic des machines électriques est effectué à partir d'une analyse temporelle des signaux statoriques et rotoriques à l'aide de réseaux de neurones de type Feed-Forward. Afin de comparer les différentes configurations de ces réseaux de neurones, l'approche proposée dans ce document utilise la simulation comparative et concurrente implémentée grâce au formalisme à évènements discrets DEVS (Discrete EVent system Specification). L'intégration des algorithmes de la SCC et des RNAs au sein du formalisme DEVS a été effectuée de manière générique et indépendamment du simulateur en développent des extensions et une librairie de modèles dans l'environnement de modélisation et de simulation à évènements discrets DEVSimPy. L'application de cette nouvelle solution pour le diagnostic des machines électriques permet de détecter les défauts à partir d'une architecture logiciel facilement portable sur des systèmes embarqués de type FPGA
This thesis deals with the time-domain analysis of the electrical machines fault diagnosis due to early short-circuits detection in both stator and rotor windings. It also introduces to the Discrete EVent system Specification (DEVS) a generic solution to enable concurrent and comparative simulations (CCS). The DEVS-based CCS is an extension introduced using an aspect-oriented programming (AOP) to interact with the classic DEVS simulator. A new DEVS-based artificial neural network (ANN) is also introduced with a separation between learning and calculation models. The DEVS-based CCS is validated on the proposed ANN DEVS library inside the DEVSimPy environment. The concurrent ANN contributes in the time-domains analysis for the electrical machine fault diagnosis. This new method is based on data coming directly from the sensors without any computation but with a new dedicated preprocessing technique. Later, some enhancements are brought to the artificial neural network based on a new multistage architecture reducing the training time and errors compared to the single ANN. The new architecture and techniques has been validated on real data sixteen non-destructive windings faults analysis and localization

Positionnée dans le domaine du Génie des Systèmes Industriels, notre recherche s’intéresse à l’intégration du facteur humain dans le processus de conception de produits et des systèmes de travail associés. A l’appui des connaissances, des méthodes et des outils spécifiques issues des disciplines Sciences pour l’Ingénieur et Sciences Humaines et Sociales, notre travail propose ainsi une méthodologie de conception centrée sur l’Homme favorisant l'articulation "Ergonomie – Conception", dès le début et tout au long du processus. Au cœur de cette méthodologie se situe une méthode de simulation numérique des Activités Gestuelles et Posturales Humaines à l’aide des mannequins numériques, véritables modèles 3D de l’Humain. Ainsi, à travers cette méthode et par le biais de l’outil associé, MANERCOS – Module d’ANalyse pour l’ERgonomie et la COnception des Systèmes, nous proposons une nouvelle manière de concevoir ou re-concevoir de produits/systèmes de travail qui favorise l’innovation par une meilleure prise en compte des caractéristiques de l’Humain : anthropométriques, biomécaniques,… Par une application à la conception de systèmes de travail, nous montrons en particulier comment la méthodologie proposée permet de dépister et d’évaluer certains facteurs de risques de Troubles Musculo-Squelettiques (TMS), dus notamment au travail, à la conception des outils, des postes de travail, etc. , et de contribuer ainsi à la prévention de ces maladies professionnelles en constante augmentation depuis plusieurs années. Plus précisément, la démarche proposée est à même de définir, tester, évaluer et valider, avec l'ensemble des acteurs métiers du processus de conception, des maquettes numériques de futurs systèmes de travail afin de pouvoir mieux les adapter aux futurs opérateurs, en termes de santé, sécurité, confort et efficacité au travail. Nous révélons ainsi les capacités et la richesse de l’outil MANERCOS, mais également la manière dont il doit évoluer pour encore mieux favoriser la coopération "ergonome – concepteur " au sein de la conception. En particulier, les nouvelles fonctionnalités apportées à ce mannequin numérique, couplées à une centrale de mesure de mouvements et d'efforts (Centrale CAPTIV) et en perspective à une plate-forme de réalité virtuelle vont permettre, par la prise en compte des Activités Gestuelles et Posturales, une meilleure évaluation et prédiction des risques d’apparition de Troubles Musculo-Squelettiques (TMS)
This research is positioned in the Industrial Engineering field and it is dealing with the human factor integration in the design process of products and associated work systems. Using the knowledge, methods and specific tools of two disciplines (Engineering Science and Social and Human Science), the research proposes a human-centered design methodology that is allowing a better “Ergonomics Analyse – Products Design” articulation, from the very beginning to last stage of process. At the heart of this methodology there is a numerical simulation method of Gestural and Posturales Activities of Human that is possible with the support of the numerical mannequins which are the 3D human models. So, this method and the MANERCOS associated tool permit us to propose a new way to design and re-design the products/work systems which allows the innovation by a better consideration of the human characteristics: anthropometrical, biomechanical etc… By the application to the work systems design, we show particularly how the proposed methodology allows to detect and to estimate some of the risk factors of Work Related Musculoskeletal Disorders (WRMD) resulting from the working conditions, the tools and workplaces design etc. , and how to contribute in this case to the prevention of the professional diseases in constant increase for several years. More specific, the proposed methodology bring together all the actors of design process to define, to test, to estimate and to validate the numerical mock-ups of future work systems, adapted to the future operators, in terms of health, safety, comfort and efficiency at work. So we reveal capacities and the effectiveness of the MANERCOS tool, but we also show the way to evolve it in order to make better the "ergonomist - designer" cooperation within the design process. Particularly, the new features brought to this numerical mannequin, coupled at a measure tool of movements and efforts (CAPTIV tool) and associated in prospect at a virtual reality platform, will permit a better evaluation and prediction of the risks of Work Related Musculoskeletal Disorders (WRMD), by taking into account the Gestural and Posturales Activities

La thèse s'inscrit dans une thématique générale reliée aux difficultés éprouvées par les organisations pour décrypter, comprendre et analyser les variations de leur environnement depuis l'explosion des échanges et la mondialisation des marchés. Nous débutons nos travaux par une double constatation, généralement admise par la littérature en sciences de gestion, à savoir que l'information est devenue en quelques années la matière première et le carburant essentiel de la chaîne de valeur de l'entreprise tandis que la maîtrise des informations émanant de l'environnement émerge, de plus en plus, comme un enjeu stratégique majeur pour l'organisation. Nos travaux se proposent de démontrer que, dans un contexte sans cesse plus turbulent, le processus décisionnel en entreprise doit savoir tenir compte des « signaux faibles » que délivre l'environnement. En effet, parmi l'ensemble des signaux reçus par l'organisation, la thèse distingue entre les « signaux forts » et les « signaux faibles » et montre leurs impacts différenciés sur la stratégie de l'entreprise ainsi que leurs conséquences, en termes organisationnels, sur la reconfiguration des processus au sein de la chaîne de valeur. L'objectif spécifique de la thèse est donc de chercher à reconnaître quelles sont les informations pertinentes que l'entreprise doit absolument traiter. Pour ce faire, nous examinons la façon dont certains signaux informationnels dit « signaux faibles » pénètrent et diffusent des connaissances nouvelles au sein de l'organisation. Dans un second temps, nous envisageons la manière dont ces connaissances peuvent impacter et moduler le format des processus de la chaîne de valeur. Dans un objectif plus global, notre thèse vise à poser les fonts baptismaux d'un management du processus décisionnel fondé sur l'observation, l'analyse et la compréhension des signaux faibles émis par le marché. En ce sens, nous postulons implicitement que le volume et la valeur des informations pertinentes dont peut disposer l'entreprise dépendent essentiellement de la capacité du management à piloter et à ajuster un double processus d'exploration et d'exploitation des informations délivrées par le signal faible. Les tentatives d'apprentissages, tant individuel que collectif, menées autour de la maîtrise du processus de gestion des signaux faibles se révèlent alors comme un enjeu majeur pour l'organisation confrontée à un environnement instable et difficilement probabilisable. Autrement dit, les signaux faibles sont de puissants vecteurs informationnels centripètes et des contributeurs indispensables à la formalisation et à l'exploitation des connaissances au sein de la chaîne de valeur. Les signaux faibles peuvent donc être considérés comme des informations d'essence anticipatoire qui sont, le moment venu, à l'origine de la reconfiguration des processus. La thèse insiste sur l'importance que doit prendre la gestion anticipative au sein des organisations. En effet, nous avons montré que la question de la gestion anticipative est directement reliée aux surprises que recèlent l'environnement de la firme. Le signal faible devient donc la clé informationnelle qui, à partir d'un évènement ou d'un état spécifique de l'environnement, permet de comprendre et d'anticiper le sens des perturbations à venir. La gestion anticipative de l'organisation se fonde alors prioritairement sur des informations pertinentes que l'organisation n'obtient qu'après avoir collecté, traité et analysé les signaux faibles décelés dans son environnement. Au-delà d'une simple vision statique de la recherche d'informations stratégiques, nous avons souhaité insister sur une vision dynamique de la valorisation des signaux faibles au sein de l'organisation. Dans un environnement mouvant, l'information « contextualisée » oxygène et fait respirer l'entreprise. L'exploitation des signaux faibles va, en outre, permettre de régler la fréquence respiratoire de l'organisation afin d'adapter les ressources et compétences de cette dernière aux différentes menaces ou opportunités spécifiques qui peuvent surgir dans son environnement. Au même titre ou sinon plus que le capital et le travail, l'information est devenue un facteur de production à part entière. En effet, issu d'un état instable de l'environnement, le signal faible est une information parcellaire qui présente la caractéristique de pouvoir potentiellement délivrer une charge informationnelle susceptible de venir renforcer la cognition et la cohérence de l'organisation. Dans l'avenir, nous espérons voir des travaux ultérieurs poursuivre dans cette voie de recherche afin de, peut être, mieux mesurer la réceptivité des entreprises au concept de gestion anticipative à partir des signaux faibles de l'environnement.

Els mètodes de verificació formal s'estan usant cada vegada més en la indústria per establir la correctessa i trobar els errors en models de sistemes; per exemple la descripció de hardware, protocols, programes distribuïts, etc. En particular, els verificadors de models ho fan automàticament per sistemes d'estats finits, per-o estan limitats degut al problema de l'explosió d'estats; i la verificació formal interactiva, l'àrea d'aquesta tesi, es necessita.

L'enfocament de la verificació automàtica treballa sobre el sistema de transicions del model, el qual defineix la seva semàntica. Aquest sistema de transicions té sovint molts estats, i sempre una mida gran comparada amb la mida del model del sistema, el qual és sempre infinit. Aquestes consideracions suggereixen un enfocament de verificació estàtica com els d'aquesta tesi, evitant els sistemes de transicions, treballant directament sobre el model del sistema, en principi, la complexitat computacional hauria de ser menor. L'enfocament estàtic d'aquest treball es fa sobre models de sistemes expressats en notació imperativa amb paral·lelisme explícit, sentències de comunicacions síncrones i variables d'emmagatzematge locals.

Els raonaments d'equivalència són molt empleats per números, matrius i altres camps. Tanmateix, per programes imperatius amb paral·lelisme, comunicacions i variables, encara que potencialment sigui un mètode de verificació molt intuïtiu, no han estat massa explorats. La seqüencialització formal via l'eliminació de comunicacions internes, l'àrea d'aquesta tesi, és una demostració basada en el raonament estàtic d'equivalències que, donat que disminueix la magnitud del vector d'estats, pot complementar altres mètodes de demostració. Es basa en l'aplicació d'un conjunt de lleis , apropiades per tal propòsit, com reduccions de reescriptura del model del sistema. Aquestes depenen de la noció d'equivalència i de les suposicions de justícia.

Aquesta tesi contribueix a la quasi inexplorada àrea de l'eliminació de comunicacions formal i seqüencialització de models de sistema. Les lleis estan definides sobre una equivalència feble: equivalència d'interfície. L'eliminació de comunicacions est-a limitada a models sense seleccions, per exemple models en els quals les comunicacions internes no estan dins de l'àmbit de sentències de selecció. Aplicacions interessants existeixen dins d'aquest marc. Les lleis són vàlides només per justícia feble o sense justícia. Aquesta ha estat desenvolupada seguint la semàntica proposada per Manna i Pnueli per a sistemes reactius [MP91, MP95]. S'han formulat les condicions d'aplicabilitat per les lleis de la pròpia eliminació de comunicacions. A més a més, es proposa un procediment de construcció de demostracions per l'eliminació de comunicacions, el qual intenta aplicar automàticament les lleis de la eliminació. També s'ha dissenyat un conjunt de procediments de transformació, els quals garanteixen que la transformació equivalent sempre correspon a l'aplicació d'una seqüència de lleis. Degut a que la construcció de les demostracions és impracticable, normalment impossible, sense l'ajuda d'una eina, s'ha desenvolupat un demostrador interactiu per la construcció semiautomàtica de la seqüencialització de models de sistemes i demostracions d'eliminació. Tant els procediments de transformació com els de l'eliminació de comunicacions estan integrats en l'eina. Amb l'ajuda del demostrador s'ha construït la demostració de seqüencialització d'un model, no trivial, de processador pipeline. Per aquest exemple s'ha assolit una reducció, respecte del model original, de la cota superior del nombre d'estats de 2−672.

Malgrat l'enorme quantitat d'esforç dedicat a l'àrea, abans i durant la tesi, encara queda molt treball per a que l'eliminació de comunicacions i la seqüencialització sigui realment un mètode pràctic. No obstant els resultats d'aquesta tesi han establert els fonaments i han donat l'estímul necessari per continuar l'esforç.
Los métodos de verificación formal se están usando cada vez más en la industria para establecer la corrección y encontrar los errores en modelos de sistemas; por ejemplo, la descripción de hardware, protocolos, programas distribuidos, etc. En particular, los verificadores de modelos lo hacen automáticamente para sistemas de estados finitos, pero están limitados debido al problema de la explosión de estados; y la verificación formal interactiva, el área de esta tesis, es necesaria.

El enfoque de la verificación automática trabaja sobre el sistema de transiciones del modelo, el cual define su semántica. Este sistema de transiciones tiene a menudo muchos estados, y siempre un tamaño grande comparado con el tamaño del modelo del sistema, el cual es siempre infinito. Estas consideraciones sugieren un enfoque de verificación estática como los de esta tesis, evitando los sistemas de transiciones, trabajando directamente sobre el modelo del sistema, en principio, la complejidad computacional tendría que ser menor. El enfoque estático de este trabajo se lleva a cabo sobre modelos de sistemas expresados en notación imperativa con paralelismo explícito, sentencias de comunicaciones síncronas y variables de almacenamiento locales.

Los razonamientos de equivalencia son muy empleados para números, matrices y otros campos. Sin embargo, para programas imperativos con paralelismo, comunicaciones y variables, aún teniendo la potencialidad de ser un método de verificación muy intuitivo, no han sido muy explorados. La secuencialización formal vía la eliminación de comunicaciones internas, el área de esta tesis, es una demostración basada en el razonamiento estático de equivalencias que, ya que disminuye la magnitud del vector de estados, puede complementar otros métodos de demostración. Se basa en la aplicación de un conjunto de leyes, apropiadas para tal propósito, como reducciones de reescritura del modelo del sistema. Éstas dependen de la noción de equivalencia y de las suposiciones de justicia.

Esta tesis contribuye a la casi inexplorada área de la eliminación de comunicaciones formal y secuencialización de modelos de sistema. Las leyes están definidas sobre una equivalencia débil: equivalencia de interfaz. La eliminación de comunicaciones está limitada a modelos sin selecciones, por ejemplo modelos en los cuales las comunicaciones internas no están dentro del ámbito de sentencias de selección. Aplicaciones interesantes existen dentro de este marco. Las leyes son válidas sólo para justicia débil o sin justicia. Ésta ha sido desarrollada siguiendo la semántica propuesta por Manna y Pnueli para sistemas reactivos [MP91, MP95]. Se han formulado las condiciones de aplicabilidad para las leyes de la propia eliminación de comunicaciones. Además, se propone un procedimiento de construcción de demostraciones para la eliminación de comunicaciones, el cual intenta aplicar automáticamente las leyes de la eliminación. También se ha diseñado un conjunto de procedimientos de transformación, los cuales garantizan que la transformación equivalente siempre corresponde a la aplicación de una secuencia de leyes. Debido a que la construcción de las demostraciones es impracticable, normalmente imposible, sin la ayuda de una herramienta, se ha desarrollado un demostrador interactivo para la construcción semiautomática de la secuencialización de modelos de sistemas y demostraciones de eliminación. Tanto los procedimientos de transformación como los de la eliminación de comunicaciones están integrados en la herramienta. Con la ayuda del demostrador se ha construido la demostración de secuencialización de un modelo, no trivial, de procesador pipeline. Para este ejemplo se ha logrado una reducción, respecto del modelo original, de la cota superior del número de estados de 2−672.

A pesar de la enorme cantidad de esfuerzo dedicado al área, antes y durante esta tesis, todavía queda mucho trabajo para que la eliminación de comunicaciones y la secuencialización sea realmente un método práctico. Sin embargo los resultados de esta tesis han establecido los cimientos y han dado el estímulo necesario para continuar el esfuerzo.
Formal verification methods are increasingly being used in industry to establish the correctness of, and to find the flaws in, system models; for instance, descriptions of hardware, protocols, distributed programs, etc. In particular, model checking does that automatically for finite-state systems, but it is limited in scope due to the state explosion problem; and interactive formal verification, the broad area of this thesis, is needed.

Automatic verification approaches work on the transition system of the model, which defines its semantics. This transition system has often infinitely many states, and always a large size compared to the size of the system model, which is always finite. These considerations suggest that static verification approaches such as those of this thesis, avoiding the transition system, working directly on the system model would have less computational complexity, in principle. The static approach of this work is carried out on system models expressed in imperative notations with explicit parallelism and synchronous communication statements, and with local storage variables.

Equivalence reasoning is heavily used for numbers, matrices, and other fields. However, for imperative programs with parallelism, communications, and variables, although having the potentiality of being a very intuitive verification method, it has not been much explored. Formal sequentialization via internal communication elimination, the area of this thesis, is a static equivalence reasoning proof that, since it decreases the size of the state vector, could complement other proof methods. It is based on the application of a set of laws, suitable for that purpose, as rewriting reductions to a system model. These proofs need both proper communication elimination laws and auxiliary basic laws. These depend on the notion of equivalence and on the fairness assumptions.

This thesis contributes to the almost unexplored area of formal communication elimination and system model sequentialization. The laws are defined over a weak equivalence: interface equivalence. Communication elimination is confined to selection-free models, i.e. models none of whose inner communications are within the scope of selection statements. Interesting applications already exist within this framework. The laws are valid only with weak fairness or no fairness. It has been developed following the same semantics as Manna and Pnueli for reactive systems [MP91, MP95]. Applicability conditions for the proper communication elimination laws are derived. In addition, a communication elimination proof construction procedure, which attempts to apply the elimination laws automatically is proposed. A set of transformation procedures, guaranteeing that the equivalence transformation always corresponds to the application of a sequence of laws have been designed as well. Since the construction of elimination proofs is impractical, even impossible, without a tool, an interactive prover for semi-automatic construction of system model sequentialization and elimination proofs has been developed. Both transformation and communication elimination procedures are integrated within the tool. As a non-trivial example, a sequentialization proof of a pipelined processor model, has been constructed with the help of the prover. A
reduction, with respect to the original model, of 2−672 on the upper bound on the number of states has been achieved in this example.

In spite of the huge amount of effort already devoted to the area, before and during this thesis, much work still needs to be done until communication elimination and sequentialization become a practical method. Nevertheless the results of this thesis have established its foundations and given the necessary encouragement for continuing the effort.

Les règles, les lois et les institutions qui encadrent les télécommunications en Amérique du Nord ont subi d'importantes transformations depuis les trente dernières années. Elles sont passées d'un régime monopolistique à un régime basé sur la promotion de la concurrence. Les États-Unis, le Canada et le Mexique ont transformé les cadres de leurs télécommunications selon le modèle concurrentiel pour des raisons différentes. Les États-Unis ont adopté et exercé des pressions pour diffuser le modèle concurrentiel dans l'objectif de profiter de leur avantage dans le domaine des télécommunications et d'améliorer la compétitivité de l'économie américaine. Le Canada voulait conserver ses avantages compétitifs et sécuriser l'accès au marché américain. Le Mexique désirait développer et moderniser son secteur des télécommunications et stimuler son économie. Les impacts des transformations sur la structure du secteur des télécommunications, c'est-à-dire l'évolution des prix des services et la concentration des parts des marchés en oligopoles, remettent en doute la capacité du nouveau régime à créer une véritable concurrence dans les télécommunications en Amérique du Nord. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Télécommunications, Régime, Concurrence, Libéralisation.

Des investissements colossaux ont été réalisés dans le domaine des technologies de l'information (TI) depuis une trentaine d'années sans que ni praticiens ni chercheurs puissent se mettre d'accord sur leur efficacité et leur rentabilité. Notre objectif est de mieux comprendre comment les capacités TI/SI peuvent contribuer à l'avantage concurrentiel et à la performance. A cette fin, nous avons réalisé et comparé quatre études de cas approfondies chez des courtiers d'assurance vie en France, Nous utilisons des concepts des perspectives de la ressource et de l'alignement comme outils théoriques. Les principaux résultats de notre recherche sont les suivants. Les capacités TI/SI contribuent positivement à l'avantage concurrentiel de façon surtout indirecte à travers les sous-systèmes des capacités opérationnelles et des capacités stratégiques, tous deux influencés par le sous-système des capacités dynamiques. Mais cet apport peut aussi être positif et direct dans certains cas. Il peut même se révéler nul ou négatif dans certaines circonstances. Les différentes capacités des TI/SI contribuent de façon assez homogène à l'avantage concurrentiel, mais plus à sa création qu'à son soutien. Le concept de capacité stratégique élargit celui de compétence clé en prenant en compte les actifs physiques et permet de mieux rendre compte de la contribution des TI. L'avantage concurentiel peut être vu sous un angle théorique ou managérial. Notre analyse inter cas fait apparaître qu'en considérant l'avantage concurrentiel non de façon binaire mais en fonction de son degré et son étendue, on peut réconcilier les deux points de vue. Notre recherche, après d'autres, répond à certaines critiques adressées à la théorie de la ressource et démontre celle-ci comme très complémentaire de la théorie de l'alignement pour expliquer la contribution des TI/SI. Nous en dégageons notamment le concept de multialignement dynamique des capacités qui est en lui-même une capacité et joue un rôle différenciant entre firmes. Nous parvenons finalement à un modèle et à une théorie explicatifs de la façon dont les capacités TI/SI peuvent produire une contribution stratégique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Capacités opérationnelles, Capacités dynamiques, Capacités stratégiques, Avantage concurrentiel, Alignement, Technologies de l'information, Systèmes d'information, Stratégie, Assurance vie, Distribution, France.

Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. l'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.