Les logiciels d'aide au diagnostic sont, aujourd'hui, intégrés dans la pratique quotidienne. Ils sont également des éléments clefs de la recherche médicale. Définis comme dispositifs médicaux, une évolution récente de la règlementation impose des évaluations cliniques aux fabricants. L'industrie pharmaceutique bénéficie d'une méthode éprouvée pour l'évaluation des médicaments. Elle n'est pas totalement transposable aux dispositifs médicaux, encore moins pour les logiciels. L'objectif de cette thèse est de proposer une méthodologie d'évaluation et de validation cliniques de ces dispositifs. Dans un premier temps, le cadre règlementaire et normatif est présenté ainsi que des méthodologies émanant de différents domaines. La synthèse de ces données permet la présentation d'un premier item de la méthode permettant l'évaluation clinique des performances logicielles. Afin d'aller plus loin dans l'analyse, une seconde partie de la méthode est consacrée à l'évaluation/validation de l'ergonomie logicielle, sujet sensible pour les logiciels médicaux. Enfin, et afin de rendre à ces dispositifs leur vraie place dans le parcours de soins, le dernier item propose de mettre en évidence leur intérêt dans la pratique clinique, ainsi que dans la prise en charge du patient, via leur implication dans la recherche de nouveaux biomarqueurs en imagerie. Ces différentes méthodes respectent et dépassent le cadre règlementaire afin de répondre aux attentes de tous les acteurs du cycle de vie des logiciels d'aide au diagnostic en imagerie. Un exemple d'application est finalement présenté via la démonstration de l'impact d'un logiciel dédié sur l'évaluation de la réponse oncologique en imagerie / Aided-diagnosis software in imaging are now integrated to radiological workflow but they are also key elements in medical research. Defined as medical devices, recent regulatory changes now impose clinical evaluations on manufacturers. The pharmaceutical industry benefits from a proven method in drug evaluation. Yet, transposition to medical devices is not fully effective and even more complex in the case of software. The aim of this thesis is to propose a clinical evaluation and validation methodology for these devices. The first part introduces the normative and regulatory framework as well as methodologies from various areas. The synthesis of these data allows the presentation of the first methodology item enabling the clinical evaluation of software performance. In order to further the analysis, the second part of the methodology is dedicated to evaluation/validation of software ergonomics, a sensitive issue in medical software. Finally, to restore these devices to their true place in health care, the last item proposes to highlight their impact in clinical practice and in patient management, through their implication in the search for new biomarkers in imaging. These various methods comply with and go beyond the regulatory framework in order to meet the expectations of all the stakeholders involved in the life cycle of aided-diagnosis software in imaging. To conclude, an example of its application is presented showing the impact of a dedicated software in the evaluation of oncology response in imaging.

