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. / 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.

La tomographie 3D par rayons X, utilisée tant pour le diagnostic médical que pour le contrôle non-destructif industriel, permet de reconstruire un objet en 3D à partir d’un ensemble de ses projections 2D. Le volume de reconstruction est usuellement discrétisé sur une grille régulière de voxels isotropes ce qui implique une augmentation de leur nombre pour atteindre une bonne résolution spatiale. Une telle représentation peut donc engendrer des coûts calculatoires et un volume mémoire de stockage particulièrement conséquents. Ce manuscrit présente une méthode permettant de discrétiser l’espace 3D de reconstruction de façon pertinente directement à partir de l’information structurelle contenue dans les données de projection. L’idée est d’obtenir une représentation adaptée à l’objet étudié. Ainsi, en lieu et place d’une grille voxélisée, on a recourt ici à un maillage tétraédrique épousant la structure de l’objet : la densité de mailles s’adapte en fonction des interfaces et des régions homogènes. Pour batir un tel maillage, la première étape de la méthode consiste à détecter les bords dans les données de projections 2D. Afin d’assurer une segmentation efficace et de bonne qualité, nous proposons d’exploiter le formalisme des tests statistiques pour paramétrer de façon optimale, automatique et rapide le filtre de Canny. L’information structurelle ainsi obtenue est ensuite fusionnée dans l’espace de reconstruction afin de construire un nuage de points échantillonnant les interfaces 3D de l’objet imagé. Pour ce faire, on procède à une rétroprojection directe des images de bords 2D pour obtenir une cartographie brute des interfaces 3D recherchées. Au moyen d’un filtrage automatisé par méthode statistique, on sélectionne les points les plus représentatifs, délimitant les interfaces avec précision. Le maillage adapté est finalement obtenu par tétraédrisation de Delaunay contrainte par ce nuage de points. Une reconstruction tomographique peut alors être réalisée sur une telle représentation en utilisant des schémas itératifs usuels pour lesquels les modèles de projecteur/rétroprojecteur sont adaptés. Nos expérimentations montrent qu’à partir d’un nombre restreint de projections sur 360° – i.e. 30 – notre méthode permet d’obtenir un nuage de points en très bonne adéquation avec les interfaces de l’objet étudié. La compression obtenue tant en termes de nombre d’inconnues à estimer qu’en espace mémoire nécessaire pour le stockage des volumes reconstruits est importante - jusqu’à 90% - attestant ainsi de l’intérêt de cette discrétisation. Les reconstructions obtenues sont prometteuses et les maillages générés de qualité suffisante pour envisager leur utilisation dans des applications de simulations – éléments finis ou autres. / 3D X-Ray computed tomography reconstruction is a method commonly used, nowadays, in both medical and non destructive testing fields to reconstruct a 3D object from a set of its 2D projections. The reconstruction space usually is sampled on a regular grid of isotropic voxels, thus inducing an increase in the number of cells used in order to get a satisfactory spatial resolution. This representation hence have a direct impact on the growth in computational cost of each reconstruction iteration and imposes the storage of volumes of considerable memory storage footprints. This dissertation introduces an approach to build an adapted sampling of the object of interest directly from a sparse dataset of projections and prior to any tomographic reconstruction. Instead of the usual voxel lattice, we make use of a tetrahedral mesh that tightly fits the object structure : cells density increases close to its interfaces and decreases in homogeneous regions. To create such a mesh, the first step of this work consists in the detection of edges in the 2D projection images. Segmentation quality being paramount for further stages, we introduce a statistical approach to automatically select crucial parameters of the selected edge detector - Canny's filter. This structural information then is merged within the 3D volume of reconstruction as a pointcloud adequately sampling the 3D interfaces of the studied object. To do so, we perform a direct backprojection of the 2D edge maps to obtain a rough 3D map of the desired interfaces. The points composing the cloud are placed according to this map by automated filtering of the rough map. This automation is attained by statistical approach. The adapted mesh is finally obtained by classical constrained Delaunay tetrahedralization algorithm on this cloud. CT reconstruction is performed on this new sampling by using usual iterative algorithms for which suitable models of projector/backprojector are proposed. Our experiments show that, using a sparse dataset - e.g. 30 projections - our method provides pointclouds tightly sampling the object interfaces. The compression achieved in the number of unknowns to estimate and in memory consumption for volume storage is sizable, vouching for the relevance of this sampling. Produced reconstructions are promising and the quality of meshes sufficient to contemplate their use in simulation applications, such as finite element methods.

