Les organisations subissent de fréquents changements. Pour rester compétitives, leurs<br />processus d'entreprise et leur système d'information doivent évoluer de concert, ce qui n'est<br />pas aisé. Bien souvent, l'évolution se fait de manière séparée voire divergente. Or, une rupture<br />de la relation d'alignement entre système et processus entraîne une baisse de la performance<br />de l'organisation. L'organisation a donc besoin de maîtriser l'évolution conjointe du système<br />et des processus, ce qui suppose de savoir si le système et les processus gèrent la même<br />information ou permettent d'atteindre les mêmes buts, pour pouvoir ensuite corriger le<br />système ou les processus. Les directeurs de systèmes d'information considèrent le problème<br />de l'alignement comme leur priorité absolue mais ils admettent qu'il reste encore mal posé et,<br />a fortiori, mal résolu.<br />De nombreux chercheurs s'intéressent au problème de l'alignement, le plus souvent sous<br />l'angle de l'alignement de la politique du développement du système d'information sur la<br />politique de développement de l'entreprise (alignement stratégique). Nous proposons de nous<br />écarter de cette vision réductrice en abordant le problème de l'alignement, de façon<br />rigoureuse et formelle, dans un contexte d'évolution qui correspond à la réalité quotidienne<br />des organisations et permet de mieux comprendre les enjeux et les concepts de l'ingénierie de<br />l'alignement.<br />Cette thèse apporte des réponses au problème de l'alignement et de son maintien au cours du<br />temps. Nous définissons précisément et formellement les concepts nécessaires à la mesure, à<br />la correction et à l'évolution de l'alignement entre un système et des processus d'entreprise.<br />Ainsi, nous proposons dix métriques permettant d'évaluer différents aspects complémentaires<br />de la relation d'alignement. Ces métriques sont bâties sur l'utilisation de modèles pour<br />représenter le système et les processus d'entreprise et la définition de deux types de liens<br />entre les concepts de ces modèles.<br />Nous proposons également une méthode, la méthode ACEM (Alignment Correction and<br />Evolution Method), pour corriger l'alignement et faire évoluer conjointement le système et les<br />processus d'entreprise. Cette méthode matérialise la relation d'alignement à un niveau<br />intentionnel par le biais d'un modèle pivot. Elle guide les ingénieurs d'alignement dans la<br />réalisation des différentes étapes du processus tout en leur laissant une grande liberté de<br />choix. L'ingénieur fait évoluer le modèle pivot en exprimant explicitement les exigences<br />d'évolution sous forme d'opérateurs d'écart.<br />Ces métriques et ces opérateurs doivent pouvoir être utilisés dans des contextes variés. C'est<br />pourquoi nous les avons définis à un niveau générique, indépendamment de tout méta-modèle<br />spécifique. Des processus permettent de les générer de façon rigoureuse et aisée pour des<br />méta-modèles particuliers sans faire appel aux connaissances des ingénieurs ou aux<br />particularités d'un projet ou d'une méthode.

L'objectif de cette thèse est de profiter des avantages de deux formes de modélisation complémentaires pour représenter de manière formelle les systèmes d'information (SI). Un SI est un système informatisé qui permet de rassembler les informations d'une organisation et qui fournit des opérations pour les manipuler. Les SI considérés sont développés autour de systèmes de gestion de bases de données (SGBD). Notre motivation est d'utiliser des notations et des techniques formelles pour les concevoir, contrairement aux méthodes actuelles qui sont au mieux semi-formelles. D'une part, EB3 est un langage formel basé sur les traces d'événements qui a été défini pour la spécification des SI. En particulier, EB3 met en avant le comportement dynamique du système. D'autre part, B est un langage formel basé sur les états qui se prête bien à la spécification des propriétés statiques des SI. Nous avons défini une nouvelle approche, appelée EB4, qui bénéficie à la fois des avantages d'EB3 et B. Dans un premier temps, les processus décrits en EB3 sont utilisés pour représenter et pour valider le comportement du système. Ensuite, la spécification est traduite en B pour spécifier et vérifier les principales propriétés statiques du SI. Enfin, nous avons défini des techniques de synthèse automatique de transactions BD relationnelles à partir du modèle de données d'EB3 pour compléter le cycle de développement du SI.

