La vérification en ligne de spécifications formelles permet de créer des détecteurs d'erreur dont le pouvoir de détection dépend en grande partie du formalisme vérifié à l'exécution. Plus le formalisme est puissant plus la séparation entre les exécutions correctes et erronées peut être précise. Cependant, l'utilisation des vérifieurs en-ligne dans le but de détecter des erreurs est entravée par deux problèmes récurrents : le coût à l'exécution de ces vérifications, et le flou entourant les propriétés sémantiques exactes des signaux d'erreur ainsi générés. L'objectif de cette thèse est de clarifier les conditions d'utilisation de tels détecteurs dans le cadre d'applications « temps réel » critiques. Dans ce but, nous avons donné l'interprétation formelle de la notion d'erreur comportementale « temps réel». Nous définissions la propriété de détection « au plus tôt » qui permet de d'identifier la classe des détecteurs qui optimisent la latence de détection. Pour illustrer cette classe de détecteurs, nous proposons un prototype qui vérifie un comportement décrit par un automate temporisé. La propriété de détection au plus tôt est atteinte en raisonnant sur l'abstraction temporelle de l'automate et non sur l'automate lui-même. Nos contributions se déclinent dans trois domaines, la formalisation de la détection au plus tôt, sa traduction pour la synthèse de détecteurs d'erreur à partir d'automate temporisés, puis le déploiement concret de ces détecteurs sur une plate-forme de développement temps réel, Xenomai. / Runtime verification of formal specifications provides the means to generate error detectors with detection capabilities depending mostly on the kind of formalism considered. The stronger the formalism is the easier the speration between correct and erroneous execution is. Nevertheless, two recurring issues have to be considered before using such error detection mechanisms. First, the cost, at run-time, of such error detector has to be assessed. Then, we have to ensure that the execution of such detectors has a well defined semantics. This thesis aims at better understanding the conditions of use of such detectors within critical real-time software application. Given formal behavioural specification, we defined the notion of "behavioural error". Then, we identify the class of early detectors that optimize the detection latency between the occurence of such errors and their signalling. The whole generation process has been implemented for specifications provided as timed automata. The prototype achieves early error detection thanks to a preprocessing of the automaton to generate its temporal abstraction. Our contributions are threefold : formalisation of early detection, algorithms for timed automata run-time verification, and prototyping of such detectors on a real-time kernel, Xenomai.

Cette thèse examine comment les catégories de marché -ensembles qui partagent des similarités cognitives et culturelles- impactent la performance et l'évaluation des entreprises.Le consensus répandu dans la littérature indique que les organisations qui évoluent dans plus d'une catégorie sont sanctionnées tant au plan économique que social.Remettant en cause ce consensus actuel sur "l'impératif catégorique", cette thèse avance l'idée que les acteurs d'un marché ont un rôle plus complexe que simplement réprimer toute violation des catégories établies. Aussi dans ce contexte, être engagée dans plusieurs catégories de marché pour une organisation à la fois améliore son évaluation sociale mais réduit sa performance en cas de perceptions divergentes de ses affiliations catégorielles. Les données empiriques de cette thèse portent sur les cabinets d'avocats d'affaires dans trois grandes métropoles (New-York, Paris et Londres) au cours d'une décennie (2000-2010). Les cabinets d'avocats multi-services - ceux qui exercent dans plusieurs domaines du droit- obtiennent une meilleure évaluation de la part des clients tant au niveau global du cabinet que pour chacune de leurs spécialités juridiques. Toutefois, les désaccords entre clients en terme d'évaluation portant sur chacune des spécialités juridiques offertes détériorent la performance financière des cabinets. Cette thèse approfondit notre compréhension du rôle que jouent les catégories sur les marchés et les stratégies d'extensions catégorielles que les entreprises mettent en oeuvre. Ce travail contribue également aux études sur le champ juridique et a des implications pour la conduite stratégique des cabinets d'avocats d'affaires / This dissertation explores how market categories - clusters that share cognitive and cultural similarities - impact firms' performance and evaluation. Pervasive consensus in literature indicates organizations that do not fall into a single category suffer economic and social disadvantages.Unsettling this current consensus about the categorical imperative, this dissertation advocates that external audiences have a more complex role than simply patrolling the boundaries and sanctioning any infringement of established categories. They scrutinize categories in various ways depending on their needs. They infer some characteristics of firms from one category membership to another. They diverge about the category memberships and evaluation of firms. This dissertation provides evidence that in such cases, spanning categories both leads to positive social evaluations for organizations, but decreases performance in case of inconsistency across categories. Empirically I study the corporate legal services market in three major financial locations (New-York City, Paris and London) over a decade (2000-2010). My findings are twofold:(i) multi-category law firms- those that are engaged in several practice areas of law - receive better social evaluation from clients both at the firm level and at the practice area level; (ii) disagreement among clients' evaluation about law firms' practice areas undermines their financial performance. This dissertation deepens our understanding of the role that categorical structures play in markets and the category-stretching strategies firms implement to better navigate the "category map". This work contributes also to research in legal studies and has implications for law firms' business development

