Dissertations / Theses on the topic 'Décisions automatisées'

Au cours de ces dernières décennies, les systèmes technologiques ont beaucoup évolué. Dans le même temps, leurs installations sont de plus en plus distribuées sur plusieurs sites. Ceci conduit à la résolution de problèmes logistiques lors des prises de décision en vue d'actions de maintenance qui exigent par ailleurs des approches coopératives dans un contexte de gestion à distance. Dans ce travail, nous étudions des méthodes d'aides à la décision temps-réel pour la maintenance des systèmes multi-sites distribués dans un environnement à ressources partagées, avec des contraintes logistiques non négligeables entre les différents sites. Les exigences sont de planifier et d'ordonnancer les tâches de maintenance, de les affecter en temps-réel aux ressources de maintenance disponibles, tout en minimisant les coûts inhérents au fonctionnement et en maîtrisant les délais d'intervention des ressources. Les coûts sont relatifs notamment au fonctionnement en état dégradé (état critique), aux fréquences trop élevées ou au déficit de maintenance. Ils dépendent aussi de combinaisons linéaires ou convexes d'ensemble de paramètres tels que les temps de réponse (temps de séjour), les retards et avances ainsi que des facteurs de pondération des tâches de maintenance. Les coûts sont également fonction de la disponibilité, cette dernière étant révélatrice des dégradations des entités constituant le système. Pour satisfaire ces exigences, différents problèmes doivent être résolus dans le but de maintenir la disponibilité du système au dessus d'une limite minimale, de minimiser le coût des opérations de maintenance et d'affecter en temps-réel les tâches aux ressources de maintenance, le tout dans un processus optimal de décision. Ce processus doit tenir compte de différentes contraintes : dates d'arrivée inégales des tâches, temps logistiques non négligeables entre les sites, séquences optimales des tâches d'une intervention, précédences entre les tâches d'une même entité et critères de priorité et d'urgence de chaque tâche. Dans cette démarche, les caractéristiques et lois de comportement en fiabilité et en maintenabilité, et les sollicitations d'intervention sur les entités sont connues. Pour résoudre ces problèmes, nous proposons une approche mettant en oeuvre des méthodes d'ordonnancement d'activités (tâches ou actions) de maintenance basées sur des règles de priorité dont nous montrons l'optimalité locale (par rapport au temps) dans ce document. Partant d'une ressource de maintenance, ces règles de décision s'inspirent des principes d'ordonnancement sur une seule machine. Elles sont utilisées dans des algorithmes d'aide à la décision en temps-réel pour la planification dynamique des tâches de maintenance des systèmes distribués. Aux solutions fournies par la plupart de ces règles nous avons déterminé des bornes inférieures. Nous avons structuré ce document en six chapitres dont le premier introduit de façon générale la maintenance et ses différentes pratiques dans les entreprises. Le chapitre 2 propose une analyse de l'état de l'art des travaux de recherche scientifique dans le domaine de la gestion des activités de maintenance. Ensuite, dans le chapitre 3, des approches de résolution des problèmes relatifs aux coûts des états critiques du système sont proposées. Le chapitre 4 traite alors les différents problèmes relatifs aux contraintes de délais sur les opérations de maintenance induisant notamment des coûts combinés liés aux états critiques et aux retards d'intervention d'une part, et des coûts dus aux avances ou retards des tâches d'autre part. Il apparut alors nécessaire d'étudier la robustesse des performances des approches proposées dans les chapitres 3 et 4 en environnements incertains. Cette étude fût donc réalisée dans le chapitre 5 par des simulations Monte Carlo de la maintenance à partir des données d'un système réel soumis à des aléas de défaillance appelant des actions correctives. Enfin, de l'ensemble des investigations menées dans ce travail furent tirées les principales conclusions et les perspectives proposées dans le chapitre 6.