Les grappes de PCs constituent des architectures distribuées dont l'adoption se répand à cause de leur faible coût mais aussi de leur extensibilité en termes de noeuds. Notamment, l'augmentation du nombre des noeuds est à l'origine d'un nombre croissant de pannes par arrêt qui mettent en péril l'exécution d'applications distribuées. L'absence de solutions efficaces et portables confine leur utilisation à des applications non critiques ou sans contraintes de temps.MoLOToF est un modèle de tolérance aux pannes de niveau applicatif et fondée sur la réalisation de sauvegardes. Pour faciliter l'ajout de la tolérance aux pannes, il propose une structuration de l'application selon des squelettes tolérants aux pannes, ainsi que des collaborations entre le programmeur et le système de tolérance des pannes pour gagner en efficacité. L'application de MoLOToF à des familles d'algorithmes parallèles SPMD et Maître-Travailleur a mené aux frameworks FT-GReLoSSS et ToMaWork respectivement. Chaque framework fournit des squelettes tolérants aux pannes adaptés aux familles d'algorithmes visées et une mise en oeuvre originale. FT-GReLoSSS est implanté en C++ au-dessus de MPI alors que ToMaWork est implanté en Java au-dessus d'un système de mémoire partagée virtuelle fourni par la technologie JavaSpaces. L'évaluation des frameworks montre un surcoût en temps de développement raisonnable et des surcoûts en temps d'exécution négligeables en l'absence de tolérance aux pannes. Les expériences menées jusqu'à 256 noeuds sur une grappe de PCs bi-coeurs, démontrent une meilleure efficacité de la solution de tolérance aux pannes de FT-GReLoSSS par rapport à des solutions existantes de niveau système (LAM/MPI et DMTCP). / PC clusters are distributed architectures whose adoption spreads as a result of their low cost but also their extensibility in terms of nodes. In particular, the increase in nodes is responsable for the increase of fail-stop failures which jeopardize distributed applications. The absence of efficient and portable solutions limits their use to non critical applications or without time constraints. MoLOToF is a model for application-level fault tolerance based on checkpointing. To ease the addition of fault tolerance, it proposes to structure applications using fault-tolerant skeletons as well as collaborations between the programmer and the fault tolerance system to gain in efficiency. The application of MoLOToF on SPMD and Master-Worker families of parallel algorithms lead to FT-GReLoSSS and ToMaWork frameworks respectively. Each framework provides fault-tolerant skeletons suited to targeted families of algorithms and an original implementation. FT-GReLoSSS uses C++ on top of MPI while ToMaWork uses Java on top of virtual shared memory system provided by JavaSpaces technology. The frameworks' evaluation reveals a reasonable time development overhead and negligible runtime overheads in absence of fault tolerance. Experiments up to $256$ nodes on a dualcore PC cluster, demonstrate a better efficiency of FT-GReLoSSS' fault tolerance solution compared to existing system-level solutions (LAM/MPI and DMTCP)

L'objectif de cette thèse est le développement de méthodes de compréhension des logiciels malveillants, afin d'aider l'analyste humain à mieux appréhender cette menace. La première réalisation de cette thèse est une analyse à grande échelle et en profondeur des protections de logiciels malveillants. Plus précisément, nous avons étudié des centaines d'exemplaires de logiciels malveillants, soigneusement sélectionnés pour leur dangerosité. En mesurant de façon automatique un ensemble de caractéristiques originales, nous avons pu alors montrer l'existence d'un modèle de protection particulièrement prévalent dans ces programmes, qui est basé sur l'auto modification du code et sur une limite stricte entre code de protection et code utile. Ensuite, nous avons développé une méthode d'identification d'implémentations cryptographiques adaptée aux programmes en langage machine protégés. Nous avons validé notre approche en identifiant de nombreuses implémentations d'algorithmes cryptographiques -- dont la majorité sont complètement invisibles pour les outils existants --, et ceci en particulier dans des protections singulièrement obscures de logiciels malveillants. Finalement, nous avons développé ce qui est, à notre connaissance, le premier environnement d'émulation de réseaux de machines infectées avec plusieurs milliers de machines. Grâce à cela, nous avons montré que l'exploitation d'une vulnérabilité du protocole pair-à-pair du réseau Waledac permet de prendre son contrôle / The main goal of this thesis is the development of malware analysis methods to help human analysts better comprehend the threat it represents. The first achievement in this thesis is the large-scale and in-depth analysis of malware protection techniques. In particular, we have studied hundreds of malware samples, carefully selected according to their threat level. By automatically measuring a set of original characteristics, we have been able to demonstrate the existence of a particularly prevalent model of protection in these programmes that is based on self-modifying code and on a strict delimitation between protection code and payload code. Then, we have developed an identification method for cryptographic implementations adapted to protected machine language programmes. We have validated our approach by identifying several implementations of cryptographic algorithms ---the majority unidentified by existing tools--- and this even in particularly obscure malware protection schemes. Finally, we have developed what is, to our knowledge, the first emulation environment for botnets involving several thousands of machines. Thanks to this, we were able to validate the viability of the use of a vulnerability in the peer-to-peer protocol in the Waledac botnet to take over this network