L'objectif du projet, intitulé "Vieillissement dans les processus réaction-diffusion sans bilan détaillé", est de mieux comprendre le comportement physique des systèmes avec un très grand nombre de degrés de liberté. En particulier, de tels systèmes peuvent bien montrer un comportement collectif avec de nouvelles qualités, qui ne sont pas présentes auprès des constituants individuels. C'est dans ce contexte que nous nous sommes intéressés au vieillissement. D'emblée, nous pourrions répondre que la seconde loi de la thermodynamique justifie le vieillissement, cependant cette loi seule ne permet pas de comprendre les processus sous-jacents responsables de ce phénomène. Dans ce but, nous nous sommes restreints dans un premier temps aux modèles exactement résolubles, dans l'espoir d'avoir des résultats analytiques qui pourront permettre une intuition physique correcte. Nous avons donc considéré dans ce travail les systèmes qui suivent une dynamique de type réaction-diffusion. Plus précisément, nous avons étudié les systèmes relaxant vers des états stationnaires hors-équilibre avec une dynamique ne satisfaisant pas le bilan détaillé. En effet, alors que le rapport fluctuation-dissipation est bien connu pour les systèmes avec bilan détaillé, il n'en est rien pour ces autres systèmes. Cette thèse se focalise sur deux modèles; le premier est le processus de contact bosonique avec une diffusion de type "vols de Lévy" permettant les sauts à longue portée, et le second est le processus coagulation-diffusion. Dans ces deux modèles, nous avons calculé les observables à deux temps, comme le corrélateur et la réponse, extrait les formes d'échelle et les exposants caractérisant le vieillissement. Nos résultats ont amené à proposer une généralisation du rapport fluctuation-dissipation dont l'applicabilité a été testée sur un grand nombre de modèles. Son interprétation physique reste une question ouverte pour de futures recherches / The objective of the project, which title is "Ageing in reaction-diffusion processes without detailed balance", is to arrive at a better understanding of the physical behaviour of strongly interacting many-body systems. In particular, such systems can exhibit a collective behaviour with new qualities which are not present at the microscopic level. It is in this context that we focus on the ageing. As an answer, we could argue that the second law of the thermodynamics might be sufficient to justify the ageing. However, that law alone does not suffice if one wishes to understand more deeply the underlying processes responsible of these ageing phenomena. For this motive, we consider exactly solvable systems in order to obtain precise analytical results on very simple models which later on could help to form a correct physical intuition. A common type of this kind of system is particle-reaction models with reaction-diffusion dynamics. More precisely, we have studied intrinsically irreversible systems, whose dynamics does not satisfy detailed balance and which relax towards non-equilibrium stationary states. Indeed, while for systems that obey the detailed balance relations, the fluctuation-dissipation relationship is well known, that is no longer the case for more general systems. This thesis focuses on two different models; the first one is the bosonic contact process (and also the bosonic pair-contact process) with a long range transport of particules ("Lévy flights") and the second one is the coagulation-diffusion process. In both models, characteristic two-time observables such as the two-time correlations and responses are found exactly and their exact scaling forms are extracted, especially the values of the non-equilibrium exponents characterising ageing are found. Our results suggest a novel generalisation of the fluctuation-dissipation ratio whose applicability is tested in a large set of models. Its physical interpretation remains an open question for future research