Ce mémoire de thèse d'habilitation présente une synthèse des travaux de recherche et le projet de Camille Salinesi dans le domaine de l'Ingénierie des Exigences.

Cette thèse définit une nouvelle approche de gestion technique de biens immobiliers et urbains. Pour cela, un processus de production et de gestion de l’information du bâtiment, de son environnement proche et des objets urbains est défini. Il permet de gérer ces objets tout au long de leur cycle de vie, au sein d’un concept appelé Urban Facility Management, ou gestion technique de patrimoine urbain. Cette technologie s’appuie sur un Modèle d’Information Urbain qui permet de modéliser dans une ontologie dynamique et évolutive toute l’information de la ville et du bâtiment. Un mécanisme de niveaux de détail géométrico-contextuels a par ailleurs été définit afin de supporter la montée en charge d’un tel système. En effet, le nombre d’objets à gérer dans une scène par rapport à un système de modélisation du bâtiment est bien supérieur, tout comme la superficie de l’information à traiter. Aussi, les niveaux de détail contextuels permettent d’optimiser la scène en fonction de critères sémantiques.La proposition que nous avons faite se base sur une architecture dérivée des travaux en systèmes hypermédia adaptatifs. Elle est composée de six couches permettant de résoudre les problématiques de manière systémique : une couche de connexion aux sources de données, une couche d’import de ces données dans le système, une couche sémantique, une couche de contextualisation, une couche de connexion et une couche d’interface avec l’utilisateur. Cette architecture autorise la définition d’un workflow que nous avons décomposé au sein d’une architecture de processus. Celui-ci décrit la manière d’acquérir des données à la fois de sources SIG mais aussi IFC ou plus généralement CAO. Ces données sont importées dans le modèle d’information de la ville au sein d’une ontologie définie à l’aide d’outils présents dans la couche sémantique. Ces outils consistent en un ensemble d’opérateurs permettant de définir des concepts, relations et énoncés logiques. Ils sont couplés à un mécanisme de contextes locaux qui permet de définir des niveaux de détail contextuels au sein de l’ontologie. Associé à des représentations graphiques provenant des sources données, il est ainsi possible d’associer plusieurs représentations géométriques, 2D ou 3D, à un objet de notre base de connaissance, et de choisir le modèle à appliquer en fonction de critères sémantiques. La couche de gestion du contexte apporte des informations contextuelles au niveau des modèles de données grâce à un mécanisme basé sur les named graphs. Une fois l’ontologie mise en place, les données peuvent être exploitées par l’intermédiaire d’un moteur graphique que nous avons développé et qui gère l’information contextuelle et les niveaux de détail.Cette architecture de processus a été implémentée et adaptée sur la plateforme Active3D. Une partie des travaux de recherche a consisté à adapter l’architecture formelle du modèle d’information urbain à l’architecture existante afin de répondre aux contraintes industrielles du projet et aux critères de performances requis. La dernière partie de cette thèse présente les développements techniques nécessaires à la réalisation de ces objectifs / This thesis defines a new approach in urban and building facility management. A production and information management process of the building, its immediate environment and urban objects has been defined. It allows to manage these objects throughout their life cycle, in a concept called Urban Facility Management. This technology relies on an Urban Information Model to model all the information of cities and buildings in a dynamic and evolutive ontology. A mechanism for geometric and semantic levels of detail has also been defined to support the scalability of such a system. Indeed, the number of objects to be managed in a scene, compared to a building modeling system, is much higher, as the area of information processing. Also, contextual levels of detail optimize the scene according to semantic criteria.The proposal we made is based on an architecture derived from work in adaptive hypermedia systems. It consists of six layers that aim at solving problems in a systemic form: a connecting layer to data sources, a layer to import these data into the system, a semantic layer, a level of contextualization, a connection layer and an interface layer with the user. This architecture allows the definition of a workflow that we decomposed in an architecture of processes. This one describes how to acquire data from both GIS sources and IFC, but also from CAD in general. Data are then imported into the city information model into an ontology defined using tools from the semantic layer. These tools are composed of a set of operators that aim at defining concepts, relations and logical statements. They are coupled to a mechanism that allows the definition of local contexts used to express contextual levels of details within the ontology. Associated with graphical representations issued from diverse data sources, it become possible to combine several geometric representations, 2D or 3D, to an object of the knowledge base, and choose the representation to be displayed according to semantic criteria. The layer for context management provides contextual information on global data models through a mechanism based on named graphs. Once the ontology is developed, data can be exploited via a graphical engine that has been specially developed and that manages contextual information and levels of details.This architecture of processes has been implemented and adapted to the platform Active3D. Part of the research has been to adapt the formal architecture of the urban information model to the existing architecture. The goal was to provide a solution to the industrial constraints of the project and required performance criteria. The last part of this thesis therefore presents the technical developments necessary to achieve these goals

