Context-aware applications must manage a continuous stream of context according to dedicated business logic. Research was limited on proposing frameworks and platforms that have predefined behavior toward applications. This thesis attempts to extend background works by proposing new concepts serving as foundation for a flexible approach for building context-aware applications. The thesis examines the state of the art of context-aware computing, then adopts well-established software design principles and a functional decomposition for designing a reference model for context management enabling seamless integration of context-awareness into applications. Also, the thesis studies the use of context in common applications and proposes a context-centric modeling approach which allows the creation of a graph-based representation where entities are connected to each other through links representing context. Furthermore, the context graph decouples the presentation and the semantics of context, leaving each application to manage the appropriate semantic for their context data. Case studies are conducted for the evaluation of the proposed system in terms of its support for the creation of applications enhanced with context-awareness. A simulation study is performed to analyze the performance properties of the proposed system. The result of this thesis is the introduction of a novel approach for supporting the creation of context-aware applications that supports the integration of context-awareness to existing applications. It empowers developers as well as users to participate in the creation process, thereby reducing usability issues

En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité. L'assistant de preuve Coq s'appuie sur un tel langage (le CIC) à la sémantique particulièrement claire. L'utilisateur n'écrit pas directement de programme en CIC car cela est ardu et fastidieux. Coq propose un environnement de programmation qui facilite la tâche en permettant d'écrire des programmes incrémentalement grâce à des constructions de haut niveau plus concises. Typiquement, les types dépendants imposent des contraintes fortes sur les données. Une analyse de cas peut n'avoir à traiter qu'un sous-ensemble des constructeurs d'un type algébrique, les autres étant impossibles par typage. Le type attendu dans chacun des cas varie en fonction du constructeur considéré. L'impossibilité de cas et les transformations de type doivent être explicitement écrites dans les termes de Coq. Pourtant, ce traitement est mécanisable et cette thèse décrit un algorithme pour réaliser cette automatisation. Par ailleurs, il est nécessaire à l'interaction avec l'utilisateur de calculer des programmes du CIC sans faire exploser la taille syntaxique de la forme réduite. Cette thèse présente une machine abstraite conçu dans ce but. Enfin, les points fixes permettent une manipulation aisée des structure de données récursives. En contrepartie, il faut s'assurer que leur exécution termine systématiquement. Cette question sensible fait l'objet du dernier chapitre de cette thèse.

Systems engineering has emerged as an approach that enables the successful realization of individual complex systems. In the automotive industry, product variety introduces a complexity that renders systems engineering models difficult to manage. Models Based Systems Engineering increases the level of abstraction and of detail to which systems are documented, thus providing the perfect context for reuse. Our purpose was to adopt "Product Line Engineering" techniques and enable efficient reuse of systems engineering assets, while satisfying process needs in an automotive industry context. The challenge is twofold: (i) to understand the needs of a mass production industry for which the reuse is usually focused towards physical parts and (ii) to satisfy the needs for capturing variability in complement to systems engineering models, by drawing on software product lines techniques. The main proposal of the thesis is a metamodel that extends OVM models in order to adopt and adapt variability modeling to MBSE needs. Furthermore, several subjects were developed around this theme of variability modeling in order to improve and complete the systems engineering framework: a derivation approach based on viewpoints and a set of recommendation-based heuristics for the configuration process. In collaboration with the CEA-LIST, a tool prototype was developed, which enabled us to refine, test and validate the contributions, in the industrial context at Renault.