Un système est défini par les entités et leurs interrelations dans un environnement qui est déterminé par une limite arbitraire. Les systèmes complexes présentent un comportement émergent sans un contrôleur central. Les systèmes concrets désignent ceux qui sont observables dans la réalité. Un modèle nous permet de comprendre, de contrôler et de prédire le comportement du système. Un modèle différentiel à partir d'un système pourrait être compris comme une sorte de loi physique sous-jacent représenté par l'un ou d'un ensemble d'équations différentielles. Ce travail vise à étudier et mettre en œuvre des méthodes pour effectuer la modélisation des systèmes automatisée par l'ordinateur. Cette thèse pourrait être divisée en trois étapes principales, ainsi: (1) le développement d'un solveur numérique automatisé par l'ordinateur pour les équations différentielles linéaires, partielles ou ordinaires, sur la base de la formulation de matrice pour une personnalisation propre de la méthode Ritz-Galerkin; (2) la proposition d'un schème de score d'adaptation qui bénéficie du solveur numérique développé pour guider l'évolution des modèles différentiels pour les systèmes complexes concrets; (3) une implémentation préliminaire d'une application de programmation génétique pour effectuer la modélisation des systèmes automatisée par l'ordinateur. Dans la première étape, il est montré comment le solveur proposé utilise les polynômes de Jacobi orthogonaux comme base complète pour la méthode de Galerkin et comment le solveur traite des conditions auxiliaires de plusieurs types. Solutions à approximations polynomiales sont ensuite réalisés pour plusieurs types des équations différentielles partielles linéaires, y compris les problèmes hyperboliques, paraboliques et elliptiques. Dans la deuxième étape, le schème de score d'adaptation proposé est conçu pour exploiter certaines caractéristiques du solveur proposé et d'effectuer l'approximation polynômiale par morceaux afin d'évaluer les individus différentiels à partir d'une population fournie par l'algorithme évolutionnaire. Enfin, une mise en œuvre préliminaire d'une application GP est présentée et certaines questions sont discutées afin de permettre une meilleure compréhension de la modélisation des systèmes automatisée par l'ordinateur. Indications pour certains sujets prometteurs pour la continuation de futures recherches sont également abordées dans ce travail, y compris la façon d'étendre ce travail à certaines classes d'équations différentielles partielles non-linéaires. / A system is defined by its entities and their interrelations in an environment which is determined by an arbitrary boundary. Complex systems exhibit emergent behaviour without a central controller. Concrete systems designate the ones observable in reality. A model allows us to understand, to control and to predict behaviour of the system. A differential model from a system could be understood as some sort of underlying physical law depicted by either one or a set of differential equations. This work aims to investigate and implement methods to perform computer-automated system modelling. This thesis could be divided into three main stages: (1) developments of a computer-automated numerical solver for linear differential equations, partial or ordinary, based on the matrix formulation for an own customization of the Ritz-Galerkin method; (2) proposition of a fitness evaluation scheme which benefits from the developed numerical solver to guide evolution of differential models for concrete complex systems; (3) preliminary implementations of a genetic programming application to perform computer-automated system modelling. In the first stage, it is shown how the proposed solver uses Jacobi orthogonal polynomials as a complete basis for the Galerkin method and how the solver deals with auxiliary conditions of several types. Polynomial approximate solutions are achieved for several types of linear partial differential equations, including hyperbolic, parabolic and elliptic problems. In the second stage, the proposed fitness evaluation scheme is developed to exploit some characteristics from the proposed solver and to perform piecewise polynomial approximations in order to evaluate differential individuals from a given evolutionary algorithm population. Finally, a preliminary implementation of a genetic programming application is presented and some issues are discussed to enable a better understanding of computer-automated system modelling. Indications for some promising subjects for future continuation researches are also addressed here, as how to expand this work to some classes of non-linear partial differential equations.

