Les décideurs sont de plus en plus souvent confrontés à des problèmes complexes qui touchent des millions de personnes. Ils souhaitent faire face à ces problèmes avec le maximum d'éléments objectifs et prendre leur décision en tenant compte des intérêts de toutes les parties prenantes. Ces éléments doivent leur permettre de choisir rationnellement la meilleure solution, d'être en mesure d'expliquer et de justifier leur choix. Dans ce document, nous examinons dans un premier temps les systèmes informatiques d'aide à la décision et les liens qui existent entre la modélisation du problème et l'aide à la décision. Nous proposons une nouvelle approche des systèmes informatiques d'aide à la décision qui est basée sur l'utilisation combinée d'un modèle individus centrés construit suivant le paradigme multi-agents et d'un système d'informations géographiques. Après avoir mis en évidence les avantages de cette approche hybride, nous examinons les connaissances qui sont mobilisées dans un processus de prise de décision. Nous précisons quelles sont les relations qui existent dans ce cadre entre le modèle multi-agents et le système d'informations géographiques. Poursuivant nos travaux, nous proposons une architecture de plateforme de développement d'outils d'aide à la décision dédiés aux problèmes ayant une composante spatiale qui prend en compte les comportements individuels. Nous implémentons cette architecture en utilisant une plateforme multi-agents et un système d'informations géographiques existants. Nous validons nos travaux en développant suivant notre approche hybride un système informatique d'aide à la décision dédié au problème de l'eau.

Le contexte aéronautique a depuis plusieurs années mis en évidence le besoin croissant de technologies de sécurité permettant d'éviter des utilisations malveillantes des matériels ou services installés à bord des avions. La plupart des approches de sécurisation 'avion' se concentre sur des méthodes et techniques permettant de sécuriser les échanges au sein de l'avion. Elles sont cependant inadaptées à la sécurisation dans les cas d'interconnexion des réseaux avioniques avec le reste des réseaux de communication (réseau Internet par exemple). Le problème abordé dans ce travail de thèse vise donc à proposer une architecture de sécurité et de sûreté pour l'ensemble des communications aéronautiques et permettant une interconnexion sécurisée entre le monde 'avion' et le monde extérieur, en tenant compte de l'ensemble des critères de sécurité qui caractérisent les divers environnements traversés et considère dès le départ les divers principes de standardisation associés afin de garantir la pérennité scientifique et industrielle. La solution architecturale proposée dans ce travail de thèse repose principalement sur un composant central de routage, de filtrage et de sécurisation des flux de données aéronautiques. Le travail de conception et de développement de ce composant appelé Routeur Sécurisé de Nouvelle Génération (routeur SNG) a permis une validation expérimentale sur un système reproduisant un système embarqué.

Ce travail de recherche s'inscrit dans le cadre des environnements virtuels pour la formation aux instruments de diagnostic biomédical. La simulation de la situation réelle seule ne suffisant pas, il convient d'incorporer un scénario pédagogique pour construire l'apprentissage. Le scénario s'applique pour tous les apprenants, il est donc important d'intégrer des possibilités d'individualisation. Pour cela, nous proposons de coupler l'environnement virtuel à un Système Tutoriel Intelligent (STI). Notre étude débute par une identification des systèmes existants qui nous semblent les mieux adaptés, sur lesquels baser notre proposition : le STI Pegase, le modèle de scénario pédagogique Poseidon et le méta-modèle Mascaret. Ceci nous permet également d'identifier les limites de Pegase qui sont : le manque de lien avec le scénario pédagogique, le manque de modularité et le manque d'individualisation. Notre proposition, appelée Chrysaor, vise à combler ces faiblesses. Nous proposons ainsi qu'un scénario pédagogique soit une connaissance explicite et par conséquent exploitable par un STI. Les concepts proposés dans notre modèle permettent également au formateur de facilement modifier les comportements, les rôles et les affectations (humain ou agent autonome) : notre système devient ainsi modulaire. Nous illustrons ensuite l'utilisation de Chrysaor dans une application de formation par la réalité virtuelle à un instrument de diagnostic en hémostase utilisé en milieu hospitalier. Sur cette application, des expérimentations comparant les deux types de formation (traditionnelle et virtuelle) permettent de vérifier la qualité de l'apprentissage obtenu par une formation en réalité virtuelle, et de vérifier que ces connaissances sont transférables en environnement réel.