Cette thèse appréhende d’un point de vue sociohistorique les relations entre les critiques et les justifications de l’alimentation industrielle, en s’intéressant particulièrement à la valorisation du naturel. Aujourd’hui, un certain nombre de produits alimentaires mettent en avant des qualités que l’on peut considérer comme des réponses à la critique. L’objectif central de cette thèse est de rendre compte du processus d’endogénéisation – de "digestion" – de la critique par l’industrie. L’enquête a pris pour objet l’offre contemporaine (une campagne publicitaire, un corpus d’arguments de vente). Dans une perspective diachronique, la critique et ses effets ont en outre été appréhendés grâce à l’analyse des publications de plusieurs types d’acteurs de l’alimentation : diététiciens alternatifs, scientifiques de la nutrition, journalistes et sociologues de l’alimentation. La période couverte s’étend de la fin des années 1960 à 2010. Ces deux approches ont permis de proposer d’une part une typologie du travail de naturalisation opéré par les industriels, qui mettent en oeuvre différentes conceptions de la nature, et d’autre part une typologie de la critique de l’alimentation industrielle. Trois périodes historiques ont été distinguées. La première, de la fin des années 1960 à celle des années 1970, est une période de diffusion de la critique. La suivante (fin 1970 – milieu 1990), est marquée par l’affaiblissement d’une critique sujette à un début de "domestication". Mais elle se relance vigoureusement à partir du milieu des années 1990 à la suite d’épisodes de crise. Simultanément, la "domestication" de la critique se renforce et s’institutionnalise. / This thesis aims at seizing the relationships between the critiques and justifications regarding industrial food from a sociohistorical perspective, while paying special attention to the promotion of the “natural”. Today, a number of foodstuffs sales arguments outline qualities that can be considered as answers to critiques. The main objective of this dissertation is to show the production, the diffusion, the circulation and the process of endogenization or “digestion” of the critique by the food industry. The fieldwork focused on the contemporary food market through the construction of an advertising campaign and a corpus of food product sales arguments. Four corpuses of publications by key actors of the food system are then thoroughly studied: alternative dieticians, nutrition scientists, weekly general audience newspaper journalists and sociologists specialised in food. Between the late 1960s and the late 1970s the critique against industrial food spread. During the 1980s, it lost power and tended towards “domestication”. In the middle of the 1990s however, following a number of food crises, the critique regained considerable strength while, simultaneously, seeing its “domestication” broadened and institutionalized

Dans de nombreux domaines où il existe des risques pour l'homme, comme la médecine, le nucléaire ou l'avionique, il est nécessaire de passer par une phase de certification visant à garantir le bon fonctionnement d'un système ou d'un produit. La certification se fait en fonction de documents normatifs qui expriment les exigences de justifications auxquelles le produit et le processus de développement doivent se conformer. Un audit de certification consiste alors à produire une documentation attestant la conformité avec ce cadre réglementaire.Pour faire face à ce besoin de justifications visant à assurer la conformité avec les normes en vigueur et la complétude des justifications apportées, il faut dès lors être capable de cibler les exigences de justification à revendiquer pour un projet et produire les justifications durant le développement du projet. Dans ce contexte, éliciter les exigences de justifications à partir des normes et produire les justifications nécessaires et suffisantes sont des enjeux pour assurer le respect des normes et éviter la sur-justification.Dans ces travaux nous cherchons à structurer les exigences de justification pour ensuite aider à la production des justifications associées tout en restant attentif à la confiance que l'on peut placer en elles. Pour relever ces défis, nous avons défini une sémantique formelle pour une modélisation existante des justifications : les Diagrammes de Justification. A partir de cette sémantique, nous avons pu définir un ensemble d'opérations permettant de contrôler le cycle de vie des justifications pour assurer la conformité des justifications au regard des exigences de justification. Par ce formalisme, nous avons également pu guider, voire automatiser dans certains cas, la production des justifications et la vérification de la conformité.Ces contributions ont été appliquées dans le contexte des technologies médicales pour l'entreprise AXONIC, porteuse de ces travaux. Ceci a permis de i) éliciter les exigences de justification des normes médicales et pratiques internes de l'entreprise, ii) produire automatiquement les justifications associées à la norme IEC 62304 pour le logiciel en médical, iii) automatiser la vérification et validation des justifications ainsi que la production de documents utilisables lors d'audit. / In many areas where it exists human risks, such as medicine, nuclear or avionics, it is necessary to go through a certification stage to ensure the proper functioning of a system or product. Certification is based on normative documents that express the justification requirements to which the product and the development process must conform. A certification audit then consists of producing documentation certifying compliance with this regulatory framework.To cope with this need for justifications to ensure compliance with the standards in force and the completeness of the justifications provided, it must therefore be able to target the justification requirements to be claimed for a project and produce justifications during the development of the project. In this context, eliciting the justification requirements from the standards and producing the necessary and sufficient justifications are issues to ensure compliance with standards and avoid over-justification.In these works we seek to structure the justification requirements and then help to produce the associated justifications while remaining attentive to the confidence that can be placed in them. To address these challenges, we have defined a formal semantics for an existing model of justifications: Justification Diagrams. From this semantics, we have been able to define a set of operations to control the life cycle of the justifications to ensure that the justifications regarding the justification requirements. Through this semantics, we have also been able to guide, and even automate in some cases, the production of justifications and the verification of conformance.These contributions were applied in the context of medical technologies for the company AXONIC, the bearer of this work. This made it possible to i) elicitate the justification requirements of the medical standards and company's internal practicals, ii) automatically produce the justifications associated with the IEC 62304 standard for medical software, iii) automate the verification and validation of the justifications as well as the production of documents that can be used during the audit.

