Doctorat en sciences psychologiques / info:eu-repo/semantics/nonPublished

Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas la seule exigence, il doivent de surcroît être produits dans un intervalle de temps borné. Connaître le pire cas de temps d’exécution (WCET - Worst Case Execution Time) est nécessaire, et garantit que le système répond à ses contraintes de temps. Pour obtenir des estimations de WCET précises, des annotations sont nécessaires. Ces annotations sont généralement ajoutées au niveau du code source, tandis que l’analyse de WCET est effectuée au niveau du code binaire. L’optimisation du compilateur est entre ces deux niveaux et a un effet sur la structure du code et annotations. Nous proposons dans cette thèse une infrastructure logicielle de transformation, qui pour chaque optimisation transforme les annotations du code source au code binaire. Cette infrastructure est capable de transformer les annotations sans perte d’information de flot. Nous avons choisi LLVM comme compilateur pour mettre en œuvre notre infrastructure. Et nous avons utilisé les jeux de test Mälardalen, TSVC et gcc-loop pour démontrer l’impact de notre infrastructure sur les optimisations du compilateur et la transformation d’annotations. Les résultats expérimentaux montrent que de nombreuses optimisations peuvent être activées avec notre système. Le nouveau WCET estimé est meilleur (plus faible) que l’original. Nous montrons également que les optimisations du compilateur sont bénéfiques pour les systèmes temps-réel. / Real-time systems have become ubiquitous, and play an important role in our everyday life. For hard real-time systems, computing correct results is not the only requirement. In addition, the worst-case execution times (WCET) are needed, and guarantee that they meet the required timing constraints. For tight WCET estimation, annotations are required. Annotations are usually added at source code level but WCET analysis is performed at binary code level. Compiler optimization is between these two levels and has an effect on the structure of the code and annotations.We propose a transformation framework for each optimization to trace the annotation information from source code level to binary code level. The framework can transform the annotations without loss of flow information. We choose LLVM as the compiler to implement our framework. And we use the Mälardalen, TSVC and gcc-loops benchmarks to demonstrate the impact of our framework on compiler optimizations and annotation transformation. The experimental results show that with our framework, many optimizations can be turned on, and we can still estimate WCET safely. The estimated WCET is better than the original one. We also show that compiler optimizations are beneficial for real-time systems.

Ce travail de thèse vise à proposer les analyses formelles de phénomènes langagiers, tels que le système casuel, le double cas, la flexibilité de l'ordre des mots, la coordination, la subordination et la thématisation, dans deux langues structurellement très distinctes : le coréen et le français. Le choix théorique s'est porté sur le formalisme de la Grammaire Catégorielle Combinatoire Applicative, développée par Jean-Pierre Desclés et Ismail Biskri, en mettant en œuvre les combinateurs de la Logique Combinatoire de Curry et le calcul fonctionnel des types de Church. Le problème à résoudre est le suivant : en prenant une langue « à cas » comme le coréen, avec les constructions « à double cas » et la flexibilité dans l'ordre des mots, spécifiques à certaines langues extrêmes orientales, cette langue est-elle analysable avec un formalisme catégoriel et selon quelle stratégie de calcul ? Nous donnons un certain nombre d'exemples qui répondent à cette question. Les analyses formelles proposées dans ce travail permettent ensuite d'examiner la pertinence syntaxique de l'hypothèse « anti-anti relativiste » en dégageant certains invariants syntaxiques à partir des opérations de prédication, de détermination, de transposition, de quantification et de coordination. Nous proposons également un analyseur catégoriel, ACCG, applicable au coréen et au français, qui permet d'engendrer, de façon automatique, les calculs catégoriels, ainsi que les structures opérateur/opérande. / This dissertation aims at proposing the formal analysis of the linguistic phenomena, such as the case system, the double case, the flexible word order, the coordination, the subordination and the thematisation, in the two structurally distinct languages: Korean and French. The formalism of Applicative Combinatory Categorial Grammar, developed by Jean-Pierre Desclés and Ismail Biskri, allow us to analyze these problems by means of the combinators of the Combinatory Logic of Curry and the functional calculus of the Church's types. By taking account of these formal analysis applied to Korean and to French, we discuss on the « anti-anti relativist » hypothesis by finding some syntactic invariants from the different operations such as the predication, the determination, the quantification, the transposition and the coordination. We propose also a categorial parser, ACCG, applicable to Korean and French sentences, which generates automatically categorial calculus and the operator-operand structures.

