Dans l’entreprise, le risque est omniprésent, indispensable à la création de valeurs tout en étant redoutéen raison des conséquences qu’il peut produire. Pour autant, pour toute entreprise s’inscrivant dansune démarche de gestion préventive de ses risques, le risque peut s’avérer un véritable levier deperformance. A cet égard, l’audit de risques en entreprise est un instrument de gestion des risques quipermet à l’entreprise, à travers l’analyse, l’évaluation et le traitement de risques identifiés, d’obtenirune vision globale des différents évènements redoutés auxquels elle est exposée. Egalement, laréalisation d’un audit de risques permet aux entreprises de se conformer aux multiples obligationslégales de gestion préventive des risques auxquelles elles sont expressément tenues.Ces obligations sont nécessaires pour introduire davantage de transparence dans la gestion des risquesdes sociétés commerciales, pour assurer la confiance indispensable dans le fonctionnement desmarchés financiers, pour protéger la santé et la sécurité des travailleurs de l’entreprise ou encore pourprévenir les catastrophes technologiques majeures. Toutefois, le législateur ne fournit pas de méthodeprécise permettant aux entreprises de se conformer à l’ensemble de ces obligations. L’audit de risques,inspiré des méthodes de gestion des risques et de contrôle interne, a donc vocation à remédier à cettecarence et permet à l’entreprise de se conformer aux exigences du Code de commerce, de l’Autoritédes marchés financiers, du Droit du travail ou du droit applicable aux installations classées pour laprotection de l’environnement. / In business, risk is omnipresent, essential to the creation of value while at the same time fearedbecause of the consequences it can produce. However, for any business that subscribes to apreventative risk management approach, risk can prove to be a real performance lever. In this way, abusiness risk audit is a risk management tool that enables businesses, through analysis, evaluation andtreatment of identified risks, to obtain a global vision of the different feared events to which it isexposed. Also, carrying out a risk audit enables businesses to comply with the numerous legalobligations relating to preventive risk management, by which they are expressly boundThese obligations are necessary to introduce more transparency in the risk management of companies,to ensure the trust that is essential the operation of the financial markets, to protect employees’ healthand security, and to prevent major technological disasters. However, the legislator does not provide aspecific method that enables businesses to comply with all of these obligations. The risk audit,inspired by risk management and internal control methods, is designed to fill this gap and enablebusinesses to comply with the requirements of the commercial code, of the financial markets authority,of labour law and the law applicable to establishments classified for environmental protection.

La complexité croissante des systèmes réactifs fait que le test devient une technique de plus en plus importante dans le développement de tels systèmes. Un grand intérêt est notamment accordé au test de conformité qui consiste à vérier si les comportements d'un système sous test sont corrects par rapport à sa spécication. Au cours des dernières années, les théories et outils de test de conformité pour la génération automatique de test se sont développés. Dans ces théories et algorithmes, les spécications des systèmes réactifs sont souvent modélisées par différentes variantes des systèmes de transitions. Cependant, ces théories et outils ne prennent pas explicitement en compte les données du système puisque le modèle sous-jacent de système<br />de transitions ne permet pas de le faire. Ceci oblige à énumérer les valeurs des données avant de construire le modèle de système de transitions d'un système, ce qui peut provoquer le problème de l'explosion de l'espace d'états. Cette énumération a également pour effet d'obtenir des cas de test où toutes les données sont instanciées. Or, cela contredit la pratique industrielle où les cas de test sont de vrais programmes avec des variables et des paramètres. La génération de tels<br />cas de test exige de nouveaux modèles et techniques. Dans cette thèse, nous atteignons deux objectifs. D'une part, nous introduisons un modèle appelé système symbolique de transitions à entrée/sortie qui inclut explicitement toutes les données d'un système réactif. D'autre part, nous proposons et implémentons une nouvelle technique de génération de test qui traite symboliquement les données d'un système en combinant l'approche de génération de test proposée auparavant par notre groupe de recherche avec des techniques d'interprétation abstraite. Les cas de test générés automatiquement par notre technique satisfont des propriétés de correction: ils émettent toujours un verdict correct.