Ces travaux de thèse apportent une contribution aux domaines de l'informatique pervasive et du travail collaboratif assisté par ordinateur. Nous explorons ces domaines par une présentation étendue de différents travaux se rapportant aux modèles de collaboration, aux différentes conceptions ainsi qu'aux méthodes d'évaluation. Notre principale contribution pour ces domaines est le modèle PCSCW, qui propose une approche original pour l'intégration de l'aspect pervasif au sein de la collaboration. En se basant sur un modèle ontologique représentant le contexte des utilisateurs ainsi que sur un ensemble de règles de collaborations entres machines, notre travail permet aux dispositifs intelligents d'analyser et de trouver la meilleure façon de se comporter et de collaborer avec les autres machines de l'environnement afin de canaliser et de faciliter de manière transparente et efficace la collaboration entres les humains. Nous proposons également une méthodologie permettant aux développeurs de systèmes collaboratifs pervasifs de construire leurs propres stratégies d'évaluations.

Les travaux de thèse s'inscrivent dans le domaine des Environnements Informatiques pour l'Apprentissage Humain (EIAH). Ils portent sur la proposition de processus, méthodes et outils pour assister les enseignants et les formateurs dans la réutilisation et la capitalisation des scénarios d'apprentissage. L'approche proposée nommée CAPtuRe a pour objectif de modéliser, évaluer et exploiter les informations contextuelles relatives à un scénario en se basant sur des observations effectives de ce dernier pour améliorer la réutilisation.Les problématiques étudiées concernent : (1) l'expression et l'analyse du contexte d'usage, (2) l'évaluation de la pertinence du scénario dans un contexte précis, (3) l'indexation des contextes sur la base de critères de réussite et d'efficacité du scénario pour la définition de son périmètre de réutilisation et (4) la suggestion proactive de réutilisation.Nous avons commencé par la spécification d'un cadre global d'ingénierie et de réutilisation de scénarios d'apprentissage. Dans ce cadre, nous avons défini un processus qui spécifie le cycle de vie du scénario explicitant la dimension contextuelle et son utilisation dans un environnement de "conception par la réutilisation". Pour opérationnaliser ce processus, nous avons défini une approche générique de modélisation de l'information contextuelle enrichie par les indicateurs, une méthode d'indexation et un algorithme de calcul de similarités contextuelles pour la sélection et la recommandation de scénarios appropriés à une situation d'apprentissage cible. Ces contributions ont été implémentées sous la forme d'une plateforme logicielle et appliquées sur des cas d'usage de scénarios hybrides. / The work presented in this thesis is a part of the Technology Enhanced Learning domain. It focuses on the proposal of processes, methods and tools that assist teachers and trainers in the reuse and the capitalization of educational scenarios. The objective of the proposed approach named CAPtuRe is to model, evaluate and exploit the contextual information related to a scenario based on its effective observations with the aim to enhance reuse. The main concerns are: (1) the expression and the analysis of the usage context, (2) the evaluation of the relevance of the scenario in a specific context, (3) the indexing of the contexts based on criteria of success and effectiveness of the scenario to define its reuse scope and (4) the proactive suggestion of reuse. We started by specifying a global framework for the engineering and the reuse of educational scenarios. In this context, we have defined a process specifying the scenario lifecycle introducing the contextual dimension and its utilization in a "design by reuse" environment. In order to operationalize this process, we define a generic approach to model the contextual information of a scenario that is enriched by the indicators, an indexing method and an algorithm calculating contextual similarities for the selection and the recommendation of appropriated scenarios to a target learning situation. These contributions are implemented as a software platform and applied to hybrid scenarios usage cases.