EB-3 est un langage de spécification développé pour la spécification des systèmes d'information. Le noyau du langage EB-3comprend des spécifications d'algèbre de processus afin de décrire le comportement des entités du système et des fonctions d'attributs qui sont des fonctions récursives dont l'évaluation se fait sur la trace d'exécution du système décrivant les attributs des entités. La vérification de propriétés temporelles en EB-3 est un sujet de grande importance pour des utilisateurs de EB-3. Dans cette thèse, on se focalise sur les propriétés de vivacité concernant des systèmes d'information exprimant l'éventualité que certaines actions puissent s'exécuter. La vérification des propriétés de vivacité se fait à l'aide de model checking. Dans un premier temps, on présente une sémantique opérationnelle deEB-3, selon laquelle les fonctions d'attributs sont évaluées pendant l'exécution du programme puis stockées. Cette sémantique nous permet de définir une traduction automatique de EB-3 vers LNT, qui est un langage simultané enrichi d'une algèbre de processus. Notre traduction assure la correspondance un à un entre les états et les transitions des systèmes étiquetés de transition correspondent respectivement à des spécifications EB-3 et LNT. Ensuite, on automatise la traduction grâce à l'outil EB3toLNT fournissant aux utilisateurs de EB-3 une tous les outils de vérification fonctionnelle disponible dans CADP. Dans le but d'améliorer les résultats de notre approche concernant le model checking, on explore des techniques d'abstraction dédiées aux systèmes d'information spécifiées en EB-3. En particulier, on se focalise sur une famille spécifique de systèmes qui s'appellent paramétriques dont le comportement varie en fonction de la valeur prédéfinie d'un paramètre du système. Enfin, on applique cette méthode dans le contexte de EB-3 / EB-3 is a specification language for information systems. The core of the EB-3 language consists of process algebraic specifications describing the behaviour of entities in a system, and attribute functions that are recursive functions evaluated on the system execution trace describing entity attributes. The verification ofEB-3 specifications against temporal properties is of great interest to users of EB-3. In this thesis, we focus on liveness properties of information systems, which express the eventuality that certain actions take place. The verification of liveness properties can beachieved with model checking. First, we present an operational semantics for EB-3 programs, in which attribute functions are computed during program evolution and their values are stored into program memory. This semantics permits us to define an automatic translation from EB-3 to LNT, a value-passing concurrent language with classical process algebra features. Our translation ensures the one-to-one correspondence between states and transitions of the labelled transition systems corresponding to theEB-3 and LNT specifications. Then, we automate this translation with the EB-3toLNT tool, thus equipping the EB-3 method with the functional verification features available in the model checking toolbox CADP. With the aim of improving the model checking results of this approach, we explore abstraction techniques for information systems specified inEB-3. In particular, we concentrate on a specific family of systems called parametric, whose behaviour is scaled in keeping with the predefined value of a system parameter. Finally, we apply this method on the EB-3 context

De nos jours les organisations publiques ont compris que les systèmes d'information sont devenus un atout stratégique. Dans ce cadre les organisations publiques gouvernementales ont recours massivement aux SI pour améliorer leur fonctionnement interne et les services qu'elles offrent aux usagers? Cependant le montant des investissements en SI s'avère élevé. Ces investissements comprennent certes le coût des technologies de l'information mais aussi des coûts immatériels liés à l'impact organisationnel des TI et le changement de nombreuses procédures en matière de management de l'information. / Owadays public organizations have realized that information systems have become a strategic asset. Within this framework governmental public organizations rely heavily on SI improve their internal operations and the services they provide to users? However the amount of investment in IS is high. These investments do include the cost of information technology but also the intangible costs associated with the organizational impact of IT and change many procedures for information management.