Des voitures complètement automatisées pourraient circuler sur les routes dans les décennies à venir. Elles permettraient aux automobilistes d’être conduits dans leur véhicule par un système informatique. Une telle innovation pourrait engendrer une révolution qui affecterait le rôle du conducteur et ses activités pendant le trajet. Actuellement, ces véhicules ne sont pas encore accessibles au grand public, et il demeure difficile de prédire précisément quand cela se produira, et quelles seront leurs caractéristiques techniques finales. Dans ce contexte, un des objectifs de cette thèse a été d’étudier dans quelle mesure la conduite complètement automatisée sera acceptée. Bien que l’automobiliste soit conduit par son véhicule, il pourrait être amené à en reprendre le contrôle manuel dans différentes circonstances. En effet, cette manœuvre pourrait être effectuée en situation d’urgence ou de manière anticipée par le conducteur alors qu’il pourrait être engagé dans une autre activité que la conduite. La réalisation de cette reprise de contrôle manuel pourrait être plus ou moins difficile selon la situation et l’expérience d’interactions avec le système complètement automatisé. Nous avons examiné la manière dont cette manœuvre pourrait être apprise par des conducteurs, en testant l’effet de différentes formes d’entrainement sur la performance et la sécurité (temps de réponse et qualité de la reprise de contrôle). L’acceptabilité et la confiance, les attitudes des conducteurs, les intentions d’utilisation du système de conduite complètement automatisée et l’impact de ces variables sur les comportements dans le véhicule ont été mesurés. / Fully automated cars could possibly be on the road in the decades to come. They will allow drivers to be driven by an informatics system in their own vehicle. Such an innovation could lead to a revolution that would change the driver’s status and its activities during the trips, but also the infrastructure, freight, some professions, etc. Nowadays, these vehicles are not available for sale yet, and it is difficult to forecast accurately when they will be, and also what their features will be. Considering this, one of the aims of the present thesis is to examine to what extend fully automated driving will be accepted. Even though the driver is driven by its vehicle, he could have to resume manual control in different circumstances. Indeed, this maneuver could be performed in an emergency or in an anticipated situation while he could be engaged in a non driving-related activity. Performing a manual control recovery could be more or less difficult according to the situation and the experience with the fully automated system. The way this maneuver could be learned by drivers has been examined, testing the impact of different kinds of training on performance and safety (response time and control recovery quality). Acceptability, trust, drivers’ attitudes, intentions to use the fully automated driving system and the impact of these variables on behaviors inside the vehicle have been assessed.

L’intralogistique (ou logistique interne) s’intéresse au traitement et à l’optimisation des flux physiques au sein des entrepôts, centres de distribution et usines. Les systèmes de manutention automatisés sont au cœur de la logistique interne de plusieurs industries comme le commerce en ligne, la messagerie postale, la grande distribution, l’industrie manufacturière, le transport aéroportuaire, etc. Ces équipements composés de lignes de convoyage haute cadence permettent un transport sûr et fiable d’un volume considérable de biens et de marchandises tout en réduisant les coûts.L’automatisation de l’acheminement des flux physiques par les systèmes de manutention repose sur l’identification et le suivi en temps réel des charges transportées. Dans cette thèse, nous explorons une solution de suivi qui emploie un réseau de caméras intelligentes à champs recouvrants. L’objectif final étant de fournir l’information de suivi sur les charges transportées pour le pilotage d’un système de manutention.Le suivi d’objets est un problème fondamental de la vision par ordinateur qui a de nombreuses applications comme la vidéosurveillance, la robotique, les voitures autonomes, etc. Nous avons intégré plusieurs briques de base issues de la vidéosurveillance et traditionnellement appliquées aux scènes de surveillance automobile ou de surveillance des activités humaines pour constituer une chaine de suivi de référence. Cette chaine d’analyse vidéo étalon nous a permis de caractériser des hypothèses propres au convoyage d’objet. Nous proposons dans cette thèse d’incorporer cette connaissance métier dans la chaine de suivi pour en améliorer les performances. Nous avons, notamment pris en compte, dans l’étape de segmentation des images, le fait que les objets doivent pouvoir s’arrêter sans pour autant être intégrés aux modèles d’arrière-plan. Nous avons également exploité la régularité des trajectoires des objets convoyés dans les installations, permettant d’améliorer les modèles prédictifs de la position et de la vitesse des objets, dans les étapes de suivi. Enfin, nous avons intégré des contraintes de stricte monotonie dans l’ordre des colis sur le convoyeur, contraintes qui n’existent pas dans les scènes généralistes, pour ré-identifier les objets dans les situations où ils sont proches des eux les autres.Nous nous sommes par ailleurs attelés à un problème pratique d’optimisation des performances sur l’architecture multi-cœurs couplée aux caméras intelligentes. Dans ce cadre, nous avons a mis en place un apprentissage dynamique de la zone de l’image contenant le convoyeur. Cette zone d’intérêt nous a permis de limiter la mise à jour du modèle de fond à cette seule zone. Nous avons, par la suite, proposé une stratégie de parallélisation qui partitionne de manière adaptative cette région d’intérêt de l’image, afin d’équilibrer au mieux la charge de travail entre les différents cœurs de l’architecture des caméras intelligentes.Nous avons également traité la problématique du suivi sur plusieurs caméras. Nous avons proposé une approche basée sur un système de composition d’évènements. Cette approche nous a permis de fusionner les données de suivi local pour former les trajectoires globales des colis, tout en intégrant des informations issues du processus métier, par exemple la saisie de l’information de destination par des opérateurs sur un terminal avant la dépose des colis. Nous avons validé cette approche sur un système de manutention mis en place dans un centre de tri postal de grande envergure. Le réseau de caméras déployé est composé de 32 caméras qui assurent le suivi de plus de 400.000 colis/jour sur des lignes de dépose. Le taux d’erreur du suivi obtenu est inférieur à 1 colis sur 1000 (0,1%). / Intralogistics (or internal logistics) focuses on the management and optimization of internal production and distribution processes within warehouses, distribution centers, and factories. Automated handling systems play a crucial role in the internal logistics of several industries such as e-commerce, postal messaging, retail, manufacturing, airport transport, etc. These systems are composed by multiple high-speed conveyor lines that provide safe and reliable transportation of a large volume of goods and merchandise while reducing costs.The automation of the conveying process relies on the identification and the real-time tracking of the transported loads. In this thesis, we designed a tracking solution that employs a network of smart cameras with an overlapping field of view. The goal is to provide tracking information to control an automated handling system.Multiple object tracking is a fundamental problem of computer vision that has many applications such as video surveillance, robotics, autonomous cars, etc. We integrated several building blocks traditionally applied to traffic surveillance or human activities monitoring to constitute a tracking pipeline. We used this baseline tracking pipeline to characterize contextual scene information proper to the conveying scenario. We integrated this contextual information to the tracking pipeline to enhance the performance. In particular, we took into account the state of moving objects that become stationary in the background subtraction step to prevent their absorption to the background model. We have also exploited the regularity of objects trajectory to enhance the motion model associated with the tracked objects. Finally, we integrated the precedence ordering constraint among the conveyed object to reidentify them when they are close to each other.We have also tackled practical problems related to the optimization the execution of the proposed tracking problem in the multi-core architectures of smart cameras. In particular, we proposed a dynamic learning process that extracts the region of the image that corresponds to the conveyor lines. We reduced the number of the processed pixel by restricting the processing to this region of interest. We also proposed a parallelization strategy that adaptively partitions this region of interest of the image, in order to balance the workload between the different cores of the smart cameras.Finally, we proposed a multiple cameras tracking algorithms based on event composition. This approach fuses the local tracking generated by the smart cameras to form global object trajectories and information from third party systems such as the destination of the object entered by operators on a terminal. We validated the proposed approach for the control of a sorting system deployed in a postal distribution warehouse. A network of cameras composed of 32 cameras tracks more than 400.000 parcel/day in injections lines. The tracking error rate is less than 1 parcel in a 1000 (0.1%).