Climate change has become one of the most prominent topics in the media as a reflection of today’s political climate. But despite the multiple reports detailing consequences and causes, people still remain split on whether or not human beings contribute to climate change. The United States has some of the most notable media platforms and public perception relies heavily on how these news outlets choose to frame climate change. Therefore, this essay will investigate the extent to which The New York Times, The Wall Street Journal, and The Nation acknowledge the extent to which human beings contribute to climate change. The investigation will be conducted through the theory of the propaganda model which will be linked to two key approaches: newspaper ideology and critiques of capitalism. Based on these aspects, the research essay shows how newspaper ideology influences the way newspapers acknowledge or disregard climate change as a human contribution.

Dans les approches centrées utilisateur, les techniques, méthodes, et processus de développement utilisés visent à connaître et comprendre les utilisateurs (analyser leurs besoins, évaluer leurs manières d'utiliser les systèmes) dans le but de concevoir et développer des systèmes utilisables, c'est-à-dire, en adéquation avec leurs comportements, leurs compétences et leurs besoins. Parmi les techniques employées pour garantir l'utilisabilité, la modélisation des tâches permet de décrire les objectifs et acticités des utilisateurs. Grâce aux modèles produits, les spécialistes des facteurs humains peuvent analyser et évaluer l'efficacité des applications interactives. Cette approche d'analyse et de modélisation de tâches a toujours mis l'accent sur la représentation explicite du comportement standard de l'utilisateur. Ceci s'explique par le fait que les erreurs humaines ne font pas partie des objectifs des utilisateurs et qu'ils sont donc exclus de la description des tâches. Cette vision sans erreurs, suivie largement par la communauté en Interaction Homme-Machine, est très différente de celle de la communauté en Facteur Humain qui, depuis ses débuts, s'intéresse à comprendre les causes des erreurs humaines et leur impact sur la performance, mais aussi sur des aspects majeurs comme la sureté de fonctionnement et la fiabilité des utilisateurs et de leur travail. L'objectif de cette thèse est de démontrer qu'il est possible de décrire de façon systématique, dans des modèles de tâches, les erreurs pouvant survenir lors de l'accomplissement de tâches utilisateur. Pour cette démonstration, nous proposons une approche à base de modèles de tâches associée à un processus de description des erreurs humaines et supportée par un ensemble d'outils. Cette thèse présente les résultats de l'application de l'approche proposée à une étude de cas industrielle dans le domaine d'application de l'aéronautique. / In user-centered approaches, the techniques, methods, and development processes used aim to know and understand the users (analyze their needs, evaluate their ways of using the systems) in order to design and develop usable systems that is in line with their behavior, skills and needs. Among the techniques used to guarantee usability, task modeling makes it possible to describe the objectives and activities of the users. With task models, human factors specialists can analyze and evaluate the effectiveness of interactive applications. This approach of task analysis and modeling has always focused on the explicit representation of the standard behavior of the user. This is because human errors are not part of the users' objectives and are therefore excluded from the job description. This vision of error-free activities, widely followed by the human-machine interaction community, is very different from the Human Factor community vison on user tasks. Since its inception, Human Factor community has been interested in understanding the causes of human error and its impact on performance, but also on major aspects like the reliability of the operation and the reliability of the users and their work. The objective of this thesis is to demonstrate that it is possible to systematically describe, in task models, user errors that may occur during the performance of user tasks. For this demonstration, we propose an approach based on task models associated with a human error description process and supported by a set of tools. This thesis presents the results of the application of the proposed approach to an industrial case study in the application domain of aeronautics.

No description available.

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

No description available.