Le Cloud offre le calcul, stockage etréseau en tant que services. Pour réduire le coûtde cette offre, les opérateurs ont tendance à s’appuyer sur des infrastructures centralisées et gigantesques. Cependant, cette configuration entrave la satisfaction des exigences de latence et de bande passante des applications de nouvelle génération. L'Edge cherche à relever ce défi en s'appuyant sur des ressources massivement distribuées. Afin de satisfaire les attentes des opérateurs et des utilisateurs du Edge, des services de gestion ayant des capacités similaires à celles qui ont permis le succès du Cloud doivent être conçus. Dans cette thèse, nous nous concentrons sur le service de supervision. Nous proposons un canevas logiciel pour la mise en place d’un service holistique. Ce canevas permet de déterminer une architecture de déploiement pair-à-pair pour les fonctions d'observation, de traitement et d'exposition des mesures. Il vérifie que cette architecture satisfait les exigences fonctionnelles et de qualité de service des utilisateurs. Ces derniers peuvent être exprimés à l'aide d'un langage de description offert par le canevas. Le canevas offre également un langage de description pour unifier la description de l'infrastructure Edge. L’architecture de déploiement est déterminée avec l’objectif de minimiser l'empreinte de calcul et réseau du service de supervision. Pour cela, les fonctions de supervision sont mutualisées entre les différents utilisateurs. Les tests que nous avons faits ont montré la capacité de notre proposition à réduire l'empreinte de supervision avec un gain qui atteint -28% pour le calcul et -24% pour leréseau. / Cloud offers compute, storage and network as services. To reduce the offer cost, the operators tend to rely on centralized and massive infrastructures. However, such a configuration hinders the satisfaction of the latency and bandwidth requirements of new generation applications. The Edge aims to rise this challenge by relying on massively distributed resources. To satisfy the operators and the users of Edge, management services similar to the ones that made the success of Cloud should be designed. In this thesis, we focus on the monitoring service. We design a framework to establish a holistic monitoring service. This framework determines a peer-to-peer deployment architecture for the observation, processing, and exposition of measurements. It verifies that this architecture satisfies the functional and quality of service constraints of the users. For this purpose, it relies on a description of users requirement sand a description of the Edge infrastructure.The expression of these two elements can be unified with two languages offered by the Framework. The deployment architecture is determined with the aim of minimizing the compute and network footprint of the monitoring service. For this purpose, the functions are mutualized as much as possible among the different users. The tests we did showed the relevance of our proposal for reducing monitoring footprint with a gain of -28% for the compute and -24% for the network.

Ce travail s’interroge sur l’impact éthique du remplacement des humains par des robots, particulièrement dans le cadre militaire avec les systèmes d’armes létales autonomes (SALA). Il fait le point sur les robots militaires et les logiciels existants qui contribuent à leur autonomie jusqu’en 2014. L’augmentation progressive de l’autonomie des robots signe le remplacement possible de l’humain, l’agir moral des machines à la place de l’homme est dès lors une problématique. Le robot peut-il être un agent moral ? Peut-on créer un agent moral artificiel ? Quelles sont les contraintes techniques, algorithmiques, juridiques et éthiques auxquelles une telle réalisation serait confrontée, notamment dans le monde militaire ? La robotisation est une réalité qui a déjà des effets sur le politique et le militaire comme l’illustre l’usage des drones. Quels pourraient être les effets d’une plus grande autonomie des robots pour l’obtention de la victoire et vis-à-vis de l’éthique militaire ? L’aspect novateur ne doit pas oblitérer les défis qui se posent tant aux soldats qu’aux robots. Si aucun n’est infaillible, que peut-on conclure du projet de créer des robots moraux, et quel avenir peut-on envisager pour une robotique respectueuse de l’éthique militaire ? / This work examines the ethical impact of replacing human beings with robots, especially in the military context. It focuses on existing military robots and on programmes contributing to their autonomy until 2015. Increasing autonomy of robots signs the possible replacement of the human being; the moral behaviour of the machines replacing the moral action of man is therefore an issue. Can the robot be a moral agent? Can one create an artificial moral agent? What are the technical, algorithmic, legal and ethical constraints that such achievement would face, especially in the military environment? Robotics are a reality having already an impact on the political and military world, as illustrated by the use of unmanned air vehicles. What might be the effects of greater autonomy of robots in obtaining victory and towards military ethics? The innovative aspect should not obliterate the challenges facing soldiers as well as robots. If no one is infallible, what can one conclude about the project of creating moral robots, and what kind of future can we look for in view of friendly robotics respecting military ethics?

