Malgré des progrès récents, développer une application d'informatique ubiquitaire reste un défi à cause d'un manque de canevas conceptuels et d'outils aidant au développement. Ce défi implique de prendre en charge des objets communicants hétérogènes, de surmonter la complexité des technologies de systèmes distribués, de définir l'architecture d'une application, et d'encoder cela dans un programme. De plus, tester des applications d'informatique ubiquitaire est problématique car cela implique d'acquérir, de tester et d'interfacer une variété d'entités logicielles et matérielles. Ce procédé peut rapidement devenir coûteux en argent et en temps lorsque l'environment ciblé implique de nombreuses entités.Cette thèse propose une méthodologie outillée pour développer et tester des applications d'informatique ubiquitaire. Notre méthodologie fournit tout d'abord le langage de conception DiaSpec. Ce langage permet de définir une taxonomie d'entités spécifiques à un domaine applicatif, s'abstrayant ainsi de leur hétérogénéité. Ce langage inclut également une couche permettant de définir l'architecture d'une application. Notre suite outillée fournit un compilateur qui, à partir de descriptions DiaSpec, génère un canevas de programmation guidant les phases d'implémentation et de test. Afin d'aider à la phase de test, nous proposons une approche de simulation et un outil intégré dans notre méthodologie outillée : l'outil DiaSim. Notre approche utilise le support de test généré par DiaSpec pour tester les applications de manière transparente dans un environnement physique simulé. La simulation d'une application est rendue graphiquement dans un outil de visualisation 2D.Nous avons combiné DiaSim avec un langage dédié permettant de décrire les phénomènes physiques en tant qu'équations différentielles. Cette combinaison nous permet une simulation réaliste des applications d'informatique ubiquitaire. DiaSim a été utilisé pour simuler des applications dans des domaines applicatifs variés. Notre approche de simulation a également été appliquée à un système avionique, démontrant la généralité de notre approche de simulation. / Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, and encoding it into a program. Moreover, testing pervasive computing applications is problematic because it requires acquiring, testing and interfacing a variety of software and hardware entities. This process can rapidly become costly and time-consuming when the target environment involves many entities.This thesis proposes a tool-based methodology for developing and testing pervasive computing applications. Our methodology first provides the DiaSpec design language that allows to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application. Our tool suite includes a compiler that takes DiaSpec design artifacts as input and generates a programming framework that supports the implementation and testing stages.To address the testing phase, we propose an approach and a tool integrated in our tool-based methodology, namely DiaSim. Our approach uses the testing support generated by DiaSpec to transparently test applications in a simulated physical environment. The simulation of an application is rendered graphically in a 2D visualization tool.We combined DiaSim with a domain-specific language for describing physical environment phenomena as differential equations, allowing a physically-accurate testing. DiaSim has been used to simulate various pervasive computing systems in different application areas. Our simulation approach has also been applied to an avionics system, which demonstrates the generality of our parameterized simulation approach.

Cette recherche porte sur l’exploration et la qualification des dispositifs évolutionnaires appliquées à la conception architecturale. Ici, ce sont les qualités environnementales et plus particulièrement les qualités solaires passives de l’enveloppe de l’édifice qui guideront le processus évolutionnaire. Nous nous attachons plus particulièrement aux phases initiales de la conception, et nous cherchons à spécifier un outil d’assistance favorisant et stimulant une conception créative. Après avoir établi et structuré une connaissance sur les processus de conception, sur la créativité, sur les qualités thermiques et sur les méthodes évolutionnaires, nous proposons un outil prototypal, fondé sur un algorithme génétique et implanté dans un logiciel de type modeleur. Celui-ci a été expérimenté dans le milieu pédagogique, et nous a conduit à caractériser les modalités de création et de conceptualisation de la forme architecturale dans le cadre d’une instrumentation évolutionnaire.Ainsi nous notons le basculement cognitif d’une pensée implicite vers une pensée explicite comme caractéristique fondamentalement de l’instrumentation générative. De plus nous insistons sur l’importance de l’indétermination signifiante comme composante essentielle de la création. Enfin nous proposons la notion de « trans-forme » comme élément caractéristique d’une pensée du processus et de la multiplicité. Cette « meta-forme » serait issue de la description des conditions de mise en forme à travers la paramétrisation des comportements aux limites et des modalités d’émergence / This research tackles the exploration and the qualification of evolutionary mechanisms applied to the architectural design. Here, it is the environmental qualities and more particularly the passive solar qualities of the envelope of the building that will guide the evolutionary process. We become attached more particularly to the initial phases of the conception, and we try to specify a aided digital tool of facilitating and stimulating a creative design. Having established and structured the knowledge on the processes of conception, on the creativity, on the thermal qualities and on the evolutionary methods, we propose a prototypal tool, based on an genetic algorithm and implanted in a modeller software. This one was experimented in the educational environment, and led to us to characterize the modalities of creation and conceptualization of the architectural shape within the framework of an evolutionary instrumentation.So we note the cognitive fall of an implicit thought towards an explicit thought as a main characteristic of the generative tools. Furthermore we insist on the importance of the significant indecision as essential constituent of the creation. Finally we propose the notion of "transform" as characteristic element of a thought of the process and the multiplicity. This "meta-shape" would arise from the description of the conditions of shaping through the parameterisation of the behaviours at the limits and from modalities of emergence