Ce travail de thèse porte sur l'étude des parois de domaines dans des nanofils magnétiques. Nous avons étendu le diagramme de phase des parois de domainesdéjà connu pour des géométries allant des nanobandes aux nanofils. Les différents types de parois et des transitions de phases sont présentés.Nous avons introduit de nouveaux estimateurs s'appuyant sur des grandeurs physiques connues, pour mieux caractériser les configurations magnétiques des parois et prédire leur type en fonction de la géométrie.Pour valider notre approche théorique, nous nous sommes ensuite intéressés à les observer par microscopie.Nous avons choisi le Dichroisme Circulaire Magnétique des rayons X associé à la Microscopie par Emission de PhotoElectrons (XMCD-PEEM). Ce type de microscopie permet d'atteindre une résolution spatiale suffisante pour observer les parois de domaine. Les configurations expérimentales (échantillons et dispositif expérimental) permettent d'avoir accès à la fois à l'aimantation de surface maisaussi à l'ombre du fil projetée sur le substrat. Cette ombre contient l'information sur l'aimantation dans le volume, moyennée le long du chemin desrayons X dans le matériau. Cette configuration donne lieu à des contrastes magnétiques complexes. Nous avons donc développé un modèle permettant de simuler le contraste XMCD à partir de configurations micromagnétiques à l'équilibre. La comparaison entre les contrastes expérimentaux et les contrastes simulés donne lieu à un très bon accord quantitatif.De plus, les paramètres expérimentaux ont été étudiés afin d'obtenir le meilleur contraste réflétant au mieux la configuration micromagnétique de l'échantillon.La suite de ce travail consistera, notamment, à étudier la propagation de la paroi point de Bloch dans les nanofils. / The work performed during my thesis was based on magnetic domain walls in magnetic nanowires. We extended the phase diagram of domain walls already known to a geometry ranging from nanostrips to nanowires. The various types of domain wall and transition phase types are presented. We introduced new estimators based on physical known features, in order to better characterize domain walls magnetic configurations of domain walls and then to predict the type of domain wall according to the geometry.To validate our theoretical approach, we were interested in imaging these domain walls. We chose the X-ray Magnetic Circular Dichroism along with the PhotoEmission Electron Microscopy (XMCD PEEM). This microscopy method enables to reach spatial resolution required to observed domain wall configuration. The experimental conditions (sample and set up) enable to have access both the surface magnetization and also the shadow of the wire projected on to the substrate. This enable caries information about volume magnetization, averaged along the path of the X-ray through the wire. This experimental configuration gives rise to complex contrasts. Thus, we developped a model that enables to simulate the XMCD contrast from steady state micromagnetic configurations. Comparison between experimental and simulated contrasts gives rise to a good quantitative agreement. Moreover, experimental parameters were studied in order to get the best magnetic contrast, reflecting the true magnetic configuration of the sample.For the future, the work consists in the study of the domain wall propagation in nanowires, particularly the propagation of the Bloch point wall.

Ce travail de recherche vise à étudier les plusieurs variantes de problèmes de planification de voyage et de développer la technique efficace pour résoudre ce problème d'optimisation. Afin de modéliser ce genre de problème le problème d'orientation est devenu le point de départ prometteur. Par conséquent, ce modèle de base est étendue à plusieurs variantes pour permettre des fonctionnalités de séjour supplémentaires. Basé sur l'algorithme qui est appliquée avec succès à l'certaine version du problème, nous avons proposé la Itéré locale algorithme de recherche pour lutter contre dépendant du temps multi contrainte équipe Orientation un problème de temps Windows. Le MCTOPTW simple, prend en compte la limitation du budget de l'argent que de multiples contraintes, en plus de fenêtre de temps et le score de satisfaction associée tandis que le TDMCTOPTW considère l'intégration de réseau de transport public urbain dans la MCTOPTW. / This research work aims to investigate the several variants of trip planning problems and develop efficient technique to solve that optimization problem. In order to model this kind of problem the Orienteering Problem became the promising starting point. Therefore, this basic model is extended to several variants in order to enable additional tourist functionalities. Based on the algorithm that is successfully applied to the certain version of problem, we proposed the Iterated Local Search Algorithm to tackle the Time Dependent Multi Constraint Team Orienteering Problem with Time Windows. The simple MCTOPTW takes into account money budget limitation as multiple constraints in addition to time window and associated satisfaction score while the TDMCTOPTW considers the integration of urban public transportation network into the MCTOPTW.