L'intelligence artificielle est la science informatique qui permet de construire des machines capables de procéder à des opérations relevant habituellement de l'esprit humain. L'un de ses champs d'application a porté sur le développement de systèmes à base de connaissances, visant à simuler le raisonnement d'un expert humain dans un domaine limité. Le développement de ces systèmes comporte une tâche d'acquisition de connaissances auprès d'un expert humain. Depuis les années 80, l'acquisition des connaissances est vue comme un processus de modélisation, elle a pour résultat un modèle de l'expertise. La tâche de construction de modèles est complexe. Différents travaux visent à réduire sa difficulté. Notre travail de thèse d'inscrit dans cette préoccupation : nous proposons un outil informatique, ASTREE - pour aide à la structuration de l'expertise -, visant à aider la modélisation d'une expertise. Cet outil est capable de construire, en intéraction avec son utilisateur, des parties d'un modèle de l'expertise étudiée. Cet outil s'intègre dans un environnement de modélisation des connaissances, MACAO, développé à l'IRIT (Toulouse). Le modèle de l'expertise comporte une description des connaissances du domaine d'application et une description du raisonnement. ASTREE aide son utilisateur à modéliser les connaissances du domaine disponibles dans l'expertise. Il propose pour cela un langage de modélisation, issu du modèle entité-association, ayant une syntaxe précise et une sémantique formelle. ASTREE aide son utilisateur à construire le modèle de résolution de problèmes en construisant automatiquement des composants du modèle. Il exploite pour cela des correspondances entre la structuration des connaissances du domaine et des procédures de résolution de problème. Notre approche a été testée sur un problème d'allocation de personnes dans des bureaux (SISYPHUS-I), sur un problème de diagnostic financier, pour lequel nous avons réalisé une acquisition de connaissances en situation réelle auprès d'un expert

Les travaux présentés dans la thèse étudient dans quelle mesure les modèles d'aide a la décision issus des sciences de gestion sont susceptibles de remédier aux carences formelles des méthodes usuelles d'optimisation des décisions de maintenance. Résolument orientée + risk-management, la recherche préconise de recourir a l'analyse décisionnelle par utilité multi attribut dans un cadre théorique plus général que celui de l'utilité espérée. En guise de préliminaire, le chapitre 1 présente les concepts de bases de la maintenance. Le chapitre 2 consiste en une analyse critique des modèles d'optimisation de la maintenance issus de la recherche opérationnelle. En s'appuyant sur cette critique, il est propose, dans le chapitre 3, de recourir a l'analyse décisionnelle par utilité multi attribut. Le chapitre 4 étudie dans quelle mesure, cette méthode peut être utilisée dans le cadre théorique plus général des modèles d'utilite à dépendance de rang. Le chapitre 5 consiste en une présentation d'une procédure interactive d'estimation des fonctionnelles d'utilite multi attribut généralisée. Le chapitre 6, enfin, est consacre a une étude de cas<br>Thesis studies formal methodologies that will be helpful in the maintenance decision- making process and preconises to use an extension of multi-attribut utility theory to non-expected utility theories. Thesis does not only discuss attribute independence axioms and their decompositional effects on non-expected utility theories, but focuses rather on practical procedures and methods to elicit the multi-attributed utility function that remain valid in non-expected utility framework. In chapter 1, basic maintenance concepts are explained. Chapter 2 deals with maintenance optimisation models issu of operation research area. Chapters 3 and 4 preconise to use multi-attributed generalized expected utility framework in nuclear power plants maintenance. Chapter 5 presents a multi-attributed utility assessment program under risk based on generalized expected utility models. Chapter 6 consists in a case study