Réalisée dans le cadre d’un contrat CIFRE, cette thèse étudie la construction, l’appropriation et les effets de la politique d’égalité professionnelle entre les femmes et les hommes chez Orange. Mobilisant la perspective appropriative des dispositifs de gestion enrichie par le concept de logiques institutionnelles, ce travail repose sur un matériau riche et varié : entretiens, données RH, séquences d’observation, documents internes, notamment. Nous montrons que la coexistence de plusieurs conceptions de l’égalité professionnelle au sein de l’entreprise structure fortement l’application de la politique au niveau local, mais également sa construction, qu’il s’agisse de l’accord d’entreprise ou de la politique non négociée. L’analyse conjointe de l’application de la politique et de ses effets, permise par la combinaison de matériaux et de méthodes qualitatifs et quantitatifs, nous donne de plus l’opportunité de comprendre les effets quantifiables (ou l’absence d’effets quantifiables) d’une mesure à l’aune de la manière dont elle est appliquée au niveau local. Nous mettons enfin en exergue les spécificités de la négociation sur l’égalité professionnelle par rapport à d’autres négociations, dues notamment à la transversalité de l’égalité professionnelle à de nombreux processus RH ; et nous soulignons l’importance de la coexistence et de l’articulation de l’accord d’entreprise et de la politique non négociée sur l’égalité professionnelle. / This thesis, written while working under a CIFRE contract, studies the construction, the implementation and the effects of the gender equality policy at Orange. Using the appropriative perspective of management tools enriched by the concept of institutional logics, this work is based on various data, in particular: interviews, HR data, observations, internal documents. We show that the coexistence of various conceptions of gender equality within the company strongly affects the implementation of the gender equality policy within the entities, but also its construction, for both the collective bargaining agreement and the non-negotiated policy. The joint analysis of the implementation and of the effects of the policy, made possible by a mixed-method design, allows us to understand the quantifiable effects (or the absence of quantifiable effects) of a measure according to the way it is implemented within the entities. We underline the specificities of the collective bargaining about gender equality, notably due to the fact that gender equality cuts across various HR processes. Finally, we show the importance of the coexistence and articulation of the collective bargaining agreement and non-negotiated gender equality policy.

Face aux changements de l’environnement et Face à la dynamique de la concurrence, de nouvelles formes d’organisation apparaissent pour répondre à ces nouveaux défis. Ces organisations suggèrent de nouveaux modes de management basés sur le travail en commun dans le cadre de réseaux ou de coopérations entre ces établissements. La thèse est consacrée à l’étude de la coopération inter-organisations sous l’angle d’un processus mobilisant différents facteurs. Le but de la recherche est de construire un cadre théorique d’appréhension de la coopération et d’apporter une vision systémique sur le processus d’émergence de la coopération. Un des grands champs possibles, le thème de l’innovation revient régulièrement. C’est pour cette raison que la dernière partie de ce travail propose une démarche pour la mise en place de coopérations entre des plates-formes dédiées aux phases amont de l’innovation. Ce projet associe territoire, université et entreprise / Due to the changes on the competing environment and its dynamics, new organization ways have been developed to face these new challenges. These practices suggest other kinds of management based on joint work within the framework of companies’ networks or cooperation between establishments. This thesis treats the study of inter-organizational cooperation under the angle of a process between various factors. The aim of this research is to build a theoretical framework of cooperation apprehension and to provide a systemic vision on the process of cooperation emergence. One of the large research fields that are continuously present during inter-establishments cooperation is innovation. For this reason, the last part of this work proposes the first of a set of steps needed to develop inter-platforms cooperation during the upstream phase of innovation. This project associates territories, universities and companies

Un système embarqué est un système électronique et informatique autonome dédié à une tâche précise. Dans le secteur de l’automobile, le nombre de systèmes embarqués dans les voitures a considérablement augmenté au cours de ces dernières années et va certainement continuer à augmenter. Ces systèmes sont dédiés entre autres, à la sécurité, au confort de conduite,et à l’assistance à la conduite. Cette croissance des systèmes est associée avec une croissance en taille des logiciels qui les contrôlent. En conséquence, leur gestion(système et logiciel) devient de plus en plus complexe et problématique. Par ailleurs, la concurrence dans le secteur automobile est très féroce et les temps de mise sur le marché sont de plus en plus courts. Ainsi, pour garantir le bon fonctionnement des systèmes en général et du logiciel en particulier, étant donné leur complexité,et aussi les délais courts de mise sur le marché des produits automobiles, de nouvelles méthodes de développement doivent être considérées. Ainsi, de nombreuses méthodes de développement, incluant de nouveaux standards (de développement) et approches automatiques ont émergé au cours de ces dernières années. Dans le cas particulier de la vérification et validation de logiciel, une des activités critiques qui a connu une avancée significative est la génération de cas de test, avec l’avènement d’approches automatiques.Malgré cela, ces approches peinent souvent à s’imposer en milieu industriel. Une des raisons est que celles ci sont souvent peu adaptées ou peu utilisées dans un contexte industriel.Dans ce contexte, cette thèse vise à proposer une approche de vérification et de validation de logiciels embarqués, basée sur la génération automatique de cas de test. Pour cela, nous avons mis en place une approche permettant de représenter sous forme de modèles abstraits les spécifications d’un logiciel, puis de générer à partir de ces modèles un ensemble de cas de test en considérant en particulier le critère de couverture MC/DC. / An embedded system is a system that performs a specific task and has a computer embedded inside. In the automotive sector, the amount of embedded systems in the vehicle has risen dramatically in recent years and is set to increase. They deal essentially with safety, comfort, and driving assistance. Furthermore, the increase in number and complexity of the systems is associated with a growth in software. As a consequence, their management (system and software) have become more and more complex and problematic. Also, the competition and time-to-market in the automotive industry are very tough. Thus, to guarantee the efficiency and reliability of the embedded systems in the vehicle in general and the software in particular, in view of the complexity as well as the competition and time-to-market law, new development methods should be considered. Therefore, new development methods including new standards, and automatic approaches have emerged over the last years. In the particular case of embedded software verification and validation, one of the most critical activities that has experienced a significant progress is test case generation with the advent of automatic approaches. Despite this, these approaches are not widely used or are not well adapted in industrial context. In that context, our goal in this PhD. thesis is to propose a new verification and validation approach, based on automatic test case generation of embedded embedded. Thus, we have set up an approach that automatically generates test cases, with respect to the MC/DC criterion, from abstract models of the software specifications expressed in the form of state-transition models.