Cette thèse a pour objet l’étude de l'apport de l’introduction des technologies de l'information et de la communication pour l'enseignement (TICE) dans le processus enseignement-apprentissage de l'algorithmique chez les apprenants débutants, en particulier une application de simulation d'algorithmes (AlgoBox). L'utilisation de cet artefact computationnel a pour objectif de proposer une contribution afin de juguler le problème du fort taux d'échec constaté par les responsables administratifs et pédagogiques depuis plusieurs années dans l'enseignement de l'algorithmique et de la programmation à l'Ecole Normale Supérieure de l’Enseignement Technique (ENSET) de Libreville. Ainsi, la mise en place d'un dispositif expérimental conformément aux hypothèses émises et faisant suite à une première expérimentation d'identification et d'analyse de certains indicateurs, a permis de faire l'étude de l'apport du logiciel de simulation d'algorithme. Au terme de cette recherche, il est établi une légère augmentation des performances des apprenants vraisemblablement due non seulement à l’apport de l’artefact, mais aussi à la réactivation des connaissances liées aux savoirs implicites portées par la tâche prescrite. Il convient donc de préconiser d’accompagner l’usage de cette application par la mise en œuvre d’une nouvelle approche afin de permettre la construction d’une pédagogie adaptée (Ginestié, 2008). / This thesis has for object to study of the contribution of the introduction of the TICE's in the teaching-learning process of the algorithmics to the novice learners, in particular an application of simulation of algorithmics (AlgoBox). The use of this computational artifact aims at proposing a contribution in order to solvat the problem of the high rate of failure noticed by the administratives and pedagogicals responsibles for several years in the teaching of the algorithmics and programmations at Ecole Normale Supérieure de l'Enseignement Technique (ENSET) of Libreville.Thereby the implementation of an experimental device according to the emitted hypotheses and following upon a first experiment of identification and analysis of certain indicators, has allowed making the study of the contribution of the simulation software of algorithm. At the end of this research, it is therefore note a slight increase in the performances of the learners most probably due not only to the contribution of the artifact, but also to the reactivation of implicit knowledge carried out by the prescribed task. It is thus advisable to foresee to accompany the use of this application by the implementation a new approach so as to allow the construction of an adapted pedagogy (Ginestie, 2008).