Le cadre de travail dans lequel s'inscrit cette thèse porte sur le développement d'une structure de pilotage prenant en compte simultanément les contraintes prévisionnelles et les contraintes réelles du système de production. Ces premières s'expriment en terme d'objectifs globaux et les secondes en terme de réactivité et de flexibilité. Plusieurs études ont montré les possibilités offertes par la structure distribuée pour absorber les fonctionnements dégradés. L'objectif de ce mémoire est d'étendre et de compléter la structure de pilotage de Tchako afin: • de permettre la prise en compte de la notion d'objectif global, • d'accroître la capacité intrinsèque de réactivité de l'approche distribuée. Nous montrons d'une part que l'intégration de la notion d'objectif global peut être obtenue par l'adjonction d'un niveau de supervision au modèle de Tchako. D'autre part, afin de conserver un niveau de réactivité satisfaisant, nous montrons qu'un compromis efficace entre les besoins en termes de réactivité et de gestion prévisionnelle (objectifs globaux) consiste à ordonnancer une partie des opérations à réaliser (ordonnancement partiel). Nous élaborons une liste des différentes approches possibles concernant les opérations (ou les ressources de production) à ordonnancer, et justifions une approche par ordonnancement partiel d'une ressource critique. Nous désignons la structure de pilotage correspondante sous le terme de pilotage hybride. L'accroissement de la capacité intrinsèque de réactivité résulte de la conception et du développement d'une structure de communication décomposée en deux niveaux, intégrant chacun une gestion de la robustesse. Ce point constitue une conceptualisation et une extension de la structure de communication de Tchako. Un autre point porte sur le développement d'un module de gestion de contraintes dynamiques portant sur le processus de fabrication. Par ailleurs, l'étude des processus de décision dans un cadre de pilotage temps-réel et distribué montre que les décisions sont de nature multicritère. L'étude de faisabilité que nous présentons a porté sur l'intégration d'une approche multicritère au niveau des processus décisionnels, prenant en compte les contraintes imposées au niveau du pilotage hybride. Elle a mis en évidence le faible niveau de structuration des processus décisionnels et conduit à analyser les possibilités d'intégration de l'opérateur humain via un système interactif d'aide multicritère à la décision.

Cette thèse se situe dans la problématique de la recherche documentaire. Dans ce domaine, chaque besoin en information est exprimé par un utilisateur sous la forme d'une requête en langage naturel. Il existe différentes approches pour traiter ces requêtes, mais les systèmes actuels utilisent généralement une méthode unique, indépendante des caractéristiques de la requête. On peut pourtant montrer de façon expérimentale que la performance relative d'une technique de recherche sur une autre peut varier considérablement suivant la requête traitée. Nous avons abordé cette thématique en proposant des méthodes qui permettent de repérer automatiquement les requêtes qui posent des difficultés particulières au système utilisé, afin de permettre un traitement spécifique et adapté. Nous avons ainsi dégagé un certain nombre de fonctions de prédiction de qualité qui obtiennent des résultats comparables à ceux publiés récemment par d'autres équipes de recherche. La particularité et originalité de ce travail a consisté à étudier la combinaison de ces différentes mesures. En utilisant des méthodes de classification automatique, nous avons obtenu des prédictions relativement fiables sur la base de mesures qui individuellement ont un pouvoir de discrimination considérablement plus faible. Au-delà de la prédiction de difficulté des requêtes, nous avons utilisé nos méthodes pour adapter le processus de recherche à la requête posée<br>This thesis is centered around the subject of information retrieval, with a focus on those queries that are particularly difficult to handle for current retrieval systems. In the application and evaluation settings we were concerned with, a user expresses his information need as a natural language query. There are different approaches for treating those queries, but current systems typically use a single approach for all queries, without taking into account the specific properties of each query. However, it has been shown that the performance of one strategy relative to another can vary greatly depending on the query. We have approached this problem by proposing methods that will permit to automatically identify those queries that will pose particular difficulties to the retrieval system, in order to allow for a specific treatment. This research topic was very new and barely starting to be explored at the beginning of my work, but has received much attention these last years. We have developed a certain number of quality predictor functions that obtain results comparable to those published recently by other research teams. However, the ability of individual predictors to accurately classify queries by their level of difficulty remains rather limited. The major particularity and originality of our work lies in the combination of those different measures. Using methods of automatic classification with corpus-based training, we have been able to obtain quite reliable predictions, on the basis of measures that individually are far less discriminant. We have also adapted our approach to other application settings, with very encouraging results. We have thus developed a method for the selective application of query expansion techniques, as well as the selection of the most appropriate retrieval model for each query

Cette étude se propose de définir une méthodologie pour déterminer la forme de la publicité multinationale (publicité adaptée par pays, publicité standardisée ou forme intermédiaire). Il a été mis au point un système d'aide à la décision automatisé. Ce système a été testé pour en mesurer la validité prédictive<br>This study deals with a definition of a selecting method of multinational advertising organization (localized advertising, standardized advertising or intermediate organization). An automatic decision system was developed. This system was tested for measuring its prediction validity