Le développement rapide des TIC (Information and Communication Technology) a un impact énorme à toutes les industries. Internet Mobile, Web 2.0, la technologie de positionnement sont déployées dans le monde largement, qui a initialisé la demande intérieure des nouvelles technologies dans le domaine du tourisme. En profitant de la commodité apportée par les nouvelles technologies, de plus en plus d'utilisateurs de commencer à se concentrer sur les questions de confidentialité.Comme on le sait, il y a une contradiction entre la qualité des services et la vie privée recommandés basés sur la localisation. profil de l'utilisateur détaillé et informations de localisation précises sont nécessaires pour fournir un service basé sur la localisation avec une grande efficacité et de qualité, tandis que la préservation de la vie privée exige cacher le profil et l'emplacement de l'utilisateur. De nombreuses recherches récentes vise à trouver un équilibre entre eux, pour obtenir la meilleure qualité de la LBS dans le contexte du contenu du profil de l'utilisateur et les informations de localisation moins exposée.Dans cette thèse, l'auteur a porté principalement sur la vie privée de profil de l'utilisateur mobile, qui couvre à la fois les caractéristiques personnelles et les informations de localisation.1, sur mesure modèle de confidentialité des utilisateurs considérant à la fois les qualités personnelles et la localisation spatiale et temporelle est définie pour l'utilisateur mobile.Dans cette recherche, nous avons proposé le modèle de confidentialité personnalisé pour chaque utilisateur de définir, son / sa propre signification de la vie privée. Avec ce modèle, à des fins de Voyage différents, ou même pour le temps et un autre emplacement, ils peuvent avoir des définitions différentes pour leur vie privée.2, Minimiser les données à stocker sur le serveur.Les profils sont stockés de deux façons différentes, le profil complet est stocké sur le côté client, et seules les valeurs des attributs qui sont en mesure pour les utilisateurs de partager sont stockés sur le côté serveur, ainsi minimisé les données à stocker sur le serveur.3, les niveaux personnalisés de granularité de la divulgation de l'emplacement et l'heure sont réglables pour les utilisateurs.Pour changer fréquemment des attributs tels que l'emplacement et l'heure, l'utilisateur peut les divulguer avec une granularité appropriée, afin d'obtenir le service attendu par les fournisseurs de services.Mots-clés: vie privée, l'emplacement, le profil de l'utilisateur, mobile, tourisme / The rapid development of ICT(Information and Communication Technology) brought huge impact to all industries. Mobile internet, Web 2.0, positioning technology are deployed world-widely, that initialized inner request of new technologies in the field of tourism as well. By enjoying the convenience brought by new technologies, more and more users starting to focus on privacy issues.As known, there is a contradiction between the quality of recommended location-based services and privacy. Detailed user profile and precise location information are needed for providing location-based service with high efficiency and quality, while privacy preservation requires hiding user's profile and location. Many recent researches aims to seek a balance between them, to obtain the best quality of the LBS in the context of the least exposed user profile content and location information.In this thesis, the author focused mainly on the privacy of mobile user profile, which covers both personal characteristics and location information.1, Customized user privacy model considering both personal attributes and spatial and temporal location is defined for mobile user.In this research, we proposed customized privacy model for every user to define, his/her own meaning of privacy. With this model, for different travel purpose, or even for different time and location, they can have different definitions for their privacy.2, Minimized the data to be stored on server.Profiles are stored in two different ways, complete profile is stored on the client side, and only the values of the attributes that are able for the users to share are stored on the server side, thus minimized the data to be stored on server.3, Customized levels of granularity of disclosure of location and time are adjustable for users.For frequently changing attributes such as location and time, user can disclose them with suitable granularity, in order to obtain expected service from the service providers.Keywords: privacy, location, user profile, mobile, tourism