Aujourd’hui, les organisations s'appuient de plus en plus sur les systèmes d'information pour collecter, manipuler et échanger leurs données. Dans ces systèmes, la sécurité joue un rôle essentiel. En effet, toute atteinte à la sécurité peut entraîner de graves conséquences, voire détruire la réputation d'une organisation. Par conséquent, des précautions suffisantes doivent être prises en compte. De plus, il est bien connu que plus tôt un problème est détecté, moins cher et plus facile il sera à corriger. L'objectif de cette thèse est de définir les politiques de sécurité depuis les premières phases de développement et d’assurer leur déploiement correct sur une infrastructure technologique donnée.Notre approche commence par spécifier un ensemble d'exigences de sécurité, i.e. des règles statiques et dynamiques, accompagnées de l'aspect fonctionnel d'un système basé sur UML (Unified Modeling Language). L'aspect fonctionnel est exprimé par un diagramme de classes UML, les exigences de sécurité statiques sont modélisées à l'aide de diagrammes de SecureUML, et les règles dynamiques sont représentées en utilisant des diagrammes d'activités sécurisées.Ensuite, nous définissons des règles de traduction pour obtenir des spécifications B à partir de ces modèles graphiques. La traduction vise à donner une sémantique précise à ces schémas permettant ainsi de prouver l'exactitude de ces modèles et de vérifier les politiques de sécurité par rapport au modèle fonctionnel correspondant en utilisant les outils AtelierB prover et ProB animator. La spécification B obtenue est affinée successivement à une implémentation de type base de données, qui est basée sur le paradigme AOP. Les affinements B sont également prouvés pour s'assurer que l’implémentation est correcte par rapport à la spécification abstraite initiale. Le programme d’AspectJ traduit permet la séparation du code lié à la sécurité sécurité du reste de l'application. Cette approche permet d’éviter la diffusion du code de l'application, et facilite ainsi le traçage et le maintien.Enfin, nous développons un outil qui génère automatiquement la spécification B à partir des modèles UML, et la dérivation d'une implémentation d'AspectJ à partir de la spécification B affinée. L'outil aide à décharger les développeurs des tâches difficiles et à améliorer la productivité du processus de développement / Nowadays, organizations rely more and more on information systems to collect, manipulate, and exchange their relevant and sensitive data. In these systems, security plays a vital role. Indeed, any security breach may cause serious consequences, even destroy an organization's reputation. Hence, sufficient precautions should be taken into account. Moreover, it is well recognized that the earlier an error is discovered, the easier and cheaper it is debugged. The objective of this thesis is to define adequate security policies since the early development phases and ensure their correct deployment on a given technological infrastructure. Our approach starts by specifying a set of security requirements, i.e. static and dynamic rules, along with the functional aspect of a system based on the Unified Modeling Language (UML). Fundamentally, the functional aspect is expressed using a UML class diagram, the static security requirements are modeled using SecureUML diagrams, and the dynamic rules are represented using secure activity diagrams. We then define translation rules to obtain B specifications from these graphical models. The translation aims at giving a precise semantics to these diagrams, thus proving the correctness of these models and verifying security policies with respect to the related functional model using the AtelierB prover and the ProB animator. The obtained B specification is successively refined to a database-like implementation based on the AOP paradigm. The B refinements are also proved to make sure that the implementation is correct with respect to the initial abstract specification. Our translated AspectJ-based program allows separating the security enforcement code from the rest of the application. This approach avoids scattering and tangling the application's code, thus it is easier to track and maintain. Finally, we develop a tool that automates the generation of the B specification from UML-based models and of the AspectJ program connected to a relational database management system from the B implementation. The tool helps disburden developers of the difficult and error-prone task and improve the productivity of the development process