En 1985, toutes les usines ibm d'europe sont integrees dans un systeme unique de gestion: emls (european materials logistics systems). L'usine d'ibm montpellier est l'une d'elles. Son departement "controle de production et des approvisionnements", se trouve alors confronte a un nouveau systeme qu'il faut rapidement connaitre, reguler et controler, pour garantir la satisfaction des clients tout en maintenant le niveau des inventaires au plus bas. Cette etude se propose d'apporter les solutions permettant de parvenir aux objectifs definis ci-dessus. Elle constitue un excellent cas pratique, et couvre un domaine theorique important: analyse systemique, gestion de la production, gestion de la qualite, simulation, traitements des donnees statistiques, optimisation d'equation contraintes et liees<br>In 1985, all ibm plant in europe are integrated in an unic management system: emls (european materials logistics systems). Ibm plant in montpellier is one of them. Its departement of "ordering and production control" is faced with a new system wich must be quickly understood, regulated and controled to garantee customers satisfaction while maintaining to lowest possible level of inventory. This study is intented to provide solutions wich unable the plant to achieve these objectives. It constitues an excellent practical case and covers a significant part of the theory: systemic analysis, production management, quality management, simulation, statistical data analysis, optimization of constrained and combined equations

Les systèmes automatisés de production, ayant acquis des performances importantes en fonctionnement normal, doivent aussi être réactifs face aux perturbations de la fabrication. Une analyse est réalisée sur ces systèmes pour la proposition de stratégies d'exploitation utilisant le potentiel des alternatives de configuration pour l'exécution de la fabrication. Pour apporter des solutions a ce problèmes, divers critères existent, allant de l'intervention humaine aux réponses automatisées. Prenant en compte l'organisation hiérarchique du système, la réaction est entreprise au niveau de la conduite pour le cas des défaillances des ressources. Les configurations alternatives possibles du système représentent des modes dégradés de fonctionnement, comportant des performances variées, qui doivent être évaluées pour la prise de décision. Un modèle des modes de marche est défini pour la conduite du système, comme outil d'assistance à sa réactivité. Les alternatives comprennent la reprise après réparation, le fonctionnement dégradé des ressources et le réordonnancement des opérations. La solution pour la reprise de la fabrication est suggérée à travers une démarche qui comprend les étapes de génération, d'évaluation, de vérification et de spécification des alternatives. La contribution de cette étude réside en la caractérisation des modes dégradés de fonctionnement, par une réaction rapide basée sur une évaluation des temps de fabrication. Une méthode de réaction est proposée, intégrant les stratégies de solution en fonction de l'urgence et du respect des contraintes de production. La décision prend en compte les consignes de la gestion de production, l'état réel des ressources et les données de la maintenance. La méthode comprend des stratégies à court terme, utilisant le mode dégradé ou la réparation de la ressource défaillante et des stratégies à moyen terme par reconfiguration du système, évaluées par le calcul des durées de fabrication. Une application sur des exemples permet l'évaluation de la méthode développée.

Le concept de “Business Rule Management System” (BRMS) a été introduit pour faciliter la création, la vérification, le déploiement et l'exécution des politiques commerciales propres à chaque compagnie. Basée sur une approche symbolique, l'idée générale est de permettre aux utilisateurs métier de gérer les changements des règles métier dans le système sans avoir besoin de recourir à des compétences techniques. Il s'agit donc de fournir à ces derniers la possibilité de formuler des politiques commerciales et d'automatiser leur traitement tout en restant proche du langage naturel. De nos jours, avec l'expansion de ce type de systèmes, il faut faire face à des logiques de décision de plus en plus complexes et à de larges volumes de données. Il n'est pas toujours facile d'identifier les causes conduisant à une décision. On constate ainsi un besoin grandissant de justifier et d'optimiser les décisions dans de courts délais qui induit l'intégration à ses systèmes d'une composante d'explication évoluée. Le principal enjeu de ces recherches est de fournir une approche industrialisable de l'explication des processus de décision d'un BRMS et plus largement d'un système à base de règles. Cette approche devra être en mesure d'apporter les informations nécessaires à la compréhension générale de la décision, de faire office de justification auprès d'entités internes et externes ainsi que de permettre l'amélioration des moteurs de règles existants. La réflexion se portera tant sur la génération des explications en elles-mêmes que sur la manière et la forme sous lesquelles elles seront délivrées<br>The concept of “Business Rule Management System” (BRMS) has been introduced in order to facilitate the design, the management and the execution of company-specific business policies. Based on a symbolic approach, the main idea behind these tools is to enable the business users to manage the business rule changes in the system without requiring programming skills. It is therefore a question of providing them with tools that enable to formulate their business policies in a near natural language form and automate their processing. Nowadays, with the expansion of intelligent systems, we have to cope with more and more complex decision logic and large volumes of data. It is not straightforward to identify the causes leading to a decision. There is a growing need to justify and optimize automated decisions in a short time frame, which motivates the integration of advanced explanatory component into its systems. Thus, the main challenge of this research is to provide an industrializable approach for explaining the decision-making processes of business rules applications and more broadly rule-based systems. This approach should be able to provide the necessary information for enabling a general understanding of the decision, to serve as a justification for internal and external entities as well as to enable the improvement of existing rule engines. To this end, the focus will be on the generation of the explanations in themselves as well as on the manner and the form in which they will be delivered