Récemment, l'approche à services est apparue en ayant pour but de construire des applications à partir d'entités logicielles, nommées services. Un service fournit un ensemble de fonctionnalités définies par une description de services. A partir de cette description, un consommateur de service peut rechercher un service qui corresponde à ses besoins, le sélectionner et l'invoquer. La construction d'applications par composition de services demeure néanmoins une activité complexe puisqu'il faut traiter conjointement les aspects métier et techniques ; la composition doit satisfaire aux exigences fonctionnelles et non-fonctionnelles ainsi que respecter les contraintes des technologies à services liées, notamment, à l'hétérogénéité des plates-formes. Par ailleurs, les points forts de l'architecture à services, qui sont la distribution et le déploiement des services sur des platesformes hétérogènes, ouvrent d'importantes failles de sécurité. Nous proposons une approche dirigée par les modèles pour simplifier la réalisation d'applications basées sur une orchestration de services hétérogènes en prenant en considération les aspects de sécurité dès l'étape de conception. Pour cela, nous avons défini deux méta-modèles : l'un pour l'orchestration de services et l'autre pour la sécurité, ainsi que des liens entre ces méta-modèles dans le but d'étendre l'orchestration avec des propriétés de sécurité. Ainsi, il est possible de réaliser des modèles d'orchestration de services hétérogènes et sécurisés conformes aux méta-modèles. A partir de ces modèles, nous générons le code nécessaire à l'exécution de l'orchestration. L'exécution se fait en fonction des modèles définis dans la phase de conception et des services disponibles qui répondent aux spécifications. Notre approche a été validée avec la plate-forme Secure FOCAS, qui a été réalisée dans le cadre du projet Européen ITEA SODA.