Notre recherche qualitative, une étude de cas en communication de crise, dresse le portrait de la marée noire dans le golfe du Mexique durant l’été 2010. La recherche est ancrée sur le modèle de l’Image Repair Theory (IRT) de W.L. Benoit, bonifié de contributions d’autres auteurs, afin d’étudier les stratégies de communication de crise utilisées par British Petroleum America (BP). En scrutant la version Web de quotidiens d’information et le site Internet de BP, nous avons identifié 176 citations officielles que nous avons cataloguées grâce à une analyse de contenu basée sur la Théorie de la narration de Nicole D’Almeida. La description de ce cas réel et l’analyse des stratégies de communication de crise de BP confirment l’adaptabilité de l’IRT bonifiée (IRTB) aux conditions de l’étude et au contexte propre à la crise. L’IRTB a facilité l’interprétation et l’indexation des six stratégies de communication de crise utilisées par BP afin de défendre, promouvoir ou réparer sa réputation.

Les pays membres de l'UEMOA ont, à partir des expériences inachevées de précédentes tentatives d'intégrations, ont décidé, au lendemain de la dévaluation du Franc CFA, de se retrouver dans une nouvelle organisation d'intégration, L'union Economique et Monétaire Ouest Africaine (UEMOA). Dans cette Nouvelle, ils entendent allier une politique économique et monétaire pour bâtir une intégration dans le cadre d'un Marché commun ouvert et concurrentiel. Mais les politiques économiques mis en oeuvre dans le cadre de ce marché commun n'arrivent pas à donner les résultats escomptés. L'objet de notre étude est de comprendre les raisons de cet échec relatif alors que c'est le socle même sur lequel le processus a été bâti. Y'a t'il pas une difficulté résultant de la nature du processus engagé? une intégration par le marché dans un espace qui ne dispose pratiquement pas de marché susceptible de générer les effets attendus de création de commerce et d'amélioration de la situation économique des pays? Ou une économie de marché dans un espace dans lequel tous les Etats ont les mêmes industries, les mêmes produits au lieu d'avoir des industries différentes pouvant réaliser des économies d'échelle par l'effet de commerce qui se crée avec le processus d'intégration porté par le désarmement douanier et l'uniformisation de la fiscalité intérieure communautaire. Par ailleurs, ce qui est une autre préoccupation, la politique économique et fiscale de l'Union peut 'elle être conduite en dehors des orientations monétaires qui sont toujours conçues et mises en oeuvre dans le cadre d'institutions indépendantes. D'un coté les Etats qui conçoivent la politique économique, de l'autre la commission qui définie les objectifs de convergence économique et, enfin, une autre institution, l'institution monétaire régie encore par les textes de l'UMOA de Novembre 1973 qui définit et conduit la politique monétaire. C'est une réponse à ces questions voudraient s'atteler notre thèse. / African countries, members of the West African Economic and Monetary Union (WAEMU), have agreed in their treaty, in particular article 4, to build an economic and monetary union. To this end, the Union has aimed at strengthening the competitiveness of the economic and financial activities of the Member States in an open and competitive market and a rationalized and harmonized legal environment. It also intended to ensure the convergence of the performance and economic policies of the Member States through the institution of a multilateral surveillance procedure. In implementing these objectives, the States of the Union have established among themselves: the pact of convergence and stability, Growth and Solidarity in December 1999. This integration tool, despite numerous adjustments at different stages of its renewal has not yet made it possible to achieve the desired economic convergence. The aim of our study is to examine the economic environment of the Member States in an attempt to understand the reasons for this Community economic underperformance. Have the proposed ratios been elaborated according to the economic realities of the integration area or are they rather a theoretical vision that does not focus on the economic realities of the member states of the Economic and Monetary Union? How to perform these ratios in order to impulse real development of the west Africa, that is the objective of this these.

No description available.

No description available.