Le monde des logiciels doit être interprété de manière extensive à l’instar de la présence de l’outil informatique dans la société contemporaine. Le présent travail de recherche entend mettre en avant que la protection du logiciel par le droit d’auteur est davantage opportuniste que réfléchie. Cet opportunisme se ressentait par une volonté libérale de déléguer aux acteurs économiques la fixation des règles propres aux régimes juridiques applicables aux logiciels. Jusqu’à très récemment, la conjugaison du droit d’auteur et du droit des contrats ont entraîné à la fois accentué l’exclusivité sur son code fondée sur le droit d’auteur, ainsi qu’une immunité sur la qualité de son code fondée sur le droit des contrats. Une telle politique a engendré un mouvement contestataire du droit de la propriété intellectuelle, un accroissement des risques des utilisateurs et une protection perverse puisque la divulgation de l’œuvre est supposée être faite lorsque l’auteur l’estime être prête. Ce laissez faire normatif se retrouve également dans les données informatiques, informations, où l’absence de protection d’alors faisait l’objet de grands débats entre informaticiens (libéraux) et juristes (conservateurs). Or la présente étude prône pour l’établissement d’un patrimoine immatériel comme semble l’amorcer les mouvements législatifs et prétoriens actuels. Néanmoins ce patrimoine immatériel étant facilement duplicable en n’étant pas par défaut exclusif, les forces de l’ordre et renseignement peuvent s’en saisir également plus facilement grâce à l’aide des fournisseurs de service. Ceci facilite également l’établissement d’un panopticon intrusif. / The world of software shall be constraint widely as could testified the computer tool in our modern society. This research tries to emphasize that the protection of the software is more an opportunistic choice than a reasoned one. That opportunism was seen through the delegation of the rulemaking of the juridical regime of the software to the economic actors. Until very recently, the conjugation of the copyright and ordinary law of contracts which increased the exclusivity of the stakeholder over the code, through the copyright, and an immunity over the poor quality over the same code through the contract law. Such policy generated a dissenting movement against the IP rights, an increasing of the risks on the consumers and a perverted protection because the disclosure of the work by its authors is supposed to be done when the author judges it ready. This legal laissez-faire is also found in the computerized data, informations, where the absence of protection by itself was subject to debates between programmers (liberals) and lawyers (conservative). Or our research is pleading for the establishment of a digital patrimony as the latest laws and cases laws are developing. However the digital patrimony is easily copied and not exclusive by nature, police and intelligence committees can cease it easily than before, thanks to the help of service providers. Such patrimony also helps to the building of an intrusive panopticon.