Dans les domaines critiques tels que l’avionique, le ferroviaire ou encore l’automobile, il faut, afin de pouvoir certifier un système, démontrer qu’il réalise la fonction pour laquelle il a été conçu, selon des exigences temporelles spécifiées. En effet, un rendu temporel trop long peut rendre des données erronées, et ainsi mettre en danger la sûreté des personnes. Aujourd’hui, la plupart des approches proposent d’assurer ces exigences de Qualité de service au niveau des couches basses, e.g., au travers d’une bande passante déterministe, d’allocation statique d’intervalles de temps, et d’un ordonnancement prédéfini. Ces contraintes assurent que les applications ne peuvent dépasser le temps d’exécution alloué ; les applications récupèrent de ce fait des exigences qui sont découplées de leur fonctionnalité. En revanche, il faut aussi pouvoir certifier des exigences temporelles spécifiques à une application. De là, les garanties au niveau des couches basses ne sont plus suffisantes. Il faudrait pouvoir prendre en compte ces exigences dès la phase de conception des applications. Aujourd’hui, la plupart des approches existant dans ce domaine se concentrent sur le support de QoS à des phases isolées du processus de développement logiciel, empêchant la traçabilité des exigences. Cette thèse propose une approche dirigée par la conception pour supporter les exigences de QoS tout au long du processus de développement logiciel, intégrée dans une méthodologie outillée, appelée DiaSuite. L’extension de QoS enrichit le langage de conception DiaSpec avec la capacité d’instancier les exigences de QoS sur les composants logiciels. Un support de surveillance à l’exécution de ces exigences temporelles est ensuite généré, directement à partir de la spécification. Cette thèse intègre uniformément les concepts temporels avec les concepts de gestion d’erreurs, au travers de la méthodologie DiaSuite, afin de proposer une couche de supervision qui puisse effectuer une reconfiguration applicative, dans le cas de violation de contrat de QoS. Les contributions de cette thèse sont évaluées au regard du respect des critères de cohérence et de conformité, illustrés au travers d’une étude de cas dans le domaine avionique. / In critical domains such as avionics, railways or automotive, to certify a system, it is required to demonstrate that it achieves its function, with respect to specified timing requirements. Indeed, longer-than-predicted function computing can make data erroneous, leading potentially to endanger people lives. Today, most approaches propose to ensure these Quality of Service requirements at platform level, e.g., through deterministic bandwidth, static time slots allocation and predefined scheduling. These constraints ensure applications can’t overpass allocated time slots; applications are then fed with requirements decoupled to their functionality. However, it shall be possible to certify timing requirements, dedicated to an application. Hence, guarantees at platform-level are not sufficient anymore. It should be possible to take into account these requirements from the stage of application design. Today, most of existing approaches in this domain, focus on supporting QoS at individual stages of the software development process, preventing requirements traceability. This thesis proposes a design-driven approach to supporting QoS throughout software development process, integrated in a tool-based methodology, namely DiaSuite. The QoS extension enriches the DiaSpec design language, with the capability to instantiate QoS requirements onto software components. A runtime execution support to monitoring these timing requirements, is then generated, directly from the specification. This thesis uniformly integrates timing concepts with error ones, around DiaSuite methodology, to propose a supervision layer that could lead to application reconfiguration in case of QoS contract violation. Contributions of this thesis are evaluated through respect of coherence and conformance critera, illustrated through a case study in avionics.

Title: Children's Philosophical Abilities: An Interdisciplinary Inquiry Into Children's Ability To Practice Philosophy. Author: Abou Khalil, Charbel Supervisor: Maesschalck, Marc Academic year: 2020-2021 Title of the study programme: Erasmus Mundus Master's Degree in French and German Philosophies: Contemporary Challenges. Abstract: Is the child capable of philosophising? The doxa answers in the negative. In fact, childhood has long been equated with intellectual immaturity. According to the work of Jean Piaget, which continues to guide many current pedagogical practices, philosophy, requiring inner dialogue, abstraction, and formal logic, is inaccessible to children whose thinking is egocentric, concrete and irrational. Yet, since the 1970s, we have witnessed the emergence of new pedagogical practices, designed for the philosophical education of children from the age of five: Philosophy for Children (P4C), advocated by Matthew Lipman, is based on the principle of educational interventionism, and seeks to challenge the child's reason in order to discover its dormant cognitive potential. With its theoretical foundations in John Dewey's pragmatism and Lev Vygotsky's social constructivism, it opposes the Piagetian conception of cognitive development and challenges the three characteristics of the child's...