Le système pantographe–caténaire (PAC) est un maillon vital de la chaîne de transmission d'énergie électrique aux moteurs de traction électrique ferroviaire. Ce système est complexe à cause de la nature dynamique de ses composants, qui sont en outre, soumis à diverses sollicitations physiques et environnementales. Il est donc important de bien modéliser et d'analyser le PAC afin d'élaborer des méthodologies adéquates d'analyse, de modélisation et de commande. Dans cette thèse, le travail présenté commence par une étude approfondie du modèle du système PAC en tenant compte des paramètres et des phénomènes physiques du PAC. En premier lieu, un modèle mathématique à base de la méthode des Éléments Finis du système PAC est proposé. En second lieu, et pour des raisons de commande et de régulation, nous proposons un modèle simplifié qui représente suffisamment bien le comportement dynamique du système. L'un de nos objectifs est d'améliorer le contact entre l'archet du pantographe et la caténaire dans le but de garantir un minimum d'usure tout en ayant une alimentation électrique permanente et régulière pour les trains à grande vitesse. La problématique est donc de maintenir une force de contact constante et régulière entre le pantographe et la caténaire dans des limites acceptables et en tenant compte des perturbations occurrentes. Dans cet esprit, nous avons développé des commandes robustes pour améliorer le contact entre le pantographe et la caténaire. Par ailleurs, les aspects pratiques de cette thèse se reflètent par la réalisation et la mise en œuvre d'un banc d'essai pantographe actif/caténaire et le développement d’un logiciel de gestion et de simulation du système PAC / The pantograph-catenary system (PAC) is a vital link in the electrical power transmission chain to the railway electric traction motors. This system is complex due to the dynamic nature of its components, which are subject to various physical and environmental stresses. It is therefore important to model and analyze the PAC to develop appropriate methodologies for analysis, modeling and control. In this thesis, the presented work begins with a thorough study of the PAC model, taking into account the parameters and physical phenomena of the PAC. First, a mathematical model based on the Finite Elements method of the PAC system is proposed. Second, for reasons of control and regulation, we propose a simplified model that adequately represents the dynamic behavior of the system. One of our goals is to improve the contact between the pantograph head and overhead contact line in order to ensure minimum wear while having a permanent and regular power supply for high-speed trains. So the problem is to maintain a constant and regular contact force between the pantograph and the catenary, within acceptable limits and taking into account disturbances. With this in mind, we have developed robust controls to improve the contact between the pantograph and the catenary. The practical aspect of this thesis is reflected by the creation and implementation of a test bed for the pantograph-active/catenary and the development of a management and simulation software for PAC system