Les travaux décrits dans cette thèse de doctorat visent à traiter les futures architectures de fourniture de services mobiles basés sur le cloud, à travers l'évolution des infrastructures réseau partant de Mobile Cloud Computing (MCC) au Mobile Edge Computing (MEC). Nous nous sommes essentiellement concentrés sur le concept Follow Me Cloud (FMC) comme une nouvelle stratégie de fourniture de services pour une meilleure expérience utilisateur et une utilisation efficace des ressources. Cela permet aux services basés sur le cloud de "suivre" leurs utilisateurs mobiles au cours de leurs déplacements à travers les technologies de réseau d'accès, tout en fournissant le service basé sur le cloud via le point de service le plus optimal au sein de l'infrastructure cloud. Plusieurs contributions sont proposées dans cette thèse, avec des évaluations à la fois en analyse théorique et en simulation scientifique.Premièrement, nous avons proposé une architecture alternative FMC qui permet: (i) d'ouvrir la conception FMC sur les technologies d'accès réseau mobile non-3GPP (ii) d'assurer l'interopérabilité entre différents domaines PMIPv6 permettant au MN une itinérance inter-domaines PMIPv6 avec une mobilité IP transparente ainsi qu'une continuité de session de service.(iii) d'offrir une architecture sans tunnel dans les situations d'itinérance de MN, en évitant ainsi toute surcharge supplémentaire liée aux tunnels dans la gestion de la mobilité. Le schéma proposé exploite la technologie SDN/OpenFlow et le protocole de gestion de la mobilité PMIPv6 en les intégrant dans un unique framework permettant de réaliser la vision FMC.Deuxièmement, pour aborder les problèmes d'évolutivité et de résilience dans les architectures SDN/OpenFlow centralisées de plan de contrôle, nous avons introduit une nouvelle conception d'un contrôleur SDN élastique et distribué adapté pour MCC et plus particulièrement pour les systèmes de gestion FMC. Nous avons illustré comment le nouveau schéma de plan de contrôle est distribué sur une architecture hiérarchique à deux niveaux, un premier niveau avec un seul contrôleur SDN global et un second niveau avec plusieurs contrôleurs SDN locaux. Ensuite, nous avons présenté les éléments constitutifs de notre nouvel framework de plan contrôle, le calcul de l'indicateur de performance (KPI) du système, et nous avons fixé l'objectif clé de notre conception visant à maintenir la valeur KPI du système dans une fenêtre de seuil prédéfinie. Enfin, nous avons démontré comment cet objectif est atteint en adaptant dynamiquement le nombre et l'emplacement des contrôleurs SDN locaux en utilisant la technologie NFV pour provisionner les contrôleurs SDN en tant que instances VNF (fonction réseau virtuelle) dans le cloud.Troisièmement, nous avons introduit le concept FMeC, exploitant les capacités offertes par la combinaison des architectures MEC et FMC dans le but de satisfaire aux exigences des systèmes automobiles 5G. Nous avons commencé par définir les éléments clés du concept FMeC permettant de fournir la technologie FMC en bordure des réseaux mobiles. Ensuite, nous avons présenté une projection de notre solution FMeC sur un cas d'utilisation de conduite automatisée intégrant l'industrie automobile aux infrastructures Telecom en vue de la vision automobile 5G future. Avec une focalisation sur les types de communications V2I/N, nous avons présenté la conception de notre architecture FMeC basée sur les technologies SDN/OpenFlow et les entités de l'infrastructure MEC dont les ressources sont mises en commun pour fournir un cloud de bordure fédéré. Enfin, nous avons présenté notre framework sensible à la mobilité pour le placement des services dans le cloud de bordure, ce dernier est fondé sur un ensemble d'algorithmes de base qui permettent d'atteindre les exigences de QoS de la conduite automatisée en termes de latence ultra-courte au sein du réseau 5G. / This Ph.D. thesis aims to deal with the future delivery architectures of mobile cloud-based services, through network infrastructures evolving from Mobile Cloud Computing (MCC) to Mobile Edge Computing (MEC). We mainly focused on Follow Me Cloud (FMC) concept as a new service delivery strategy for improved user experience and efficient resource utilization. That enables cloud-based services to follow their mobile users during their movement across access network technologies and by delivering the cloud-service via the optimal service point inside the cloud infrastructure. Several contributions are proposed in this thesis and evaluated in both theoretical analysis and scientific simulation.First, we proposed an alternative FMC architecture that allows: (i) to open the FMC design on non-3GPP mobile network access technologies (ii) to provide interoperability among different PMIPv6 domains permitting MNs inter-PMIPv6 domain roaming with seamless IP mobility and service session continuity (iii) to offer a tunnel-free architecture in MNs roaming situation, avoiding any additional overhead associated with tunneling in mobility management. This proposed scheme leverage SDN/OpenFlow technology and PMIPv6 mobility management protocol by integrating them within a framework permitting to realize the FMC vision.Second, to address the scalability and resiliency concerns in centralized SDN/OpenFlow control plane architecture, we introduced a new design of an elastic distributed SDN controller tailored for Mobile Cloud Computing (MCC) and more notably for Follow Me Cloud (FMC) management systems. We illustrated how the new control plane scheme is distributed on two-level hierarchical architecture, a first level with a single global SDN controller and a second level with several local SDN controllers. Then, we presented the building blocks of our novel control plane framework, the system Key Performance Indicator (KPI) computation and set the key objective of our design aiming to keep the system KPI value within a predefined threshold window. Last, we proved how this goal is achieved by adapting the number of local SDN controllers and their locations in an elastic manner and deploying them as VNF instances on the cloud thanks to NFV technology.Third, we introduced FMeC concept, leveraging the intertwining of MEC and FMC architectures with the aim of sustaining requirements of the 5G automotive systems. We began by defining FMeC key concept elements permitting to provide FMC technology at the edge of mobile networks. Then, we presented an automated driving use case projection of our FMeC solution integrating automotive with Telco infrastructures towards the future 5G automotive vision. Focusing on the V2I/N communications types, we introduced our FMeC design architecture based on SDN/OpenFlow technologies and MEC infrastructure entities whose resources are pooled together to provide a federated edge clouds. Finally, we presented our mobility-aware framework for edge-cloud service placement based on a set of basic algorithms that permit achieving the automated driving QoS requirements in terms of ultra-short latency within 5G network.