Le cadre de travail dans lequel s'inscrit cette thèse porte sur le développement d'une structure de pilotage prenant en compte simultanément les contraintes prévisionnelles et les contraintes réelles du système de production. Ces premières s'expriment en terme d'objectifs globaux et les secondes en terme de réactivité et de flexibilité. Plusieurs études ont montré les possibilités offertes par la structure distribuée pour absorber les fonctionnements dégradés. L'objectif de ce mémoire est d'étendre et de compléter la structure de pilotage de Tchako afin: , de permettre la prise en compte de la notion d'objectif global, , d'accroître la capacité intrinsèque de réactivité de l'approche distribuée. Nous montrons d'une part que l'intégration de la notion d'objectif global peut être obtenue par l'adjonction d'un niveau de supervision au modèle de Tchako. D'autre part, afin de conserver un niveau de réactivité satisfaisant, nous montrons qu'un compromis efficace entre les besoins en termes de réactivité et de gestion prévisionnelle (objectifs globaux) consiste à ordonnancer une partie des opérations à réaliser (ordonnancement partiel). Nous élaborons une liste des différentes approches possibles concernant les opérations (ou les ressources de production) à ordonnancer, et justifions une approche par ordonnancement partiel d'une ressource critique. Nous désignons la structure de pilotage correspondante sous le terme de pilotage hybride. L'accroissement de la capacité intrinsèque de réactivité résulte de la conception et du développement d'une structure de communication décomposée en deux niveaux, intégrant chacun une gestion de la robustesse. Ce point constitue une conceptualisation et une extension de la structure de communication de Tchako. Un autre point porte sur le développement d'un module de gestion de contraintes dynamiques portant sur le processus de fabrication. Par ailleurs, l'étude des processus de décision dans un cadre de pilotage temps-réel et distribué montre que les décisions sont de nature multicritère. L'étude de faisabilité que nous présentons a porté sur l'intégration d'une approche multicritère au niveau des processus décisionnels, prenant en compte les contraintes imposées au niveau du pilotage hybride. Elle a mis en évidence le faible niveau de structuration des processus décisionnels et conduit à analyser les possibilités d'intégration de l'opérateur humain via un système interactif d'aide multicritère à la décision<br>A distributed production activity control system has been developed to solve several problems inherent in the inflexibility of classic centralized production activity control systems. The distributed approach implies local decision makings and real time control for task allocations. This forbids correct forecast on critical information such as time cycle for each manufacturing order, meaning a miss of viability for industrial application. The aim of our work is to provide a structure which takes advantage of both extrema and which is able to support just-in-time concepts: the hybrid production activity control structure. The hybrid approach uses the notion of bottleneck and non bottleneck resources and is based on the distributed control structure developed in the laboratory. The bottleneck is the only resource scheduled. It forces the synchronicity of the whole production structure because of its characteristics. This paper evaluates the relative performances of the three control structures (centralized, distributed and hybrid) through theoretical discussions and practical examples from a simplified industrial case study

