Cette étude porte sur la conformité environnementale, une politique juridique au service de la performance globale de l’entreprise. Il s’agira de démontrer que les réglementations environnementales et les normes environnementales volontaires auxquelles tentent de se conformer les entreprises et les États, peuvent améliorer à la fois leur protection de l’environnement, leur compétitivité, et dans une certaine mesure leur performance sociale. Cette conformité environnementale a pris un essor particulier depuis les grands phénomènes économiques induits par la mondialisation. La mondialisation se caractérise depuis les années 1970 par l’avènement d’une économie de marché ouverte dans laquelle les entreprises circulent librement d’un pays à un autre. Cette économie repose notamment sur le libre-échange des biens, des services, des technologies, des capitaux, ainsi que sur libre circulation des entreprises elles-mêmes. La mondialisation se caractérise également, du fait de l’ouverture de cette économie, par la mise en concurrence des États et des entreprises à l’échelle internationale. Ce phénomène économique de la mondialisation a toutefois entraîné une dégradation majeure de l’environnement au fil des années. Afin de répondre à ces différents enjeux, les États ont mis en place des mécanismes réglementaires ainsi que des mécanismes volontaires de protection de l’environnement destinés à encadrer les activités des entreprises, qui forment le socle de la politique juridique de conformité environnementale menée par ces entreprises. Les entreprises tentent alors de s’adapter à ces mécanismes juridiques afin de mieux protéger l’environnement, mais aussi afin de devenir plus compétitives. / The aim of the thesis consists of wondering how companies lead their legal politics to get a global performance. In other words, it will be advisable to demonstrate that environmental regulations and voluntary environmental standards which companies and States try to conform, can improve at the same time their environmental protection, their competitiveness, and to a lesser extent their social performance. This environmental compliance has taken a particular development since the big economic phenomena led by the globalization. The globalization is characterized since the 1970s by the advent of an opened market economy in which companies circulate freely from a country to another. This economy is particularly based on free trade of properties, services, technologies, capital, as well as on free circulation of companies themselves. But globalization had led to a serious environmental degradation. In order to meet these challenges as operationally as possible, countries have put regulations and voluntary standards with a view to regulating firms’ activities, that form the basis of a environmental compliance legal policy undertaken by these companies. These companies are trying to adapt to those legal mechanisms in order to better protect the environment, but also to become more competitive.

Depuis le modèle de référence développé par Allingham et Sandmo (1972), les problèmes liés à la fraude fiscale et particulièrement au lien entre les raisons de conformité fiscale et le montant du revenu déclaré ont été souvent étudiées. La décision du contribuable dépend essentiellement du montant de son revenu réel, du taux d'imposition fiscale, de la probabilité de contrôle, du montant des amendes infligées en cas de détection. Mais d'autres paramètres plus psychologiques qu'économiques sont aussi tenus en compte à savoir le climat social auquel le contribuable évolue, l'utilisation de leurs cotisations par le gouvernement, les normes sociales, ou tout simplement la conscience du devoir fiscal pour le financement des biens publics et du civisme fiscal. Ces faits ne sont essentiellement pas tenus en compte dans un pays en développement comme Madagascar. La fraude fiscale est liée à l'incapacité de l'administration fiscale à assurer pleinement le système de contrôle par manque de moyens et des phénomènes comme la corruption, la présence accrue du secteur informel, l'influence des décideurs politiques. Les études empiriques ont montré que la Taxe sur la Valeur Ajoutée (TVA) reste l'impôt le plus fraudé par les contribuables et que les pertes annuelles pour cause de fraude fiscale sont exorbitantes, avec un montant total avoisinant les 203 millions d'€ de 2007 à 2009 dans les centres enquêtés. / Since the reference model was developed by Allingham and Sandmo (1972), the problems linked ta tax evasion and particularly ta the relationship between the reasons for tax compliance, and the amount of declared income have often been studied. The taxpayer's decision depends primarily on the amount of his real income, on the tax rate, on the probability of control and on the amount of the fines in the case of identified fraud. However, other parameters more psychological than economical arc also taken into account ta identify the social climate in which the taxpayer evolves, the use of their tax contributions by the government, the social norms, or simply the awareness of the duty taxes in order ta support public projects and fiscal public­spiritedness. These facts have not yet been taken into consideration in developing countries like Madagascar. Tax evasion is linked to the incapacity of tax authorities to ensure full control of the system due to a lack of means as well as phenomena such as com1ption, the increasing presence of the informal sector and the influence of the political decision makers. Empirical studies have shown that Value-Added Tax remains the most defraudcd tax by taxpayers and that the annual lasses due to tax evasion are exorbitant, totaling around € 203 million from 2007 to 2009 in the centers participating in the survey.