Cette thèse a été effectuée dans le cadre du projet guide mène par le laboratoire bull-imag/systèmes depuis mi 1986. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système d'exploitation reparti a objets guide qui fournit un haut niveau d'integration (invisibilité de la répartition notamment). Le langage a objets guide défini spécifiquement permet la programmation et la mise en œuvre d'applications reparties le plus facilement possible en utilisant tous les éléments du modèle d'objets et du système guide. La thèse présente les principes de compilation des sources guide en objets exécutables. Les objets sont crées dynamiquement lors de l'exécution des applications et ils restent permanent même dans le cas ou ils ne sont plus utilisables (on ne peut pas y accéder). Donc, un ramasse-miettes doit être présent pour ramasser automatiquement ces miettes tout en garantissant la cohérence de la mémoire d'objets. La thèse présente aussi notre étude sur les familles d'algorithmes de ramasse-miettes existant ainsi que leur adaptation pour le système guide

Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la programmation et la mise œuvre d'applications par l'intermédiaire d'un langage de programmation spécifique. La thèse contient une présentation et une évaluation du modèle de programmation par objets mis œuvre par ce langage: la présentation met en évidence les principaux choix de conception et les justifie; l'évaluation est basée sur une étude comparative des modèles d'objets de Guide, de Trellis/Owl, d'Emerald et d'Eiffel, et sur des expériences de programmation réalisées sur le prototype. Elle met en évidence les aspects caractéristiques du modèle d'objets de guide, ses apports et ses limites