Plusieurs maladies rénales et cardiovasculaires présentent une altération de l’expression des récepteurs de type 1 de l'angiotensine (AT1R) et sont traitées par le candésartan ou le losartan. Le radiomarquage de cette famille de molécules développé au sein de notre laboratoire a démontré une liaison spécifique pour les AT1R rénaux chez les rats et les cochons. Le [11C]méthyl-candésartan présente une cinétique supérieure à celle du [11C]méthyl-losartan. Néanmoins, la présence d’un radiométabolite hydrophobe, interférant avec le signal TEP du traceur d’origine, rend la quantification des AT1R complexe. Le [18F]fluoropyridine-losartan est un antagoniste qui possède une affinité de liaison élevée ainsi que peu de métabolites radiomarqués dans les reins de rats. Cependant, sa faible activité molaire ne permet pas de visualiser les niveaux d’AT1R myocardiques présents en faible densité. Le but de cette recherche est de développer les radiosynthèses automatisées d'analogues 18F-fluoropyridinés du candésartan et du losartan en très hautes puretés et activités molaires et d'évaluer l'efficacité du [18F]fluoropyridine-candésartan comme traceur TEP sélectif aux AT1R. Le [18F]fluoropyridine-candésartan et le [18F]fluoropyridine-losartan ont été synthétisés via la cycloaddition de Huisgen catalysée au cuivre(I) entre le 2-[18F]fluoro-3-(pent-4-yn-1-yloxy)pyridine ([18F]FPyKYNE) et un dérivé azidé du candésartan ou du losartan. Le [18F]FPyKYNE est préalablement obtenu par radiofluoration de NO2PyKYNE puis purifié par HPLC, empêchant ainsi la formation de sous-produits nitropyridinés. Après optimisation, les traceurs sont obtenus avec un rendement radiochimique de 11% et des activités molaires (>380 GBq/μmol), des puretés chimiques et radiochimiques (>97%) très élevées. Les tests de contrôle de qualité complet du [18F]fluoropyridine-losartan permettant son utilisation dans des études cliniques futures ont aussi été développés. Le fluoropyridine-candésartan a révélé une affinité élevée (Ki=5,9 nM) dans des membranes exprimant les AT1R, comparable au fluoropyridine-losartan (Ki=5,6 nM) mais inférieure à celle du candésartan (Ki=0,4 nM). Des études d’ultrafiltration ont démontré que le [18F]fluoropyridine-candésartan se lie fortement aux protéines plasmatiques (99,3%). La liaison spécifique aux AT1Rs a été confirmée ex vivo par biodistribution. Une réduction significative (-86%) de la captation dans le cortex rénal de rats prétraités (candésartan ou losartan) est constatée. Des résultats similaires sont obtenus in vitro par autoradiographie avec co-incubation en présence de losartan. La présence de métabolites radiomarqués a été évaluée ex vivo dans du plasma et dans les reins d’animaux témoins ou prétraités (candésartan ou losartan) par HPLC. Le [18F]fluoropyridine-candésartan a été métabolisé en composés radiomarqués hydrophiles, affichant une interférence minimale sur la liaison rénale aux AT1R avec 82% de traceur inchangé dans les reins 20 min après injection. Les images TEP/TC dynamiques du [18F]fluoropyridine-candésartan, acquises pendant 60 min, ont révélé des accumulations élevées et éliminations lentes dans le cortex rénal et le foie avec des rapports tissu-sang élevés. La spécificité de liaison aux AT1R a été démontrée par le blocage des sites de liaison avec du losartan 20 min après l'injection (réductions des rapports tissu-sang dans le cortex rénal (-84%) et dans le foie (-93%)). Aucun changement n'a été observé dans les reins de rats prétraités avec l'antagoniste des AT2R PD123,319, confirmant la sélectivité de liaison pour les AT1R. Les radiosynthèses reproductibles automatisées, les propriétés de liaison ainsi que la stabilité in vivo font du [18F]fluoropyridine-candésartan et du [18F]fluoropyridine-losartan des radiotraceurs potentiels permettant l’imagerie TEP des AT1R dans plusieurs maladies cardiovasculaires ou rénales, offrant ainsi la possibilité de suivre la progression de ces maladies dans des études longitudinales mais aussi de mieux guider la thérapie. / Numerous renal and cardiovascular diseases exhibit alterations in the Angiotensin type 1 receptor (AT1R) levels that are treated with candesartan or losartan. Our previous radiolabeled derivatives of these drugs displayed specific binding for renal AT1R in rats and pigs. [11C]Methyl-candesartan exhibited superior kinetics than [11C]methyl-losartan, but a hydrophobic radiometabolite interfered with the PET signal and AT1R quantification. High binding affinity, full antagonistic efficacy and minimal interference of labeled metabolites in rat kidneys were observed with [18F]fluoropyridine-losartan. However, the tracer’s low molar activity prevented visualization of low-density myocardial AT1R. The aim of this research was to develop automated radiosyntheses of 18F-fluoropyridinated analogs of candesartan and losartan in very high purities and molar activities and to evaluate [18F]fluoropyridine-candesartan efficacy as a selective AT1R PET tracer. [18F]Fluoropyridine-candesartan and [18F]fluoropyridine-losartan were synthesized via the copper(I)-catalyzed Huisgen cycloaddition between 2-[18F]fluoro-3-(pent-4-yn-1-yloxy)pyridine ([18F]FPyKYNE) and an azido-derivative of candesartan or losartan, respectively, followed by acid deprotection and C18-HPLC purification. [18F]FPyKYNE was obtained by radiofluorination of NO2PyKYNE and purified by silica-gel HPLC, preventing the formation of nitropyridinated by-products in the second step. The reaction parameters and purifications were optimized to provide tracers in 11% radiochemical yield with very high molar activities (>380 GBq/μmol), chemical and radiochemical purities (>97%). Full quality control testing of [18F]fluoropyridine-losartan was performed to validate its safe use in future clinical studies. The binding and pharmacokinetic properties of the novel [18F]fluoropyridine-candesartan were evaluated in vitro and ex/in vivo in male Sprague-Dawley rats. Competition binding assays in AT1R-expressing membranes revealed a high affinity of fluoropyridine-candesartan (Ki=5.9 nM), which is similar to fluoropyridine-losartan (Ki=5.6 nM) but lower than candesartan (Ki=0.4 nM). [18F]Fluoropyridine-candesartan bound strongly to plasma proteins (99.3%) as assessed by ultrafiltration. Specific binding was confirmed by ex vivo biodistribution 20 min after tracer injection, with a significant uptake reduction (-86%) in the AT1R-rich kidney cortex of pretreated (candesartan or losartan) rats and by in vitro autoradiography with losartan co-incubation. Radiolabeled metabolites in plasma and kidneys of control and pretreated (candesartan or losartan) animals were analyzed by column-switch HPLC. [18F]Fluoropyridine-candesartan was mainly metabolized to radiolabeled hydrophilic compounds, displaying minimal interference on renal AT1R binding with 82% of unchanged tracer in the kidneys at 20 min post-injection. Dynamic PET/CT images of [18F]fluoropyridine-candesartan, acquired for 60 min at baseline, revealed high accumulation and slow clearance from the kidney cortex and liver with high tissue-to-blood ratios. Binding specificity for AT1R was demonstrated with marked reductions in kidney-cortex (-84%) and liver (-93%) tissue-to-blood ratios at 20 min post-injection, when blocking with losartan. No change was observed in kidneys of rats pre-treated with the AT2R antagonist PD123,319, confirming binding selectivity for AT1 over AT2 receptors. The favorable binding properties and in vivo stability of [18F]fluoropyridine-candesartan support further studies to validate its potential as AT1R PET radioligand. The reproducible automated radiosyntheses developed in my research will allow innovative in-vivo PET imaging of AT1R-expression in several diseases, offering the possibility to follow disease progression in longitudinal studies and guide therapy.