Ce travail s'inscrit dans le cadre de recherche sur les maladies vectorielles de Lyme et Virus du Nil au sein de l'Agence de Santé Publique du Canada (ASPC) ayant pour finalité d'évaluer et de cartographier les risques sanitaires associés à ces maladies infectieuses liées au climat aux échelles municipales, provinciales et fédérale. Dans ce contexte, cette recherche vise à démontrer la faisabilité, la pertinence et les enjeux de recourir aux méthodes de réduction d'échelle pour obtenir à une haute résolution spatio-temporelle (100/30 m et 1 jour) avec au plus des marges d'erreur de 2 unités, des déterminants climatiques et microclimatiques (DCMC) en milieu hétérogène du Canada. Un cadre méthodologique d'application des méthodes de réduction d'échelle, Random Forest Regression (RFR), Thermal sharpening (TsHARP), Pixel block intensity modulation (PBIM), a été proposé pour estimer la température de surface (LST) de MODIS 1000 m à 100/30 m. Des expérimentations basées sur cette approche ont été effectuées sur trois sites au Québec à différentes époques. Les résultats, spatialement représentatifs, ont été validés avec les températures de l'air et celles prises par de Landsat 08 avec des marges d'erreur autour de 2°C. L'analyse des résultats démontre la capacité effective des méthodes de réduction d'échelle à discriminer la LST dans l'espace. Toutefois, dans le contexte du projet de l'ASPC, ces résultats sont non concluants à 100/30 m en l'absence d'une plus-value significative au plan spatial de LST. Cette analyse a conduit à discuter des enjeux temporels, spatiaux, méthodologiques et de gestion de gros volumes de données en lien avec la réduction d'échelle dans le contexte du projet. / This research is part of the Public Health Agency of Canada's (PHAC) research on Lyme and West Nile Virus vector-borne diseases, which aims to assess and map the health risks associated with these climate-related infectious diseases at the municipal, provincial and federal levels. In this context, this research aims to demonstrate the feasibility, relevance and challenges of using downscaling methods to obtain high spatial and temporal resolution (100/30 m and 1 day), with margins of error of no more than 2 units, of climatic and microclimatic determinants (CMDs) in a heterogeneous Canadian environment. A methodological framework for the application of downscaling methods, Random Forest Regression (RFR), Thermal sharpening (TsHARP), Pixel block intensity modulation (PBIM), has been proposed to estimate the surface temperature (LST) from MODIS 1000 m to 100/30 m. Experiments with our approach were carried out at three sites in Quebec at different times. The spatially representative results were validated with air and Landsat 08 temperatures with error margins around 2°C. The analysis of our results demonstrates the effective capacity of downscaling methods to discriminate LST in space. However, in the context of the ASPC project, these results are inconclusive at 100/30 m in the absence of a significant, expected increase in the spatial accuracy of LST. This analysis led to a discussion of the temporal, spatial, methodological and large data volume management issues related to downscaling in the context of the project.