Dans les langues à tons, l'approche autosegmentale de la grammaire generative rend compte de l'association entre le palier segmentai et le palier tonologique. Dans cette optique, il serait vain d'entreprendre une étude morphosyntaxique d'une langue, comme le kinyarwanda, sans tenir en considération sa structure tonologique. En effet, en l'absence d'un élément morphémique qui puisse rendre compte du mode en kinyarwanda, les morphotonèmes s'avèrent indispensables dans l'identification des modes de cette langue. Ainsi, ils permettent d'identifier trois modes, à savoir, Vindicatif, Y impératif si le conditionnel. Un réexamen des modes dits traditionnels, qui ne s'appuient que sur l'aspect uniquement sémantique, montre également que les modes du kinyarwanda peuvent être limités à trois. Cette agréable coïncidence entre les modes traditionnels révisés et les modes identifiés à l'aide des morphotonèmes constitue une grande part de solution à un problème qui s'est longtemps manifesté dans l'étude du verbe kinyarwanda. En outre, les morphotonèmes font état de la prépondérance du mode indicatif, représenté par le morphotonème D', sur les deux autres, de par même le statut de pivot assigné à cet élément ainsi que l'espace (85,18 %) réservé à ce mode dans le tableau des tiroirs. Dans cette perspective, l'unicité de ce mode, dont on a parlé dans certaines langues, reste à vérifier dans les études ultérieures mais cette étude en révèle l'éventualité.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2009-2010 / Dans notre travail, nous examinons les structures comparatives adjectivales en russe telle que Anna vyse rostomixsm ce/wiNSTR PetjûrioM 'Anna is taller than Peter with respect to her height.' Basé sur l'observation que cent 'than', qui introduit une clause comparative en russe, est un V/.-word' portant un Cas instrumental, nous proposons, en s'appuyant sur l'approche de 'w/î-movement' concernant la dérivation des structures comparatives en anglais (cf. Chomsky, 1977; Kennedy, 1997; parmi d'autres) que la clause comparative en russe est dérivée par le 'w/z-movement' de cent 'than' de la position de l'argument adjectival où le Cas instrumental est assigné. Notre propos principal est que le Cas instrumental de cem 'than' est un Cas assigné par l'adjectif vers son 'Dimension-argument', ce dernier identifie la dimension selon laquelle l'adjectif est interprété. Nous montrons que la présence de ce 'Dimension-argument' peut expliquer quelques phénomènes particuliers en russe telle que l'impossibilité de 'Subdeletion' et éclaircir notre compréhension de la modification de degré de l'adjectif

Le but de cette thèse est de caractériser ce qui se passe à la jonction entre le système linguistique et le système conceptuel de notre esprit. Nous défendons la thèse selon laquelle le système linguistique de notre esprit encode des règles permettant de manipuler directement des représentations mentales dotées d'un contenu sémantique. Après avoir examiné les propositions des formalistes du début du XXe siècle (Frege, Russell), des sémanticiens formels (Montague, Lewis) et de la pragmatique de Grice, nous développons notre propre théorie. Nous nous servons des travaux de Chomsky pour développer une théorie unifiée de l'interface langage/pensée dont nous montrons qu'elle rend compte des données neuropsychologiques concernant le traitement linguistique. Nous testons alors notre théorie en l'appliquant au problème des implicatures enchâssées et terminons en signalant ses applications possibles en TALN, à la clarification de l'hypothèse du langage de la pensée et à la distinction sémantique/pragmatique.

Le besoin constant de puissance de calcul a poussé les développeurs à concevoir de nouvelles architectures: les architectures parallèles. Le calcul scientifique dépend fortement des performances de ces dernières afin de fournir des résultats dans un temps optimal. Les applications scientifiques exécutées sur de tels systèmes doivent alors tirer partie des spécificités de ces nouvelles architectures pour être efficaces.Cette thèse présente une nouvelle approche pour la conception de logiciels embarquant des optimisations relatives aux architectures : l'approche AADEMRAL (Architecture Aware DEMRAL). Cette méthodologie a pour but de simplifier le développement de bibliothèques de calcul parallèle avec un support multi-Architectural grâce à une approche générique et générative.Cette nouvelle méthodologie est ensuite intégrée dans trois bibliothèques. La première d'entre elles, Boost.Dispatch, permet de concevoir des logiciels basés sur l'approche AADEMRAL. Boost.Dispatch est une bibliothèque C++fournissant une interface générique pour réaliser de la surcharge de fonction avisée de l'architecture sous-Jacente. Ensuite nous présentons deux bibliothèques C++ implémentées en tant que langages orientés domaine : Boost.SIMD et NT2. Leurs conceptions mettent en œuvre la méthodologie AADEMRAL et leurs implémentations sont basées sur Boost.Dispatch. Boost.SIMD propose une interface de haut niveau pour la programmation des unités vectorielles.NT2 se base sur une interface similaire à celle de Matlab et fournie un support pour les systèmes multi-Cœurs et les unités vectorielles. Enfin, nous validons les performances de ces deux outils ainsi que la robustesse de notre nouvelle approche en présentant une série de résultats obtenus sur des applications de référence. / The constant increasing need for computing power has pushed the development of parallel architectures. Scientific computing relies on the performance of such architectures to produce scientific results. Programming efficient applications that takes advantage of these computing systems remains a non trivial task. In this thesis, we present a new methodology to design architecture aware software: the AA-DEMRAL methodology. This methodology aims at simplifying the development of parallel programming tools with multi-Architectural support through a generic and generative approach. We then present three high level programming tools that rely on this approach. First, we introduce the Boost.Dispatch library that provides a way to develop software based on the AA-DEMRAL methodology. The Boost.Dispatch library is a C++ generic framework for architecture aware function dispatching. Then, we present two C++ template libraries implemented as Architecture Aware DSELs which assess the AA-DEMRAL methodology through the use of Boost.Dispatch: Boost.SIMD, that provides a high level API for SIMD extensions and NT2 , which propose a Matlab like interface with support for multi-Core and SIMD based systems. We assess the performance of these libraries and the validity of our new methodology through benchmarks.

Dans le domaine des plates-formes ouvertes, l’utilisation des cadriciels (frameworks) enrichis par des déclarations pour exprimer les permissions de l’application est de plus en plus répandue. Ceci est une réaction logique au fait qu’il y a une explosion d’adoption des appareils embarqués et mobiles. Leur omniprésence dans notre vie quotidienne engendre des craintes liées à la sécurité et à la vie privée, car l’usager partage de plus en plus ses données et ressources privées avec des tiers qui développent des applications auxquelles on n’a pas de raison de faire confiance. Malheureusement, la manière dont ces langages de spécification ainsi que ces cadres d’applications sont développés est généralement assez ad hoc et repose sur un domaine d’application et un langage de programmation fixes. De plus, ces cadriciels ne sont pas assez restrictifs pour régler le problème de la fuite de données privées et ne donnent souvent pas non plus assez d’informations à l’usager sur le comportement attendu de l’application. Cette thèse présente une méthodologie généraliste pour développer des cadriciels dirigés par des déclarations, qui cible un spectre large de langages de programmation. Nous montrons comment des langages de déclaration expressifs permettent de spécifier avec modularité les droits d’accès aux ressources ainsi que le flux de contrôle d’une telle application. Ces langages peuvent ensuite être compilés en un cadriciel garantissant à l’usager final le respect de ces permissions. Par rapport aux cadriciels existants, notre méthodologie permet de guider la personne qui développe des applications à partir des spécifications ainsi que d’informer l’usager final sur l’usage des ressources sensibles. Contrairement aux travaux existants, la méthodologie présentée dans cette thèse ne repose par sur un langage de programmation particulier. Nous montrons comment mettre en oeuvre de tels cadriciels dans un spectre de langages : des langages avec typage statique ou dynamique, et suivant le paradigme objet ou fonctionnel. L’efficacité de l’approche est montrée à travers des prototypes dans le domaine des applications mobiles dans deux langages très différents, à savoir Java et Racket, ce qui montre la généralité de notre approche. / In the domain of open platforms, it has become common to use application programming frameworks extended with declarations that express permissions of applications. This is a natural reaction to ever more widespread adoption of mobile and pervasive computing devices. Their wide adoption raises privacy and safety concerns for users, as a result of the increasing number of sensitive resources a user is sharing with non-certified third-party application developers. However, the approach to designing these declaration languages and the frameworks that enforce their requirements is often ad hoc, and limited to a specific combination of application domain and programming language. Moreover, most widely used frameworks fail to address serious privacy leaks, and, crucially, do not provide the user with insight into application behaviour. This dissertation presents a generalised methodology for developing declaration-driven frameworks in a wide spectrum of host programming languages. We show that rich declaration languages, which express modularity, resource permissions and application control flow, can be compiled into frameworks that provide strong guarantees to end users. Compared to other declaration-driven frameworks, our methodology provides guidance to the application developer based on the specifications, and clear insight to the end user regarding the use of their private resources. Contrary to previous work, the methodology we propose does not depend on a specific host language, or even on a specific programming paradigm. We demonstrate how to implement declaration-driven frameworks in languages with static type systems, completely dynamic languages, object-oriented languages, or functional languages. The efficacy of our approach is shown through prototypes in the domain of mobile computing, implemented in two widely differing host programming languages, demonstrating the generality of our approach.