Objectif : Comparer les dispositifs de délivrance automatisée d’insuline open-source (DDAI-OS) et les DDAI commerciaux hybrides sur le contrôle glycémique, la qualité de vie rapportée, et la sécurité chez des adultes avec diabète de type 1 (DT1). Méthodes : Étude prospective, observationnelle, de non-infériorité, comparative et en vie réelle, incluant 78 adultes canadiens avec un DT1 et utilisant un DDAI ≥ 3 mois. Quatre semaines de mesure continue du glucose ont permis d’évaluer le % temps passé dans la cible de glucose (%TIR, 3,9-10,0 mmol/L). Les indicateurs de qualité de vie ont été évalués par des échelles de mesure validées. Les mesures de sécurité sont le temps passé en hypoglycémie, la survenue d’hypoglycémie sévère ou d’acido-cétose et les problèmes techniques. Résultats : Les participants du groupe DDAI-OS étaient non inférieurs au groupe DDAI commercial sur le %TIR (78,3% [SD 11,0] vs. 71,2% [SD 10,9], différence moyenne 7,2% [95% CI 1,9% à 12,5%], p<0.001), même après ajustement sur plusieurs facteurs confondants. Le groupe DDAI-OS a passé plus de temps en hypoglycémie (<3,9 mmol/L) (3,9% [SD 3,1] vs. 1,8% [SD 1,3], p<0.001) et a rapporté moins de peur de l’hypoglycémie. Aucun épisode d’hypoglycémie sévère ou d’acido-cétose n’a été rapporté, avec un nombre de problèmes techniques similaires entre les deux groupes. Conclusion : Les DDAI-OS hybrides sont sécuritaires et non inférieurs aux DDAI commerciaux hybrides en termes de %TIR chez des adultes vivant avec un DT1 dans des conditions de vie réelle. Nos résultats soutiennent que les DDAI-OS peuvent être considérés pour la gestion du DT1. / Background: Comparison between unregulated open-source (OS) automated insulin delivery (AID) systems and commercial AID (C-AID) systems remains scarce. Objective: Compare both AID systems regarding glucose management, patient-reported outcomes (PROs), and safety among adults with type 1 diabetes (T1D) in real-life conditions. Design: Prospective, observational, non-inferiority, comparative, real-world study. Setting: On-site (a diabetes clinic in Montreal) and online (a T1D registry and social media platforms) across Canada. Participants: 78 adults with T1D, having used an AID system for ≥ 3 months, and living in Canada (26 OS-AID and 52 C-AID users). Measurements: 4-week’s data from a blinded continuous glucose monitor were used to assess effectiveness (primary outcome: 24h time in range % [TIR%], with a non-inferiority margin of 5%). Other outcomes included PRO measures using validated scales. Safety outcomes included time spent in hypoglycemia, severe hypoglycemia, diabetic ketoacidosis (DKA), and technical issues. Results: OS-AIDs were non-inferior to C-AIDs regarding 24h TIR% (78.3% [SD 11.0] vs. 71.2% [SD 10.9], mean difference 7.2% [95% CI 1.9% to 12.5%], p<0.001), even after adjusting for various confounding factors. OS-AIDs spent more time in hypoglycemia (<3.9 mmol/L) than C-AIDs (3.9% [SD 3.1] vs. 1.8% [SD 1.3], p<0.001) and reported less fear of hypoglycemia. No severe hypoglycemia or DKA was reported in either group, with a similar occurrence rate of technical issues between groups. Conclusion: OS-AIDs are safe and non-inferior to C-AIDs for TIR% among adults with T1D in real-world settings. Our findings support that both OS-AID and C-AID systems can be considered for T1D management.