Les interférences apparaissant dans les multicoeurs sont indésirables dans les systèmes tempsréel critiques, en particulier dans le domaine de l'aéronautique, où le déterminisme du fonctionnement temporel de tout système doit être formellement prouvé lors de la conception du système de manière à pouvoir être certifié et considéré comme opérationnel. Le but de cette thèse est de proposer une approche pour l'intégration logicielle d'applications IMA sur processeur multicoeur, sans impliquer de modification des plateformes logicielle et matérielle, et en respectant un maximum d'exigences de certification et concepts clés de l'avionique actuels, comme le partitionnement spatial et temporel ou encore la certification incrémentale. L'un des objectifs de la thèse est de respecter au maximum les procédés industriels d'intégration actuels de manière à maximiser les chances des contributions résultantes de la thèse d'être réutilisées au sein des industries avioniques. Un second objectif mineur est de permettre de réduire au minimum la phase d'adaptation des différents profils impliqués dans le processus d'intégration logicielle. Enfin, un troisième objectif est d'aider à optimiser le temps passé à effectuer les vérifications temporelles qui peuvent s'avérer difficiles et coûteuses en temps, mais aussi les choix architecturaux, de manière à réduire le time-to-market mais aussi optimiser le design du système en cours de conception. La contribution majeure de cette thèse est la proposition de deux stratégies complètes d'intégration logicielle/matérielle sur multicoeur pour des applications IMA. L'un des deux processus respecte les contraintes majeures de certification actuelles, ce qui en fait une stratégie potentiellement exploitable pour les applications les plus critiques de DAL A de l'aérospatial; la seconde offre un design le plus optimisé possible en termes de réduction de poids masse et consommation énergétique embarqués. Chaque stratégie est dite complète car elle contient: - une analyse temporelle statique qui borne les interférences inter-coeurs et permet de dériver des bornes supérieures de WCETs de manière fiable; - une formulation de problème de programmation par contraintes (PPC) pour l'allocation automatique et optimisée de logiciel sur matériel; la configuration résultante est correcte par construction car le problème de PPC exprimé exploite l'analyse temporelle mentionnée précédemment pour effectuer une vérification temporelle sur chaque configuration testée. - une formulation de problème de PPC pour la génération d'ordonnancement automatique et optimisé; la configuration résultante est correcte par construction car le processus exploite l'analyse temporelle mentionnée précédemment pour effectuer une vérification temporelle sur chaque configuration testée. / Interference in multicores is undesirable for hard real-time systems and especially in the aerospace industry, for which it is mandatory to ensure beforehand timing predictability and deadlines enforcement in a system runtime behavior, in order to be granted acceptance by certification authorities. The goal of this thesis is to propose an approach for multi-core integration of legacy IMA software, without any hardware nor software modification, and which complies as much as possible to current, incremental certification and IMA key concepts such as robust time and space partitioning. The motivations of this thesis are to stick as much as possible to the current IMA software integration process in order to maximize the chances of acceptation by avionics industries of the contributions of this thesis, but also because the current process has long been proven efficient on aerospace systems currently in usage. Another motivation is to minimize the extra effort needed to provide certification authorities with timing-related verification information required when seeking approval. As a secondary goal depending on the possibilities, the contributions should offer design optimization features, and help reduce the time-to-market by automating some steps of the design and verification process. This thesis proposes two complete methodologies for IMA integration on multi-core COTS. Each of them offers different advantages and has different drawbacks, and therefore each of them may correspond to its own, complementary situations. One fits all avionics and certification requirements of incremental verification and robust partitioning and therefore fits up to DAL A applications, while the other offers maximum Size, Weight and Power (SWaP) optimization and fits either up to DAL C applications, multipartition applications or non-IMA applications. The methodologies are said to be "complete" because this thesis provides all necessary metrics to go through all steps of the software integration process. More specifically, this includes, for each strategy: - a static timing analysis for safely upper-bounding inter-core interference, and deriving the corresponding WCET upper-bounds for each task. - a Constraint Programming (CP) formulation for automated software/hardware allocation; the resulting allocation is correct by construction since the CP process embraces the proposed timing analysis mentioned earlier. - a CP formulation for automated schedule generation; the resulting schedule is correct by construction since the CP process embraces the proposed timing analysis mentioned earlier.