Cette these presente une approche originale de certains problemes d'ordonnancement en maintenance aeronautique. L'approche utilisee est basee sur un systeme de raisonnement temporel specifie en clauses de horn: le calcul d'evenements. Ce systeme definit des concepts tres generaux sur le temps et le changement (evenements, periodes, propositions temporelles), qui permettent de representer des actions. On presente un systeme qui elabore une representation appropriee d'un ensemble d'actions, en utilisant des connaissances formalisees sur le domaine technique specifique. Les connaissances utilisees sont de divers types: il peut s'agir: de connaissances semantiques, sur les termes qui sont utilises pour decrire des actions dans le domaine specifique; de connaissances dites pragmatiques, qui indiquent comment utiliser le contexte de l'action pour en preciser la description; de connaissances geometriques ou fonctionnelles simples sur les composants d'un avion. La representation des actions ainsi elaborees permet de mettre en uvre des inferences dont les resultats sont utiles dans un processus d'ordonnancement. En particulier, un ensemble de clauses permet de detecter et d'identifier des incoherences locales (bugs) dans un plan d'actions. A titre d'application, on presente un programme qui resout un probleme de sequencement: il s'agit de contraindre temporellement un ensemble desordonne d'actions, afin de garantir qu'aucun bug ne se produira a l'execution de ces actions. Une maquette de ce programme a ete mise en uvre dans un langage de programmation logique avec contraintes (prolog iii)

Cette thèse a pour objet la planification de trajectoire d’un véhicule robotisé en présence d’obstacles très dynamiques dans un environnement sans contraintes fortes (marquage au sol, voies de circulation…). Le problème est envisagé avec deux stratégies différentes : calculer le profil de vitesse du véhicule sur un chemin prédéfini, ou bien rechercher un chemin admissible à partir d’une hypothèse sur la vitesse du véhicule. Premièrement, nous proposons une approche permettant d’adapter la vitesse d’un véhicule robotisé circulant dans un environnement « semi-contraint » en présence d’autres véhicules. L’approche utilise un ensemble de profils de vitesse de référence compatibles avec les capacités du véhicule et le confort de ses passagers. Des validations quantitatives en simulation ainsi que qualitatives sur un véhicule automatisé ont été menées, démontrant l’intérêt de l’approche. En second lieu, nous introduisons les « Reachable Interaction Sets » (RIS) comme nouveau cadre de travail permettant d’effectuer la planification de chemin parmi des obstacles se déplaçant plus rapidement que le robot. L'approche supprime l’aspect temporel du problème en émettant une hypothèse a priori sur la vitesse du robot, ramenant la planification à une recherche de chemin duale. Des évaluations quantitatives comparent cette approche à l'état de l'art existant, et démontrent l’intérêt des RIS<br>This thesis studies the trajectory planning of an automated vehicle surrounded by fast moving obstacles in an unconstrained environment (i.e. with no clear lane markings). Two main approaches are proposed: compute a speed profile on a given path, or find a valid path starting from a hypothesis on the speed of the vehicle. The first approach consists of a dynamic adaptation of the speed of an automated vehicle driving in a semi-constrained environment and in the presence of other vehicles. A set of speed profile references is used. They must be compatible with the dynamics of the vehicle and also comfortable for the passengers. Quantitative validations have been conducted in simulation together with qualitative validations on an automated vehicle, which demonstrate the benefits of this planning strategy. In the second approach, the « Reachable Interaction Sets » (RIS) are introduced as a new framework that allows to plan the trajectory of a vehicle surrounded by dynamic obstacles which move faster. The approach removes the temporal aspect of the problem by using a hypothesis about the speed of the vehicle. The remaining problem can be solved out by a static path finding algorithm. Quantitative validations show the advantage of planning approachs based on this framework compared to other state-of-the-art planning strategies