La thèse propose l’utilisation d’une pince active instrumentée en force pour automatiser l’assemblage des MOEMS 3D hybrides. Chacun des doigts de la pince instrumentée est composé d’un actionneur piézo-électrique et d’un capteur de force piézorésistif intégré. Le capteur de force intégré présente des performances innovantes par rapport aux capteurs existants dans l’ état de l’art. Cette pince offre la possibilité de mesurer les forces de serrage appliquées par la pince pour saisir un micro composant et d’estimer les forces de contact entre le micro composant et le substrat de micro-assemblage.Un modèle dynamique et non linéaire est développé pour la pince instrumentée. Une commande hybride force/position est utilisée pour automatiser le micro-assemblage. Dans cette commande, certains axes sont commandés en position et les autres sont commandés en force. Pour les axes commandés en force, une nouvelle commande fondée sur une commande en impédance avec suivi de référence est proposée selon un principe de commande non linéaire par mode glissant avec estimation des paramétres en lignes. En utilisant le schéma de commande hybride force/position proposé, une automatisation de toutes les tâches de micro-assemblage est réalisée avec succès, notamment sur un composant flexible à guider dans un rail. / This work proposes the use of an active microgripper with sensorized end-effectors for the automationof the microassembly of 3D hybrid MOEMS. Each of the two fingers of the microgripper is composedof a piezoelectric actuator with an integrated piezoresistive force sensor. The integrated force sensorpresents innovative performances compared to the existing force sensors in literature. The forcesensors provide the ability to measure the gripping forces applied by the microgripper to grasp a microcomponentand estimated the contact forces between the microcomponent and the substrate ofmicroassembly. A dynamic nonlinear model of the microgripper is developed. A hybrid force/positioncontrol is used for the automation of the microassembly. In the hybrid force/position control formulation,some axes are controlled in position and others are controlled in force. For the force controlledaxes, a new nonlinear force control scheme based on force tracking sliding mode impedance controlis proposed with parameter estimation. Using the proposed hybrid force/position control scheme, fullautomation of the microassembly is performed, notably for the guiding of a flexible component in arail.

Cette thèse a pour objet le premier développement d'une méthode de prévision de pluie par radar adaptée aux objectifs de l'hydrologie urbaine. Une revue des travaux effectués sur la prévision de pluie dans les vingt dernières années a été accomplie. Les algorithmes prometteurs utilisés dans les études précédentes ont été sélectionnés et améliorés en vue des objectifs de l'application envisagée : - concentration sur les fortes pluies ; temps de calcul inférieur a 60 secondes sur mini-ordinateur ; contrôle de qualité de la prévision. De cette analyse a émergé une nouvelle méthode de prévision. Une comparaison détaillée sur 94 images radar et une comparaison globale sur 1068 images ont montré la fiabilité de la méthode pour la prévision hydrologique. La pluie la plus importante de ces quatre dernières années en région parisienne a été étudiée particulièrement. De plus, deux paramètres liés seulement à la structure de l'image, peuvent servir d'indice de fiabilité, calculable a priori, de chaque prévision. Finalement, la méthode a été implantée sur les ordinateurs du service d'assainissement de Seine-Saint-Denis.