L’analyse de la performance énergétique des bâtiments neufs repose massivement sur des outils logiciels de simulation. La valeur ajoutée de ces derniers est indéniable : ils permettent d’optimiser la conception en facilitant l’évaluation des performances énergétiques du bâtiment durant la phase de conception. Leur impact est cependant limité par plusieurs obstacles, dont les principaux sont le niveau d’expertise requis pour leur utilisation et l’absence de connexion aux outils de Conception Assistée par Ordinateur (CAO). Ce dernier point devient particulièrement critique au moment où l’utilisation de la maquette numérique BIM (Building Information Model) se généralise et où les modèles issus d’outils de CAO sont de plus en plus riches.Cette thèse repose sur cette observation et propose, afin de profiter pleinement du potentiel du BIM et des outils en lien, de contribuer à l’émergence d’approches permettant une transformation fiable et transparente des informations du bâtiment numérique BIM vers les fichiers d'entrée des environnements de simulation. Cela se traduirait par des avantages significatifs, tant sur le rapport coût-efficacité (l’analyse est effectuée plus efficacement), qu’au niveau de la fiabilité (les modèles de simulation sont conformes aux modèles de conception). Toutefois, pour mettre en œuvre de telles approches, plusieurs obstacles doivent être pris en compte : le premier est la nécessité de disposer d’un langage normalisé commun pour le BIM, le deuxième est la définition de mécanismes méthodologiques efficaces et normalisés afin d’enrichir le BIM pour la simulation, le troisième est la mise à disposition d'outils logiciels fiables pour la transformation automatisée du BIM vers les modèles de simulation thermique.Le premier obstacle est en passe d’être levé grâce aux standards issus du consortium international buildingSMART, en particulier les « Industry Foundation Classes » (IFC) qui sont désormais largement reconnus comme un format d'échange standard du BIM dans le domaine de la construction. Le deuxième verrou reste actuel : l’IFC, même dans sa dernière version IFC4, laisse entier de nombreux problèmes de formulation de concepts propres aux domaines métiers, en particulier celui de la simulation énergétique. Cependant, des environnements méthodologiques ont vu le jour permettant d’étendre et d’enrichir de façon structurée les formats de données BIM. C’est par exemple le cas de l’IDM (Information Delivery Manual) et du MVD (Model View Définition) de buildingSMART, pour les IFC.L’objectif de nos travaux est triple. En premier lieu, il s’agit de mettre en œuvre et évaluer l’environnement IDM/ MVD de buildingSMART pour l’interconnexion entre le BIM (format IFC) et la simulation énergétique. Cette étude nous a amenés à proposer un modèle pivot (BSM pour « Building Simulation Model ») basé sur une analogie avec les approches prônées par l’ingénierie dirigée par les modèles. Nous avons également développé un outil logiciel, qui inclut une base de règles de mapping, afin d’automatiser la traduction de l’information entre le modèle IFC et le modèle de simulation. Cette approche a été évaluée sur la base de l’outil COMETH (moteur de simulation de la régulation thermique française RT2012) mais elle est généralisable. / Energy performance analysis of new buildings strongly relies on simulation tools. They optimize the design by facilitating building performance analysis during the design phase. However, there are several limitations, among which one of the main is the lack of reliable connections between Computer Aided Design (CAD) and simulation tools. This is particularly critical at a time when the concept of Building Information Model (BIM) is widely applied and the CAD models are becoming richer.This thesis proposes to take advantage of the potential of BIM in order to contribute to emerging approaches for a reliable and seamless interconnection between building information models and simulation environment input files. This would result into significant benefits, both from the cost-effectiveness (analysis is performed more effectively) and the reliability (simulation models strictly comply with design models) points of view. However, to implement such approaches, several barriers have to be considered. The first is the need for a common, standardized BIM language. The second is the definition of adequate and standardized extension mechanisms, to customize BIM for simulation-specific purposes. The third is the provision of software tools, for effective and reliable BIM to simulation models transformation.The first barrier is likely to be overcome through the advent of the buildingSMART Industry Foundation Classes (IFC), which is widely recognized as a standard BIM exchange format in the construction industry. However, with respect to the second barrier, the IFC remains a wide-purpose modelling language and as such, fails to address many domain-specific issues, like e.g. energy simulation. This limitation has been acknowledged by buildingSMART, who have delivered novel methodological tools to allow for domain-specific customization of IFC. The main one is called the Information Delivery Manual (IDM). The aim of our work is the implementation and evaluation the BuildingSMART framework IDM/MVD to interconnect BIM (IFC) and energy simulation. This study led us to propose a pivotal model (BSM for « Building Simulation Model») based on an analogy with model driven engineering approaches. We also have developed a software prototype, which includes a set of mapping rules that automates the translation process between the IFC model and the simulation tool. In the scope of this study, we targeted the COMETH simulation tool (a simulation engine based on the French thermal regulation RT2012) but our results can easily be extended to additional tools.

Les systèmes logiciels modernes se caractérisent par un besoin d'évolutions perpétuelles et rapides, comme par exemple dans le monde de l'informatique mobile. Pour faciliter le développe\-ment et l'évolution rapide de systèmes complexes, des approches de génie logiciel ont été proposées, telles que les architectures logicielles et la méthode de conception agile. Néanmoins, les solutions actuelles offrent peu de support pour permettre l'évolution fiable d'un système, c'est-à-dire permettre sa modification tout en garantissant le respect de ses exigences de qualités de service et de bon fonctionnement global. La contribution de cette thèse est CALICO, un canevas de développement agile pour la conception et l'évolution fiable de systèmes logiciels à composants et orientés services. Le développement agile repose sur l'utilisation d'un cycle de développement itératif et incrémental qui permet à l'architecte d'itérer entre les étapes de conception de l'architecture et de débogage du logiciel dans son environnement d'exécution. A chaque itération du cycle, l'architecte peut faire évoluer son logiciel et fiabiliser ses évolutions grâce à l'exécution d'analyses statiques et dynamiques complémentaires. Ainsi, lors de la conception et de l'évolution d'un système, l'architecte dispose d'un ensemble de métamodèles pour spécifier la structure de l'architecture de son logiciel et ses diverses exigences de qualité de services. Lors du déploiement, CALICO utilise les modèles spécifiés pour instancier le système sur la plate-forme d'exécution cible et les garde synchronisés avec le logiciel lors de son exécution. De cette façon, l'architecte dispose toujours d'une vue conceptuelle qui lui permet de raisonner sur les propriétés critiques de son logiciel lors d'une évolution. De plus, pour fiabiliser ces évolutions, CALICO offre un cadre fédérateur qui autorise la réutilisation de nombreux outils d'analyse statique des architectures logicielles et de débogage dynamique qui étaient jusqu'alors dispersés dans différentes plates-formes existantes. Ainsi, chaque évolution peut être analysée statiquement sur la vue conceptuelle avant d'être propagée au système logiciel. Les analyses dynamiques reposent quant à elles sur des valeurs disponibles à l'exécution. La capture de ces valeurs est effectuée grâce à une instrumentation automatique du système logiciel. CALICO permet donc de fiabiliser les évolutions même si les plates-formes d'exécution sous-jacentes ne le proposent pas nativement. Notre contribution se concrétise par une implémentation multi plates-formes. La version actuelle prend en charge quatre plates-formes à composants et une plate-forme à services. Par ailleurs, les tests de performances que nous avons réalisés démontrent que CALICO est utilisable pour la conception et l'évolution fiable de larges applications jusqu'à 10000 composants et services, ce qui correspond à la montée en charge maximale de la plupart des plates-formes d'exécution.