Dans un processus de conception centré sur l'utilisateur, les artefacts évoluent par cycles itératifs jusqu'à ce qu'ils répondent aux exigences des utilisateurs et deviennent ensuite le produit final. Chaque cycle donne l'occasion de réviser la conception et d'introduire de nouvelles exigences qui pourraient affecter les artefacts qui ont été définis dans les phases de développement précédentes. Garder la cohérence des exigences dans tels artefacts tout au long du processus de développement est une activité lourde et longue, surtout si elle est faite manuellement. Actuellement, certains cadres d'applications implémentent le BDD (Développement dirigé par le comportement) et les récits utilisateur comme un moyen d'automatiser le test des systèmes interactifs en construction. Les tests automatisés permettent de simuler les actions de l'utilisateur sur l'interface et, par conséquent, de vérifier si le système se comporte correctement et conformément aux exigences de l'utilisateur. Cependant, les outils actuels supportant BDD requièrent que les tests soient écrits en utilisant des événements de bas niveau et des composants qui n'existent que lorsque le système est déjà implémenté. En conséquence d'un tel bas niveau d'abstraction, les tests BDD peuvent difficilement être réutilisés avec des artefacts plus abstraits. Afin d'éviter que les tests doivent être écrits sur chaque type d'artefact, nous avons étudié l'utilisation des ontologies pour spécifier à la fois les exigences et les tests, puis exécuter des tests dans tous les artefacts partageant les concepts ontologiques. L'ontologie fondée sur le comportement que nous proposons ici vise alors à élever le niveau d'abstraction tout en supportant l'automatisation de tests dans des multiples artefacts. Cette thèse présente tel ontologie et une approche fondée sur BDD et les récits utilisateur pour soutenir la spécification et l'évaluation automatisée des exigences des utilisateurs dans les artefacts logiciels tout au long du processus de développement des systèmes interactifs. Deux études de cas sont également présentées pour valider notre approche. La première étude de cas évalue la compréhensibilité des spécifications des récits utilisateur par une équipe de propriétaires de produit (POs) du département en charge des voyages d'affaires dans notre institut. À l'aide de cette première étude de cas, nous avons conçu une deuxième étude pour démontrer comment les récits utilisateur rédigés à l'aide de notre ontologie peuvent être utilisées pour évaluer les exigences fonctionnelles exprimées dans des différents artefacts, tels que les modèles de tâche, les prototypes d'interface utilisateur et les interfaces utilisateur à part entière. Les résultats ont montré que notre approche est capable d'identifier même des incohérences à grain fin dans les artefacts mentionnés, permettant d'établir une compatibilité fiable entre les différents artefacts de conception de l'interface utilisateur<br>In a user-centered design process, artifacts evolve in iterative cycles until they meet user requirements and then become the final product. Every cycle gives the opportunity to revise the design and to introduce new requirements which might affect the artifacts that have been set in former development phases. Keeping the consistency of requirements in such artifacts along the development process is a cumbersome and time-consuming activity, especially if it is done manually. Nowadays, some software development frameworks implement Behavior-Driven Development (BDD) and User Stories as a means of automating the test of interactive systems under construction. Automated testing helps to simulate user's actions on the user interface and therefore check if the system behaves properly and in accordance with the user requirements. However, current tools supporting BDD requires that tests should be written using low-level events and components that only exist when the system is already implemented. As a consequence of such low-level of abstraction, BDD tests can hardly be reused with more abstract artifacts. In order to prevent that tests should be written to every type of artifact, we have investigated the use of ontologies for specifying both requirements and tests once, and then run tests on all artifacts sharing the ontological concepts. The resultant behavior-based ontology we propose herein is therefore aimed at raising the abstraction level while supporting test automation on multiple artifacts. This thesis presents this ontology and an approach based on BDD and User Stories to support the specification and the automated assessment of user requirements on software artifacts along the development process of interactive systems. Two case studies are also presented to validate our approach. The first case study evaluates the understandability of User Stories specifications by a team of Product Owners (POs) from the department in charge of business trips in our institute. With the help of this first case study, we designed a second one to demonstrate how User Stories written using our ontology can be used to assess functional requirements expressed in different artifacts, such as task models, user interface (UI) prototypes, and full-fledged UIs. The results have shown that our approach is able to identify even fine-grained inconsistencies in the mentioned artifacts, allowing establishing a reliable compatibility among different user interface design artifacts