Ce travail se situe dans le cadre de la vérification et de la validation des systèmes répartis, particulièrement les protocoles de télécommunication. Nous nous sommes intéressés au problème de la génération automatique de tests de conformité pour les protocoles de télécommunication et plus précisément à l'utilisation, en amont de TGV (un outil de génération de séquences de test), de techniques d'analyse statique. La génération de test de conformité fondée sur des techniques de vérification par modèles (l'approche employée par TGV) est limitée par le problème d'explosion d'état. Même si ce problème, dans la pratique, peut être contourné (en choisissant le fonctionnement à la volée de TGV), quelque aspects de cette méthode (par exemple la conception des objectifs de test pour un modèle, sans le construire explicitement) posent encore des problèmes. Dans notre thèse on propose une méthodologie de test basée sur des techniques issues des domaines de la vérification et de l'analyse statique. Cette méthodologie consiste en un ensemble de procédures qui ont pour but de simplifier la spécification en tenant compte de sa structure ou de la structure des objectifs de test et cela avant de la génération des cas de test. On réduit ainsi la taille des modèles observables des spécifications. Nous avons étendu aussi le concept de l'objectif de test. Les objectifs de test abstraits ont des contraintes symboliques attachées aux paramètres des signaux d'entrée. À partir des contraintes d'entrée les procédures mentionnées ci-dessus calculent des contraintes pour les paramètres des signaux de sortie des objectifs de test abstraits. Ensuite, des objectifs de test concrets pourront être dérivés et en utilisant l'outil de test existant TGV on pourrait générer des tests de conformité

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 cependant rendu difficile par le 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 nommé DiaSpec. Ce langage fournit un cadre de travail pour guider le développement d'une application SCC en assignant des rôles aux membres du projet et en proposant une séparation des préoccupations. En plus de fournir un cadre de conception, cette thèse fournit un support de programmation. En effet, à partir de descriptions écrites en DiaSpec, un framework de programmation dédié est généré dans un langage cible. Ce framework de programmation guide l'implémentation d'une application SCC en exposant les mêmes abstractions que le langage DiaSpec. Ce framework de programmation est conçu de façon à assurer que l'implémentation d'une application est conforme à l'architecture décrite en DiaSpec, en s'appuyant sur le système de types du langage cible. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité.

Pour satisfaire aux nouveaux besoins de flexibilité, modularité, d'adaptabilité et de distribution des applications, les paradigmes composants et services ont été déclinés dans des frameworks reconnus comme J2EE, OSGI, SCA ou encore Fractal. Néanmoins, ceux-ci offrent peu d'outils permettant de garantir la fiabilité des applications en raisonnant de manière générique sur leur configuration architecturale et les spécifications des participants. Dans cette thèse, j'envisage l'organisation de la vérification des assemblages, et le diagnostic des défaillances, sous l'angle de l'approche par contrat dirigée par les responsabilités. Pour cela, j'analyse d'abord sous quelles hypothèses intégrer différents formalismes à cette approche, puis comment appliquer cette approche à différentes architectures. J'étudie par ailleurs comment les intervenants de la mise en oeuvre des systèmes pourraient en bénéficier. Cela m'amène à présenter un modèle de contrat, qui intègre et organise différentes propriétés, analysées comme requises pour la validité de l'assemblage, conjointement et uniformément sur différentes architectures. J'en définis le modèle objet qui réifie la logique contractuelle, ainsi que son implémentation sous forme d'un framework. Ce dernier est validé sur l'architecture Fractal et deux formalismes contractuels, l'un à base d'assertions et l'autre de contraintes sur les séquences d'interactions valides entre participants. Une validation plus avancée est montrée sur l'exemple d'une application de communautés instantanées.

La réception juridique déclare exempts de défauts de conformité et de vices apparents, dans un contexte contradictoire, l'objet et l'exécution de la prestation caractéristique du contrat, ou d'une prestation indispensable à son exécution. Manifestation de volonté encadrée développant un effet extinctif et un effet créateur, sa qualification en acte juridique est incontestable. Constituant une étape essentielle dans l'exécution contractuelle, ce mécanisme, utilisé dans de nombreuses conventions, et dans des domaines très variés, assure une protection équilibrée des intérêts de ses participants, représentant une libération pour l'un, une vérification pour l'autre. La révélation d'un droit commun de la réception juridique, qui implique la définition de la notion et de ses éléments constitutifs, l'analyse de ses effets et la confirmation de sa qualification d'acte juridique, invite à faire preuve de davantage de rigueur lorsque l'on utilise la réception juridique, afin de préserver l'équilibre qu'elle assure. / In an adversarial context, the acceptance of performance declares free of conformity defects and free of apparent defects the subject and performance of the service characteristic of the contract or a service essential to its performance. The regulated expression of will developing a divestitive effect and a creating effect makes its qualification as a legal act genuine. As a fundamental step in the contractual performance, this mechanism used in several conventions and several fields ensures a balanced protection of each participant's interests, meaning on one side a release and on the other side a verification. The disclosure of a general law of the acceptance of performance, which implies the definition of the concept and its constituent elements, the determination of its consequences and the confirmation of its qualification as a legal act, prompts to more strictness in the use of the acceptance of performance to preserve the balance its ensures.

Le présent travail de recherche a pour objet de concevoir, de développer et d'expérimenter un outil de mesure de la performance des systèmes de management environnemental (SME) des entreprises. S'il existe déjà différents outils de mesure de cette dernière, ceux-ci différent selon les contingences des entreprises (l'environnement de ces dernières étant par nature différent), sont difficilement (voire pas du tout) transposables d'une entreprise à l'autre et interdisent toute comparaison interentreprises (voire inter-sites au sein d'une même entreprise) des SME mis en oeuvre. L'apport de la démarche de modélisation et d'ingénierie proposée réside ainsi dans la formalisation d'une méthode de mesure de la performance des SME reposant sur l'amélioration de la mesure dela conformité règlementaire des entreprises. De la méthode découle un outil opérationnel ayant vocation à être utilisé par l'ensemble des entreprises, ce, quelle que soit leur forme (centralisée ou décentralisée sur de nombreux sites), leur branche d'activité, le nombre de salariés, etc. Cet outil propose de mesurer la performance du SME au travers de ses principales dimensions, notamment, la maîtrise de la conformité règlementaire, normative et interne, l'analyse environnementale et enfin l'élaboration d'un plan d'actions correctives et proactives ainsi que le suivi de sa mise en oeuvre, ce dans une perspective d'amélioration continue. L'originalité de cette démarche réside dans la prise en compte des interrelations existant entre ces différentes dimensions en vue d'enrichir les systèmes classiques de mesure de la performance. / The current research aims to conceive, develop and experiment a tool to measure performance in environmental management systems (EMS). Although different tools already exist, they differ from one company to another depending on contingencies (their environment being different), are difficult (and sometimes impossible) to apply from one firm to another and prevent from making inter-firms (or inter-sites within the same company) comparisons between different EMS. The contribution of the modelling and engineering approach developed in this thesis lies in the formalisation of a new method of measurement of performance in EMS based on the improvement of the measure of regulatory compliance in companies.This specific method leads to the introduction of an operational tool aiming to be used by all companies, whatever their structures (centralised or decentralised over different sites), their activity, their amount of employees, etc. This tool offers to measure the EMS performance, in a continuous perspective of improvement, through its key dimensions, and in particular through, the mastering of regulatory (normative and internal) compliance, the environmental analysis and the elaboration of a planning for proactive andcorrective actions as well as the follow-up of its implementation. Overall, the novelty of this approach results from the particular emphasise put on interrelations existing between those different dimensions in order to enhance standard systems of performance measurement.

Parce qu'elle en constitue le point le plus important, la conformité est la notion la plus fondamentale à étudier lorsqu'il est question du régime juridique des ventes de chevaux de sport. En effet, la perception de ses contours et de son contenu diffère selon les catégories de professionnels impliqués dans de telles opérations. Les juristes interprètent très largement la conformité telle qu'issue de la théorie du droit de la consommation, ou plus exactement du droit à la consommation. Les vétérinaires la voit plutôt comme un frein à l'exercice serein de leur pratique au cours de l'expertise vétérinaire de transaction. Comment se prononcer sur la conformité d'un animal, être vivant avant tout autre chose ? Comment attester que le cheval sera durablement conforme à ce qu'en attend son nouveau propriétaire ? Les vendeurs de chevaux s'inquiètent de plus en plus des conséquences d'un retour aux écuries d'un cheval devenu difficile à vendre et des effets de la résolution de la vente sur la trésorerie de l'élevage. La question essentielle est surtout de savoir ce que recouvre la conformité ? Est-il possible d'en avoir une définition commune à l'ensemble des protagonistes des ventes de chevaux de sport ? L'usage est-il le seul critère déterminant la conformité du cheval ? Enfin et surtout, est-il souhaitable que perdure l'application du droit de la consommation aux transactions d'animaux, et donc de chevaux ? En effet, l'intérêt des professionnels de la vente d'animaux ne réside-t-il pas dans l'exclusion de l'animal du régime des biens de consommation ? / Conformity is the most fundamental element to be studied when it's reffered to the legal regim of horse trade. Indeed, its contour lines and its matter are different by socio-professionnal categorie involved in these kind of operations. Lawyers have a broad interpretation of conformity derived from consumer law, or more exactly the right to consume. Veterinarians see conformity as a break to their own professional practice of purchase exams. How to certify an animal, a living being before anything else ? How certify a sports horse will be complied with its new owner's expectations ? Horse salers are more and more worried about the consequence of a back to the stables of an unsaleable horse and about effects of sale agreement's resolution on the stud-farm cash position. The essential question is what constitutes conformity. Is it possible to have a common definition of conformity between the protagonists of sports horse sales ? Is the use the only determining criterion of conformity in sports horse sales ? Finally and espacially, is it good to continue to apply consumer law to sports horse sales ? Indeed, the interests of veterinarians and breeders is it not to exclude animals from consumer goods ?