Les applications ubiquitaires évoluent dans des environnements plus hétérogènes et plus dynamiques que ceux des systèmes distribués traditionnels. La criticité des domaines applicatifs impliqués et la vocation non intrusive de l'informatique ubiquitaire exigent de garantir la robustesse des applications avant et pendant leur déploiement en situation réelle. Les solutions proposant de gérer la dynamicité des environnements ubiquitaires offrent des canevas de programmation dont la généricité ne permet pas de garantir la fiabilité des applications développées. D'autres solutions permettent davantage de vérifications en assurant, par exemple, l'intégrité des communications. Cependant, ces vérifications, telles que proposées dans ces solutions, empêchent la prise en compte de la dynamicité, indispensable à la mise en oeuvre d'applications ubiquitaires. Dans cette thèse, nous proposons un canevas logiciel visant à concevoir, développer, vérifier et tester les applications ubiquitaires avant leur déploiement en environnements réels. Notre approche repose sur des spécifications haut niveau des applications cibles. Chaque spécification, écrites dans le langage DIASPEC, est analysée, vérifiée et compilée par le compilateur DIASPEC qui génère un canevas logiciel dédié, incluant un canevas de programmation et un canevas de simulation. Les canevas de programmation générés fournissent du support pour la programmation d'applications ubiquitaires. Ils garantissent l'intégrité des communications tout en permettant la gestion de la dynamicité des environnements ubiquitaires. Les canevas de simulation générés fournissent du support pour le test des applications ainsi développées. Les contributions de cette thèse sont les suivantes :<br />– Nous proposons l'approche DIAGEN qui permet, à partir de spécifications d'architectures logicielles ubiquitaires, de générer du support de programmation et un ensemble de vérifications dédiés au développement d'applications ubiquitaires. Ces spécifications reposent sur un langage déclaratif, appelé DIASPEC, qui permet de décrire les types de services composant les applications ubiquitaires cibles. Le compilateur DIASPEC vérifie la cohérence des spécifications et génère, à partir de celles-ci, des canevas de programmation dédiés. Les canevas de programmation générés garantissent l'intégrité des communications d'applications dynamiques.<br />– Nous avons développé DIASIM, un simulateur pour tester à l'exécution, le comportement des applications développées avec l'approche DIAGEN. DIASIM permet de tester les applications sans les modifier et d'intégrer incrémentalement des services réels dans les scénarios de simulation.<br />– Nous avons montré que l'approche DIAGEN permet davantage de vérifications statiques tout en gérant la dynamicité des environnements ubiquitaires et en permettant une plus grande concision des applications développées. Nous avons analysé les canevas de programmation générés pour la gestion de réunion, l'immotique et la téléphonie.