Thèse ou mémoire avec insertion d'articles / Les avancements fulgurants dans les technologies de l'information et de la communication (TIC) ont changé nos modes de vie à plusieurs égards. Ces technologies, perçues hier comme un luxe, sont devenues un choix indispensable dans les organisations contemporaines. Cette tendance s'est accentuée avec l'intensification de la mondialisation et l'ouverture des frontières économiques. En outre, la concurrence passera principalement par la mobilisation de ces technologies de pointe. Cette pression oblige les organisations à examiner les avantages de ces technologies. En effet, certains systèmes d'information nécessitent une mobilisation importante en matière de ressources, et donc, une prise de risque importante. Selon les statistiques d'une firme de sondage indépendante (Sage Group PLC, 2021), le coût moyen des implantations de certains systèmes d'information est évalué à 6.1 millions de dollars au cours des cinq dernières années . Cependant, la durée moyenne de ces projets ne dépasse pas les 15.7 mois. Ces statistiques nous poussent à mieux approfondir nos connaissances sur le sujet. Dans le cadre de notre thèse, nous nous focalisons sur l'impact de la post-adoption des systèmes d'information sur les processus influençant la performance financière et non financière de l'organisation dans un contexte canadien. De ce fait, la mesure de performance est considérée comme un indicateur pour évaluer le succès ou l'échec de l'adoption du système d'information. Cette mesure est à la fois complexe et illusoire. Ainsi, en nous basant sur les résultats empiriques de notre étude, nous étendons la portée de la thèse pour avoir une meilleure compréhension du succès et de l'échec vis-à-vis de l'adoption des systèmes d'information. Bien que les termes "échec" et "succès" sont bien connus et largement utilisés dans le champ de la technologie de l'information, mais ils demeurent délicats et sont difficiles à définir (Stefanovic et al., 2011; Petter et al., 2008; Jiang et al., 2002; Garrity & Sanders, 1998). Par ailleurs, nous visons définir une meilleure conceptualisation du succès et de l'échec de l'adoption du système d'information en se référant à la performance financière et non financière de la firme tout en prenant en considération le résultat des autres processus. Afin d'atteindre nos objectifs, nous avons commencé par explorer la littérature pour avoir une meilleure compréhension du domaine de l'adoption. Nous avons procédé par une étude exploratoire. Un questionnaire en ligne a été créé avec l'aide d'un expert et envoyé à des employés travaillant pour des organisations au Canada. Les données collectées ont été analysées avec les outils SPSS et SmartPLS afin de valider nos hypothèses. La régression des moindres carrés partiels (Partial least squares regression PLS) est utilisée pour analyser les différentes relations entre nos variables tandis que, pour comprendre la conceptualisation du succès et de l'échec, nous avons utilisé l'analyse par segmentation en deux étapes (the two-step cluster analysis technique). Les résultats obtenus nous ont permis d'avoir une compréhension du domaine de la gestion des organisations à travers le diagnostic de l'adoption des systèmes d'information et une compréhension des comportements et perceptions humains qui permettra une meilleure prédiction du succès ou de l'échec et donc une gestion organisationnelle optimale. Selon la littérature grise, malgré le fait que le taux d'échec était en déclin durant les dernières années, le taux de succès demeure presque stable. Nos résultats empiriques confirment la dépendance entre le succès et l'échec, ce qui permettra d'avoir une meilleure visibilité sur le taux réel du succès et de l'échec de l'adoption des systèmes d'information. Notre étude étend le modèle de TTF (Technology Fit Model), largement utilisé en TI (technologie de l'information). Elle intègre d'autres facteurs qui peuvent expliquer la performance de l'entreprise. Le nouveau modèle conceptuel permettra aux praticiens de mieux comprendre l'impact de l'utilisation sur la performance de l'entreprise, la performance individuelle et celle des processus d'affaires. Les résultats de notre étude incitent les praticiens à mettre en place des mesures de performance intégrant la qualité du système, la facilité de son utilisation, la performance individuelle et la performance des processus d'affaires. Ces facteurs ont un impact direct et indirect sur la performance financière et non financière de l'entreprise. Finalement, des recherches empiriques s'avèrent nécessaires pour évaluer l'impact de ces facteurs à travers différentes frontières contextuelles et culturelles. Les études futures doivent considérer d'autres facteurs comme la sécurité, qui de nos jours, devient une priorité afin de mieux comprendre l'effet de l'utilisation sur la satisfaction des utilisateurs et la performance de l'entreprise.