Optimisation of Performance Metrics of Embedded Hard Real-Time Systems using Software/Hardware Parallelism. Nowadays, embedded systems are part of our daily lives.Some of these systems are called safetycritical and have strong requirements in terms of safety and reliability.Additionally, these systems must have a long autonomy, good performance and minimal costs.Finally, these systems must exhibit predictable behaviour and provide their results within firm deadlines.When these different constraints are combined in the requirement specifications of a modern product, classic design techniques making use of single core platforms are not sufficient.Academic research in the field of real-time embedded systems has produced numerous techniques to exploit the capabilities of modern hardware platforms.These techniques are often based on using parallelism inherently present in modern hardware to improve the system performance while reducing the platform power dissipation.However, very few systems existing on the market are using these state-of-the-art techniques.Moreover, few of these techniques have been validated in the context of practical experiments.In this thesis, we realise the study of operating system level techniques allowing to exploit hardware parallelism through the implementation of parallel software in order to boost the performance of target applications and to reduce the overall system energy consumption while satisfying strict application timing requirements.We detail the theoretical foundations of the ideas applied in the dissertation and validate these ideas through experimental work.To this aim, we use a new Real-Time Operating System kernel written in the context of the creation of a spin-off of the Université libre de Bruxelles.Our experiments are based on the execution of applications on the operating system which run on a real-world platform for embedded systems.Our results show that, compared to traditional design techniques, using parallel and power-aware scheduling techniques in order to exploit hardware and software parallelism allows to execute embedded applications with substantial savings in terms of energy consumption.We present future and ongoing research work that exploit the capabilities of recent embedded platforms.These platforms combine multi-core processors and reconfigurable hardware logic, allowing further improvements in performance and energy consumption. / Optimisation de Métriques de Performances de Systèmes Embarqués Temps Réel Durs par utilisation du Parallélisme Logiciel et Matériel. De nos jours, les systèmes embarqués font partie intégrante de notre quotidien.Certains de ces systèmes, appelés systèmes critiques, sont soumis à de fortes contraintes de fiabilité et de robustesse.De plus, des contraintes de coûts, d’autonomie et de performances s’additionnent à la fiabilité.Enfin, ces systèmes doivent très souvent respecter des délais très stricts de façon prédictible.Lorsque ces différentes contraintes sont combinées dans le cahier de charge d’un produit, les techniques classiques de conception consistant à utiliser un seul cœur d’un processeur ne suffisent plus.La recherche académique dans le domaine des systèmes embarqués temps réel a produit de nombreuses techniques pour exploiter les plate-formes modernes.Ces techniques sont souvent basées sur l’exploitation du parallélisme inhérent au matériel pour améliorer les performances du système et la puissance dissipée par la plate-forme.Cependant, peu de systèmes existant sur le marché exploitent ces techniques de la littérature et peu de ces techniques ont été validées dans le cadre d’expériences pratiques.Dans cette thèse, nous réalisons l’étude des techniques, au niveau du système d’exploitation, permettant l’exploitation du parallélisme matériel par l’implémentation de logiciels parallèles afin de maximiser les performances et réduire l’impact sur l’énergie consommée tout en satisfaisant les contraintes temporelles strictes du cahier de charge applicatif. Nous détaillons les fondements théoriques des idées qui sont appliquées dans la dissertation et nous les validons par des travaux expérimentaux.A ces fins, nous utilisons le nouveau noyau d’un système d’exploitation écrit dans le cadre de la création d’une spin-off de l’Université libre de Bruxelles.Nos expériences, basées sur l’exécution d’applications sur le système d’exploitation qui s’exécute lui-même sur une plate-forme embarquée réelle, montre que l’utilisation de techniques d’ordonnancement exploitant le parallélisme matériel et logiciel permet de larges économies d’énergie consommée lors de l’exécution d’applications embarquées.De futurs travaux en cours de réalisation sont présentés.Ceux-ci exploitent des plate-formes innovantes qui combinent processeurs multi-cœurs et matériel reconfigurable, permettant d’aller encore plus loin dans l’amélioration des performances et les gains énergétiques. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

De nos jours, les smartphones et les tablettes génèrent, reçoivent, mémorisent et transfèrent vers des serveurs une grande quantité de données en proposant des services aux utilisateurs via des applications mobiles facilement téléchargeables et installables. Le grand nombre de capteurs intégrés dans un smartphone lui permet de collecter de façon continue des informations très précise sur l'utilisateur et son environnement. Cette importante quantité de données privées et professionnelles devient difficile à superviser.L'approche «Privacy by Design», qui inclut sept principes, propose d'intégrer la notion du respect des données privées dès la phase de la conception d’un traitement informatique. En Europe, la directive européenne sur la protection des données privées (Directive 95/46/EC) intègre des notions du «Privacy by Design». La nouvelle loi européenne unifiée (General Data Protection Régulation) renforce la protection et le respect des données privées en prenant en compte les nouvelles technologies et confère au concept de «Privacy by Design» le rang d’une obligation légale dans le monde des services et des applications mobiles.L’objectif de cette thèse est de proposer des solutions pour améliorer la transparence des utilisations des données personnelles mobiles, la visibilité sur les systèmes informatiques, le consentement et la sécurité pour finalement rendre les applications et les systèmes mobiles plus conforme au «Privacy by (re)Design» / Nowadays, smartphones and smart tablets generate, receive, store and transfer substantial quantities of data, providing services for all possible user needs with easily installable programs, also known as mobile applications. A number of sensors integrated into smartphones allow the devices to collect very precise information about the owner and his environment at any time. The important flow of personal and business data becomes hard to manage.The “Privacy by Design” approach with 7 privacy principles states privacy can be integrated into any system from the software design stage. In Europe, the Data Protection Directive (Directive 95/46/EC) includes “Privacy by Design” principles. The new General Data Protection Regulation enforces privacy protection in the European Union, taking into account modern technologies such as mobile systems and making “Privacy by Design” not only a benefit for users, but also a legal obligation for system designers and developers.The goal of this thesis is to propose pattern-oriented solutions to cope with mobile privacy problems, such as lack of transparency, lack of consent, poor security and disregard for purpose limitation, thus giving mobile systems more Privacy by (re) Design