Ce travail de thèse s’inscrit dans le domaine de la chimie métallo-supramoléculaire. Plus particulièrement, nous avons développé une chimie d’auto-assemblage afin de créer des architectures à plusieurs composants formés à partir de motifs TiO4N2. D’un point de vue synthétique, l’objectif de ce travail résidait dans l’analyse des conséquences de modifications structurales apportées à l’un des composants, le ligand azoté bidentate, sur la nature des architectures générées. C’est autour du ligand 2,2’-bipyrimidine que ces variations structurales se sont concentrées. En effet, c’est à partir de ce ligand que l’hélicate circulaire [Ti3(L)3(bpym)3], qui nous a servi de composé de référence tout au long de cette thèse, a été créé. Le premier facteur examiné concernait l’introduction de groupements de taille croissante sur le squelette de la 2,2’-bipyrimidine. Puis, la conséquence d’une réduction de la taille d’un des cycles du ligand azoté bidentate a été évaluée. Enfin, la denticité du ligand azoté a été changée. Le deuxième but de cette thèse était d’explorer l’importance relative des facteurs enthalpiques et entropiques dans des réactions d’auto-assemblage à base de métaux de transition. Nous avons pu ainsi proposer une méthodologie générale de modélisation thermodynamique qui ne fait appel qu’au seul logiciel PACHA, moyennant la connaissance des structures tridimensionnelles des produits de départ et d’arrivée. / The subject of this thesis belongs to the field of metallosupramolecular chemistry. We have developed a self-assembled chemistry in order to create multicomponent architectures formed around TiO4N2 units. From a synthetic point of view, the major goal of this work was to analyse the consequences of structural variations performed on one component on the resulting self- assembled architectures. These variations involved the 2,2'-bipyrimidine ligand as this ligand was employed to create a circular helicate [Ti3(L)3(bpym)3], which was used as a reference compound throughout this thesis. The first factor considered concerns the introduction of groups of different sizes on the backbone of the 2,2'-bipyrimidine. Then, the consequence of a ring size reduction of the nitrogenous bidentate ligand was evaluated. Finally, the denticity of the nitrogenous ligand was changed. The second aim of this thesis was to model the enthalpy and entropy factors governing these self-assembled reactions driven by titanium (IV) centers. We were able to propose a general thermodynamic modeling methodology by using the PACHA software, through the sole knowledge of crystalline structures of the starting and final products.

L’évaluation de la résistance probable des éléments dissipatifs d’énergie sismique lors du dimensionnement parasismique des charpentes d’acier au Canada repose sur la limite élastique probable de l’acier. Les taux de déformation élevés dans les éléments dissipatifs au cours d’un tremblement de terre ont pour effet d’augmenter la limite élastique de l’acier dans ces éléments. Le comportement dynamique de l’acier étudié par le biais d’essais uniaxiaux conventionnels ne permettent pas nécessairement de valider le comportement d’un élément dissipateur d’énergie sismique pouvant être sollicité selon deux dimensions. Les cadres contreventés excentriques, où le lien ductile subi des déformations biaxiales par les effets combinés du cisaillement et de la flexion en est un exemple. Le projet de recherche présenté dans ce mémoire de maîtrise vise à évaluer l’effet du taux de déformation sur la limite élastique de l’acier structural de grade 350W lors de sollicitations impliquant un état planaire de contrainte. La conception d’une éprouvette cruciforme optimale en acier basée sur des recommandations proposés dans la littérature et sur des analyses par éléments finis a été effectuée. Six essais de traction uniaxiaux et quatre essais de traction équibiaxiaux sur éprouvettes cruciformes ont été réalisés à différents taux de déformation entre 0.0001/sec et 2.4/sec. Durant ces essais, les déformations moyennes à travers la partie centrale des éprouvettes ont été mesurées par un système de potentiomètre conçu dans le cadre de ce projet. Quatre essais biaxiaux sur éprouvettes cruciformes selon des rapports de déformation distincts ont également été réalisés à un taux de déformation quasi-statique. Chaque essai a été simulé numériquement à l’aide d’un modèle éléments finis dans lequel la limite élastique a été calibrée afin de reproduire le comportement observé lors des essais. Le critère d’écoulement plastique de Von Mises ainsi qu’une formulation d’écrouissage non-linéaire ont été adoptés lors des analyses numériques. Les modèles calibrées ont permis de déterminer la limite élastique dynamique observée lors de chaque essai. Les résultats des analyses confirment que la limite élastique de l’acier augmente en fonction du taux effectif de déformation. Sept lois de prédiction de la limite élastique de l’acier ont été étudiées. Trois lois ont permis de représenter la limite élastique dynamique de l’acier testé dans la plage des taux de déformation étudiée. La loi qui semble la mieux adaptée à être implémentée dans un logiciel de modélisation a été identifiée. La loi de Drysdale et Zak utilisé dans le logiciel ADINA ne permet pas d’évaluer correctement le comportement dynamique observé lors des essais impliquant un taux élevé de déformation. Une étude numérique préliminaire sur le lien ductile est également présentée dans ce mémoire.