La mobilité des personnes à mobilité réduite (PMR) joue un rôle important dans leur inclusion sociale. Les PMR ont besoin de se déplacer de manière autonome pour effectuer leurs routines quotidiennes comme aller à l'école, au travail, au centre de remise en forme ou faire du magasinage. Cependant, celles-ci ne sont pas entièrement exécutées en raison de la conception non-adaptée des villes pour ces personnes. En effet, la mobilité est une habitude de vie humaine qui est le résultat d'interactions entre les facteurs humains (par exemple, les capacités) et les facteurs environnementaux. Au cours des dernières années, la mise au point de technologies d’aide technique s'est développée progressivement pour permettre aux PMR d’améliorer leur qualité de vie. En particulier, ces technologies offrent une variété de caractéristiques qui permettent à ces personnes de surmonter divers obstacles qui réduisent leur mobilité et contribuent à leur exclusion sociale. Cependant, malgré la disponibilité des technologies d’aide à la navigation et à la mobilité, leur potentiel est mal exploité pour les PMR. En effet, ces technologies ne considèrent pas les interactions « humain-environnement » adéquatement pour ces utilisateurs. L'objectif général de cette thèse est d'utiliser les potentiels des méthodes et des technologies de science de l'information géographique (SIG) afin d’aider à surmonter les problèmes de mobilité des PMR en créant un cadre d'évaluation de l'accessibilité et en développant une approche personnalisée de routage qui prend en compte les profils de ces personnes. Pour atteindre ce but, quatre objectifs spécifiques sont considérés: 1) développer une ontologie de mobilité pour les PMR qui considère les facteurs personnels et environnementaux, 2) proposer une méthode de l’évaluation de l'accessibilité du réseau piétonnier pour la mobilité des PMR en considérant spécifiquement les interactions entre les facteurs humains (la confiance) et les facteurs environnementaux, 3) étudier le rôle des facteurs sociaux dans l'accessibilité des zones urbaines et, finalement, 4) affiner les algorithmes existants pour calculer les itinéraires accessibles personnalisés pour les PMR en considérant leurs profils. En effet, tout d'abord pour développer une ontologie pour la mobilité des PMR, la dimension sociale de l'environnement ainsi que la dimension physique sont intégrées et une nouvelle approche basée sur une perspective « nature-développement » est présentée. Ensuite, une approche fondée sur la confiance des PMR est développée pour l'évaluation de l'accessibilité du réseau piétonnier, compte tenu de l'interaction entre les facteurs personnels et les facteurs environnementaux. De plus, dans une perspective de considération des facteurs sociaux, le rôle des actions politiques sur l'accessibilité du réseau piétonnier est étudié et l'influence de trois politiques potentielles est analysée. Enfin, une nouvelle approche pour calculer des itinéraires personnalisés pour les PMR en tenant compte de leurs perceptions, de leurs préférences et de leurs confidences est proposée. Les approches proposées sont développées et évaluées dans le quartier Saint-Roch à Québec, et ce, en utilisant une application d'assistance mobile et multimodale développée dans le cadre du projet MobiliSIG. / Mobility of people with motor disabilities (PWMD) plays a significant role in their social inclusion. PWMD need to move around autonomously to perform their daily routines such as going to school, work, shopping, and going to fitness centers. However, mostly these needs are not accomplished because of either limitations concerning their capabilities or inadequate city design. Indeed, mobility is a human life habit, which is the result of interactions between people and their surrounded environments. In recent years, assistive technologies have been increasingly developed to enable PWMD to live independently and participate fully in all aspects of life. In particular, these technologies provide a variety of features that allow these individuals to overcome diverse obstacles that reduce their mobility and contribute to their social exclusion. However, despite increasing availability of assistive technologies for navigation and mobility, their potential is poorly exploited for PWMD. Indeed, these technologies do not fully consider the human-environment interactions. The overall goal of this dissertation is to benefit from the potentials of methods and technologies of the Geographic Information Sciences (GIS) in order to overcome the mobility issues of PWMD by creating an accessibility-assessing framework and ultimately by developing a personalized routing approach, which better considers the humanenvironment interaction. To achieve this goal, four specific objectives were followed: 1) develop a mobility ontology for PWMD that considers personal factors as well as environmental factors, 2) propose a method to evaluate the accessibility of the pedestrian network for the mobility of PWMD considering the interactions between human factors (confidence) and the environmental factors, 3) study of the role of social factors in the accessibility of urban areas, and finally, 4) refine the existing algorithms to calculate accessible routes for PWMD considering their profile. First, to develop an adapted ontology for mobility of the PWMD, the social dimension of the environment with the physical dimension were integrated and a new approach based on a “Nature-Development” perspective was presented. This perspective led to the development of useful ontologies, especially for defining the relationships between the social and physical parts of the environment. Next, a confidence-based approach was developed for evaluation of the accessibility of pedestrian network considering the interaction between personal factors and environmental factors for the mobility of PWMD. In addition, the role of policy actions on the accessibility of the pedestrian network was investigated and the influence of three potential policies was analyzed. Finally, a novel approach to compute personalized routes for PWMD considering their perception, preferences, and confidences was proposed. The approaches proposed were implemented in the Saint-Roch area of Quebec City and visualized within the multimodal mobile assistive technology (MobiliSIG) application