Les systèmes informatiques sont devenus de plus en plus distribués et hétérogènes, ce qui rend leur administration manuelle difficile et source d'erreurs. L'administration autonome a été proposée comme solution à ce problème. Elle consiste à automatiser l'administration des systèmes informatiques à l'aide de boucles de contrôle appelées gestionnaires autonomes. De nombreux travaux de recherche se sont intéressés à l'automatisation des fonctions d'administration de systèmes informatiques et aujourd'hui, beaucoup de gestionnaires autonomes sont disponibles. Toutefois, les gestionnaires autonomes existants sont, la plupart, spécialisés dans la gestion de quelques aspects d'administration. Cela rend nécessaire la coexistence de plusieurs gestionnaires autonomes pour atteindre une gestion globale des systèmes. La coexistence de plusieurs gestionnaires permet la gestion de plusieurs aspects, mais nécessite des mécanismes de coordination afin d'éviter des décisions incohérentes. Nous étudions l'utilisation de techniques de contrôle pour la conception de contrôleurs de coordination, nous utilisons la programmation synchrone qui fournit des méthodes formelles, et la synthèse de contrôleur discret pour automatiser la construction de contrôleur. Nous suivons une approche à base de composants, et utilisons le contrôle discret modulaire qui permet de décomposer la complexité combinatoire inhérente à la technique d'exploration d'espace d'états. Cela améliore le passage à l'échelle de notre approche et permet la construction d'un contrôle hiérarchique. Notre approche permet la réutilisation de gestionnaires complexes dans des contextes différents, sans modifier leurs spécifications de contrôle. Nous construisons une coordination de gestionnaires basée sur le modèle à composants offrant introspection, adaptabilité et reconfiguration. Cette thèse présente notre méthodologie et des études de cas. Nous évaluons et démontrons les avantages de notre approche par la coordination de gestionnaires autonomes dédiés à la gestion de la disponibilité, et à la gestion de la performance et l'optimisation de ressources. / Computing systems have become more and more distributed and heterogeneous, making their manual administration difficult and error-prone. The Autonomic Computing approach has been proposed to overcome this issue, by automating the administration of computing systems with the help of control loops called autonomic managers. Many research works have investigated the automation of the administration functions of computing systems and today many autonomic managers are available. However the existing autonomic managers are mostly specialized in the management of few administration concerns. This makes necessary the coexistence of multiple autonomic managers for achieving a global system management. The coexistence of several managers make possible to address multiple concerns, yet requires coordination mechanisms to avoid incoherent management decisions. We investigate the use of control techniques for the design of coordination controllers, for which we exercise synchronous programming that provide formal semantics, and discrete controller synthesis to automate the construction of the controller. We follow a component-based approach, and explore modular discrete control allowing to break down the combinatorial complexity inherent to the state-space exploration technique. This improves scalability of the approach and allows constructing a hierarchical control. It also allows re-using complex managers in different contexts without modifying their control specifications. We build a component-based coordination of managers, with introspection, adaptivity and reconfiguration. This thesis details our methodology and presents case-studies. We evaluate and demonstrate the benefits of our approach by coordinating autonomic managers which addresse the management of availability, and the management of performance and resources optimization.