Les récentes percées technologiques dans les domaines de l’actionnement, de la perception et de l’intelligence artificielle annoncent une nouvelle ère pour l’assistance à la conduite et les véhicules hautement automatisés. Toutefois, dans un contexte où l’automatisation demeure imparfaite, il est primordial de s’assurer que le système d’automatisation de la conduite puisse maintenir la conscience de la situation du conducteur afin que ce dernier puisse accomplir avec succès son rôle de supervision des actions du système. En même temps, le système doit pouvoir assurer la sécurité du véhicule et prévenir les actions du conducteur qui risqueraient de compromettre sa sécurité et celle des usagers de la route. Il est donc nécessaire d’intégrer dès la conception du système automatisé de conduite, la problématique des interactions avec le conducteur en réglant les problèmes de partage de tâche et de degré de liberté, d’autorité et de niveau d’automatisation du système. S’inscrivant dans le cadre du projet ANR-CoCoVeA (Coopération Conducteur-Véhicule Automatisé), cette thèse se penche de plus près sur la question de la coopération entre l’automate de conduite et le conducteur. Notre objectif est de fournir au conducteur un niveau d’assistance conforme à ses attentes, capable de prendre en compte ses intentions tout en assurant un niveau de sécurité important. Pour cela nous proposons un cadre général qui intègre l’ensemble des fonctionnalités nécessaires sous la forme d’une architecture permettant une coopération à plusieurs niveaux de la tâche de conduite. Les notions d’attribution des tâches et de gestion d’autorité avec leurs différentes nuances sont abordées et l’ensemble des fonctions du système identifiées dans l’architecture ont été étudiées et adaptées pour ce besoin de coopération. Ainsi, nous avons développé des algorithmes de décision de la manœuvre à effectuer, de planification de trajectoire et de contrôle qui intègrent des mécanismes leur permettant de s’adapter aux actions et aux intentions du conducteur lors d’un éventuel conflit. En complément de l’aspect technique, cette thèse étudie les notions de coopération sous l’angle des facteurs humains en intégrant des tests utilisateur réalisés sur le simulateur de conduite dynamique SHERPA-LAMIH. Ces tests ont permis à la fois de valider les développements réalisés et d’approfondir l’étude grâce à l’éclairage qu’ils ont apporté sur l’intérêt de chaque forme de coopération<br>The recent technological breakthroughs in the actuation, perception and artificial intelligence domains herald a new dawn for driving assistance and highly automated driving. However, in a context where the automation remains imperfect and prone to error, it is crucial to ensure that the automated driving system maintains the driver’s situation awareness in order to be able to successfully and continuously supervise the system’s actions. At the same time, the system must be able to ensure the safety of the vehicle and prevent the driver’s actions that would compromise his safety and that of other road users. Therefore, it is essential that the issue of interaction and cooperation with the driver is addressed throughout the whole system design process. This entails the issues of task allocation, authority management and levels of automation. Conducted in the scope of the projet ANR-CoCoVeA (French acronym for: "Cooperation between Driver and Automated Vehicle"), this thesis takes a closer look at the question of cooperation between the driver and automated driving systems. Our main objective is to provide the driver with a suitable assistance level that accounts for his intentions while ensuring global safety. For this matter, we propose a general framework that incorporates the necessary features for a successful cooperation at the different levels of the driving task in the form of a system architecture. The questions of task allocation and authority management are addressed under their different nuances and the identified system functionalities are studied and adapted to match the cooperation requirements. Therefore, we have developed algorithms to perform maneuver decision making, trajectory planning, and control that include the necessary mechanisms to adapt to the driver’s actions and intentions in the case of potential conflicts. In addition to the technical aspects, this thesis studies the cooperation notions from the human factor perspective. User test studies conducted on the SHERPA-LAMIH dynamic simulator allowed for the validation of the different developments while shedding light on the benefits of different cooperation forms

Dans un circuit asynchrone, la synchronisation entre les blocs est locale: on s'affranchit ainsi des contraintes liées à l'horloge. Ces circuits sont plus robustes, modulaires, moins bruités, et ont une consommation dynamique plus faible que les circuits synchrones. Cependant, le manque d'outils de conception de tels circuits freine leur développement. Cette thèse a permi de développer une technique de synthèse automatique de circuits asynchrones quasi insensibles aux délais (QDI), qui sont particulièrement robustes. La méthode de synthèse permet de synthétiser un circuit totalement décomposé en portes logiques élémentaires, ce qui permet d'effectuer une projection technologique. De plus, une étude formelle réalisée durant la thèse démontre que les circuits synthétisés respectent la contrainte de quasi insensibilité aux délais. Cette technique de synthèse a été développé au sein du projet TAST. Elle a été validée sur un ensemble de circuits de tests.