L'industrie manufacturière produit de plus en plus de produits différents avec un plus faible volume, ce qui fait considérablement augmenter la variabilité du procédé. Cette variabilité rend le maintien de la qualité des produits plus ardu qu'auparavant. L'industrie du textile ne fait pas exception à la règle. Par exemple, dans ce mémoire, le partenaire industriel, Duvaltex a tenté de contrôler leur non-conformité en ce qui concerne la couleur des pièces de tissu teint en mettant en place une règle d'affaire. En utilisant des données historiques fournies par l'entreprise, des modèles prédictifs ont été développés afin de pouvoir aiguiller la stratégie de test. La performance de ces modèles a été comparée à celle de leur règle d'affaires. Le modèle des forêts aléatoires améliore de 12% (taux de faux négatifs) la performance de leur règle qui était en place. Également, les modèles proposés permettent à Duvaltex de choisir le nombre de tests qu'ils souhaitent effectuer en fonction de leur budget ainsi que du nombre de pièces non conformes qu'ils sont prêts à tolérer.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Nombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour sense-compute-control, est particulièrement adapté à la description de ces applications. Le développement d'applications suivant ce paradigme est complexe à cause du manque de cadre conceptuel et d'outils de support.Cette thèse propose un cadre conceptuel dédié au paradigme SCC et se concrétise par un langage de description d'architectures. À partir d'une description dans ce langage, un framework de programmation peut être généré. Il guide l'implémentation d'une application grâce à un support dédié et vérifie que cette implémentation est conforme à l'architecture décrite. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité. / Numerous applications have, as their main behavior, to wait for information coming from a foreign environment, to prepare a result, and to execute actions on this environment. Graphical user interfaces and avionic systems are two examples. The SCC paradigm, for Sense–Compute–Control, is dedicated to the description of such applications. Developing applications with this paradigm is made difficult by the lack of conceptual framework and tool support.This thesis proposes a conceptual framework dedicated to the SCC paradigm which is materialized by an architecture description language named DiaSpec. This language provides a framework to support the development of an SCC application, assigning roles to the stakeholders and providing separation of concerns. This thesis also proposes dedicated programming support. Indeed, from DiaSpec descriptions a dedicated programming framework is generated in a target language. This programming framework guides the implementation of an SCC application and raises the level of abstraction of this implementation with both high-level and dedicated mechanisms. This programming framework is designed to ensure conformance of the implementation to its architecture described in DiaSpec by leveraging the target language type system. Contributions of this thesis are evaluated through three criteria: expressiveness, usability and productivity.

Dans le contexte économique et compétitif actuel, ce qui permet aux entreprises de se distinguer c'est leur réactivité à fournir des produits de plus en plus complexes sen répondant à des besoins toujours plus diversifiés. Pour faire face à cette exigence de réactivité et malgré ces contraintes, les approches d'ingénierie intégrée sont apparues pour une meilleure gestion du cycle de vie des produits. Dans ce contexte la prise en compte des variabilités et leurs interdépendances a été démontrée comme étant indispensable à l'amélioration des performances (coût, risque, qualité, …). Ce travail de thèse est consacré à l'élaboration d'un plan d'inspection optimal pour : la maîtrise de ces variabilités et leurs effets sur le comportement du produit, l'usage et les fonctionnalités de celui-ci. Pour cela un cadre méthodologique pour la co-conception des activités de contrôles de conformités et celles de suivi de fabrication a été formalisé. Ce cadre permet une prise de décision opérationnelle grâce à l'utilisation des outils opérationnels et assure la satisfaction des objectifs stratégiques (réduction des coûts, amélioration de la qualité, augmentation de la productivité, …). Suite à une synthèse approfondie de la littérature relative à la planification la qualité et de l'amélioration (conjointe) de la performance, les outils AMDEC, KC flowdown, et Activity Based Costing (ABC) ont été retenus. Cependant ces outils présentent certains manques à combler et ont fait donc l'objet de certaines modifications (adaptations) pour convenir au mieux aux besoins du cadre méthodologique proposé. L'intégration d'AMDEC et de KC flowdown a abouti à un nouvel outil nommé ACDE (Analyse de la Causalité, des Défaillances, et leurs Effets). Ainsi l'adaptation d'ABC à l'estimation de coût de la qualité par « Quality-Driven ABC » a été proposée. L'application de ces derniers a été proposée dans le cadre de la planification d'inspection « au juste nécessaire ». / In the current economic and competitive environment, what distinguish the companies is their reactivity to provide increasingly complex products with increasingly diverse needs. To achieve this reactivity despite constraints, integrated engineering approachs have been emerged to better manage and organize the product life cycle. In this context, it is essential to take into account the characteristics' variations and their interdependencies to improve the performance (cost, risk, quality ...). This thesis was devoted to the generation of an optimal inspection plan including process variations monitoring and product variations control. A methodological framework for the co-conception of product control and process monitoring activities has been formalized and validated. This framework allows operational decision-making by the intervention of operational tools and ensures the satisfaction of strategic objectives (cost reduction, improved quality, increased productivity ...). FMEA, KC flowdown, and Activity Based Costing (ABC) were selected following a comprehensive literature review on quality planning and performance improvement. However, these tools present some lack to fill up and therefore are subjected to certain adaptations in order to best fit the needs of the proposed methodological framework. Integration of FMEA and KC flowdown resulted in a new tool called ACDE. As well the adaptation of ABC to estimate the cost of quality by "Quality-Driven ABC" was proposed. The application of these latter has been proposed to limit the inspection planning to “bare essentials activities.

Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests : les tests exécutables pour une cible technologique et les tests abstraits qui sont indépendants de la technologie. Nos travaux portent sur deux points. <br />Le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil Tobias a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en cas de test abstraits, puis concrétiser ces cas de test. <br />Malheureusement, les principes du langage de schéma de tests entraînent un problème d'explosion combinatoire du nombre de tests. Nous proposons donc diverses approches pour, d'une part, mieux contrôler le nombre de tests produits et, d'autre part, optimiser le temps d'exécution des tests. <br />Ces diverses techniques ont pu être intégrées à l'outil Tobias, nous permettant de réaliser deux études de cas afin de valider notre approche.

L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests les tests exécutables pour une cible technologique, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. Nos travaux portent sur deux points. le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil TObiAs a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori.

Contribution à la définition d'actions de prévention et la pérennisation de la prévention des risques professionnels dans les PME-PMI Les recherches concernant la performance en matière de santé et de sécurité au travail dans les petites et moyennes entreprises (PME) sont relativement récentes( postérieures aux années 1990.Bien qu'elles soient très hétérogènes, tant surt le plan des méthodes que des angles d'approches, toutes font état d'une vulnérabilité de ces organisations face aux risques liés à la santé et à la sécurité au travail (SST); les entreprises de moins de 50 personnes étant particulièrement exposées. Un état de l'art international a mis en évidence les déterminants internes et externes du niveau de prévention des risques SST dans ces entreprises.L'objet de cette thèse a été dans un premier temps de les classifier et d'établir des relations entre eux pour aboutir à une représentation générale de la détermination du niveau de prévention des risques SST dans les PME. Dans un deuxième temps, sur la base de ces déterminants, une action de prévention à destination des PME a été réalisée sous la forme d'une action collective qui associait des acteurs relais, des techniciens de la sécurité au travail, des institutionnels de la prévention et utilisait un outil de diagnostic réglementaire. Cette action pilote a donné lieu à une recherche qualitative afin d'évaluer le dispositif et de valider les conclusions des enquêtes internationales dans les entreprises françaises. Cette enquête a conduit à un nouveau questionnement sur la pérennité de la prévention dans ces organisations et sur les acteurs à même d'opérationnaliser le plan de prévention qui a donné lieu dans un troisième temps à une recherche-intervention dans une entreprise représentative des PME étudiées. En implémentant de nouveaux outils de diagnostics et d'évaluation des risques, cette recherche a permis de faire émerger des conditions d'appropriation de ces outils et de mise en oeuvre d'un plan de prévention.

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir une procédure de transformation automatique de machines d'états en LTS. Dans un premier temps, nous avons défini et implanté des techniques de vérification de relations de conformité de LTS (red, ext, conf, et confrestr). Dans un second temps, nous nous sommes intéressés à la définition d'un cadre de construction incrémentale dans lequel plusieurs stratégies de développement peuvent être mises en \oe uvre en s'assurant que le modèle final élaboré sera une implantation conforme à la spécification initiale. Ces stratégies reposent sur des combinaisons de raffinements qui peuvent être de deux types : le raffinement vertical pour éliminer l'indéterminisme et ajouter des détails ; le raffinement horizontal pour ajouter de nouvelles fonctionnalités sans ajouter d'indéterminisme. Enfin, nous transposons la problématique de construction incrémentale d'une machine d'états à la construction d'architectures dont les composants sont des machines d'états. Des conditions sont définies pour assurer la conformité entre des architectures dans le cas de la substitution de composants.