Une très grande effervescence secoue le monde de la physique des particules depuis le lancement du grand collisionneur de hadrons (LHC) au CERN. Cette énorme machine capable de faire se collisionner des protons à des énergies égales à 14 TeV promet de lever le voile sur la physique régissant les interactions à ces échelles d’énergies. Ces résultats sont d’autant plus attendus que l’on a acquis la certitude que le Modèle Standard de la physique des particules est incomplet et devrait, en fait, être interprété comme la théorie effective d’une théorie plus fondamentale. Toutefois, depuis le lancement des expériences au LHC avec des énergies de 7 puis de 8 TeV aucun signe de nouvelle physique n’a été découvert. Par contre, un énorme bond en avant a été franchi avec la découverte d’une particule scalaire de masse égale à 125 GeV et dont les propriétés sont relativement proches de celles du boson de Higgs telles que prédites par le Modèle Standard. C’est dans ce contexte de forte émulation internationale que mon travail de thèse s’est inscrit. Dans un premier temps, nous avons voulu explorer la phénoménologie associée au secteur des neutralinos et charginos du modèle supersymétrique symétrique gauche-droit. Cette étude peut être motivée par plusieurs raisons notamment le fait que leur caractère supersymétrique apporte une solution au problème dit de la hiérarchie mais implique aussi l’unification des constantes de jauge ainsi que l’explication de la matière noire. L’introduction de la symétrie entre les fermions gauchers et les fermions droitiers permet, quant à elle, d’expliquer naturellement, via le mécanisme dit de la balançoire, la petitesse de la masse des neutrinos mais aussi de répondre à plusieurs autres questions non solubles dans le cadre du Modèle Standard. Nous concentrant uniquement sur le secteur des charginos et neutralinos les plus légers, nous avons montré que ces modèles peuvent être facilement mis en évidence dans les évènements multi-leptoniques en ce sens que les signatures qu’ils induisent sont tr`es différentes comparées à celles du Modèle Standard et de sa version supersymétrique.[...] / The field of high-energy physics has been living a very exciting period of its history with the Large Hadron Collider (LHC) at CERN collecting data. Indeed, this enormous machine able to collide protons at a center of mass energy of 14 TeV promises to unveil the mystery around the physics at such energy scales. From the physicists side, the expectations are very strong as it isnowadays a certitude that the Standard Model of particle physics is incomplete and should, in fact, be interpreted as the effective theory of a more fundamental one. Unfortunately, the 7 and 8 TeV runs of the LHC did not provide any sign of new physics yet but there has been at least one major discovery in 2010, namely the discovery of a scalar particle with a mass of 125 GeV and whichproperties are very close to those of the Standard Model Higgs boson. Since then, many questions have come up as we now want to understand if it really is the Standard Model Higgs boson or if it exhibits any deviations. It is in this peculiar context that my research work was carried. In a first project, we, my supervisors, our collaborator and I, have wanted to explore thephenomenology associated with the neutralinos and charginos sector of the left-right symmetric supersymmetric model. Such an analysis can be motivated by several reasons such as the fact that the supersymmetric nature of these models provides a natural explanation for the infamous hierarchy problem, implies the unification of the gauge coupling constants at very high energy and provides a natural candidate for dark matter. In addition to these nice features, the left-right symmetry introduces a natural framework for explaining the smallness of neutrino masses but also helps in addressing several other unresolved issues in the Standard Model framework. Only focusing on the lightest charginos and neutralinos decaying into one or more light leptons, we have shown in our study that these models can be easily discovered in multi-leptonic final states as theylead to signatures very different from those induced by the Standard Model or its supersymmetric version.[...]

This thesis presents the author's contribution <p>to the design and implementation of COOLFluiD,<p>an object oriented software platform for <p>the high performance simulation of multi-physics phenomena on unstructured grids. In this context, the final goal has been to provide a reliable tool for handling high speed aerothermodynamic <p>applications. To this end, we introduce a number of design techniques that have been developed in order to provide the framework with flexibility<p>and reusability, allowing developers to easily integrate new functionalities such as arbitrary mesh-based data structures, numerical algorithms (space discretizations, time stepping schemes, linear system solvers, ),and physical models. <p>Furthermore, we describe the parallel algorithms <p>that we have implemented in order to efficiently <p>read/write generic computational meshes involving <p>millions of degrees of freedom and partition them <p>in a scalable way: benchmarks on HPC clusters with <p>up to 512 processors show their effective suitability for large scale computing. <p>Several systems of partial differential equations, <p>characterizing flows in conditions of thermal and <p>chemical equilibrium (with fixed and variable elemental fractions)and, particularly, nonequilibrium (multi-temperature models) <p>have been integrated in the framework. <p>In order to simulate such flows, we have developed <p>two state-of-the-art flow solvers: <p>1- a parallel implicit 2D/3D steady and unsteady cell-centered Finite Volume (FV) solver for arbitrary systems of PDE's on hybrid unstructured meshes; <p>2- a parallel implicit 2D/3D steady vertex-centered Residual Distribution (RD) solver for arbitrary systems of PDE's on meshes with simplex elements (triangles and tetrahedra). <p>The FV~code has been extended to handle all <p>the available physical models, in regimes ranging from incompressible to hypersonic. <p>As far as the RD code is concerned, the strictly conservative variant of the RD method, denominated CRD, has been applied for the first time in literature to solve high speed viscous flows in thermochemical nonequilibrium, yielding some preliminary outstanding results on a challenging double cone flow simulation. <p>All the developments have been validated on real-life testcases of current interest in the aerospace community. A quantitative comparison with experimental measurements and/or literature has been performed whenever possible. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished