L'exigence des soins à apporter aux patients accueillis aux urgences combinée au contexte économique impose aux établissements hospitaliers, surtout aux SAU, des décisions rapides ainsi que l'optimisation de l'emploi des ressources matérielles et humaines pour maintenir la fluidité des patients sans pour autant compromettre la qualité de soins. Nous proposons à travers ce mémoire de thèse des solutions appropriées aux services d'urgence permettant d'améliorer la prise en charge des urgences dans une vision globale intégrant l'ensemble des interactions entre les différents acteurs et entre les différents flux de patients. La première partie concerne l'analyse des problématiques de la filière des urgences dans un contexte socio-économique du système de santé français. La deuxième partie présente la modélisation et la simulation du processus de prise en charge des urgences, ainsi que deux propositions d'amélioration (Efficacité accrue du médecin et Parcours rapide) expérimentées. La troisième partie se focalise sur la gestion des lits d'hospitalisation en aval des urgences, un modèle mathématique est développé par la suite pour optimiser la planification des lits en tenant compte les flux des patient urgents et programmés. En dernier, nous étudions l'efficacité de la connaissance des disponibilités en lits d'aval au service d'urgence, et la planification des admissions en aval des urgences par le biais du couplage de méthodes de Simulation et de Recherche opérationnelle.

Le travail présenté dans cette thèse concerne l'application des techniques de l'automatique au domaine automobile. Nous avons abordé plus particulièrement les problèmes de modélisation et de commande. Le travail est organisé en deux parties : la première est dédiée à un certain nombre d'aspects de modélisation. Une telle modélisation peut être effectuée en différents sous-ensembles et/ou représentée par des modèles plus ou moins compliqués. Les indicateurs plus souvent employés dans la littérature pour évaluer le comportement dynamique des véhicules, en terme de performance, tenue de route et confort sont analysés. La deuxième partie de la thèse met en évidence quelques problèmes de commande intéressants pour améliorer le comportement dynamiques des véhicules. Nous présentons ensuite, en vue de l'application au véhicule, une méthodologie de commande robuste et/ou adaptative développée au laboratoire d'automatique de Grenoble. Cette méthodologie est ensuite appliquée au problème de conduite automatique de véhicule, ou seul l'écart latéral, véhicule-trajectoire, est utilisé comme retour d'information. Pour simuler le comportement du véhicule, un modèle complet non linéaire est utilisé.

Le contrôle de caméra virtuelle est aujourd'hui un composant essentiel dans beaucoup d'applications d'infographie. Malgré cette importance, les approches actuelles restent limitées en terme d'expressivité, d'interactivité et de performances. Typiquement, les éléments de style ou de genre cinématographique sont difficiles à modéliser et à simuler dû à l'incapacité des systèmes actuels de calculer simultanément des points de vues, des trajectoires et d'effectuer le montage. Deuxièmement, elles n'explorent pas assez le potentiel créatif offert par le couplage potentiel d'un humain et d'un système intelligent pour assister les utilisateurs dans une tâche complexe de construction de séquences cinématographiques. Enfin, la plupart des approches existantes se basent sur des techniques d'optimisation dans un espace de recherche 6D, qui s'avèrent coûteuses et donc inadaptées à un contexte interactif. Dans cette thèse, nous proposons tout d'abord un cadre unique intégrant les quatre aspects clés de la cinématographie (le calcul de point de vue, la planification de trajectoires, le montage et la visibilité). Ce cadre expressif permet de simuler certaines dimensions de style cinématographique. Nous proposons ensuite une méthodologie permettant de combiner les capacités d'un système automatique avec une interaction utilisateur. Enfin, nous présentons un modèle de contrôle de caméra efficace qui réduit l'espace de recherche de 6D à 3D. Ce modèle a le potentiel pour remplacer un certain nombre de formulations existantes.

Cette thèse porte sur la création interactive intuitive de formes 3D, justifié pour les artistes par un besoin d'efficacité et d'expressivité et pour le grand public par la démocratisation d'usages de la modélisation numérique pour les jeux vidéo ou pour les imprimantes 3D. Dans ce cadre, pour trouver des nouvelles formes d'interactions, nous avons développé des modeleurs et des techniques de modélisation : un modeleur de formes libres 3D par métaphore de peinture, un modeleur vectoriel temps réel de paysages ainsi qu'un modeleur de paysages par croquis vu de la première personne. Les contributions scientifiques vont d'un opérateur de mélange implicite qui garanti la localité du mélange, à l'utilisation qu'une formulation bi-harmonique pour la modélisation de terrains permettant une modélisation fine, intuitive et temps réel de terrains ; en passant par la modélisation de paysages à partir de croquis composé de silhouettes vus de la première personne.

Ce mémoire, a pour objet de présenter une synthèse de mes travaux de recherche et de les mettre en perspective avec l'objectif général de la conception et du développement d'un environnement logiciel pour la modélisation et la simulation. Ils sont présentés selon trois axes thématiques : - bien modéliser pour mieux simuler, - calculer efficacement, précisément et juste, - générer un code de calcul dédié. Un dernier chapitre, plus technique, présente les contours et les fonctionnalités de cet environnement logiciel intégré pour la modélisation et la simulation, dont la conception a été le cadre général et le fil conducteur de l'essentiel de mes travaux.

Les systèmes distribués sont au cœur des technologies de l'information. Il est devenu classique de s'appuyer sur multiples unités distribuées pour améliorer la performance d'une application, la tolérance aux pannes, ou pour traiter problèmes dépassant les capacités d'une seule unité de traitement. La conception d'algorithmes adaptés au contexte distribué est particulièrement difficile en raison de l'asynchronisme et du non-déterminisme qui caractérisent ces systèmes. La simulation offre la possibilité d'étudier les performances des applications distribuées sans la complexité et le coût des plates-formes d'exécution réelles. Par ailleurs, le model checking permet d'évaluer la correction de ces systèmes de manière entièrement automatique. Dans cette thèse, nous explorons l'idée d'intégrer au sein d'un même outil un model checker et un simulateur de systèmes distribués. Nous souhaitons ainsi pouvoir évaluer la performance et la correction des applications distribuées. Pour faire face au problème de l'explosion combinatoire des états, nous présentons un algorithme de réduction dynamique par ordre partiel (DPOR), qui effectue une exploration basée sur un ensemble réduit de primitives de réseau. Cette approche permet de vérifier les programmes écrits avec n'importe laquelle des interfaces de communication proposées par le simulateur. Nous avons pour cela développé une spécification formelle complète de la sémantique de ces primitives réseau qui permet de raisonner sur l'indépendance des actions de communication nécessaire à la DPOR. Nous montrons au travers de résultats expérimentaux que notre approche est capable de traiter des programmes C non triviaux et non modifiés, écrits pour le simulateur SimGrid. Par ailleurs, nous proposons une solution au problème du passage à l'échelle des simulations limitées pour le CPU, ce qui permet d'envisager la simulation d'applications pair-à-pair comportant plusieurs millions de nœuds. Contrairement aux approches classiques de parallélisation, nous proposons une parallélisation des étapes internes de la simulation, tout en gardant l'ensemble du processus séquentiel. Nous présentons une analyse de la complexité de l'algorithme de simulation parallèle, et nous la comparons à l'algorithme classique séquentiel pour obtenir un critère qui caractérise les situations où un gain de performances peut être attendu avec notre approche. Un résultat important est l'observation de la relation entre la précision numérique des modèles utilisés pour simuler les ressources matérielles, avec le degré potentiel de parallélisation atteignables avec cette approche. Nous présentons plusieurs cas d'étude bénéficiant de la simulation parallèle, et nous détaillons les résultats d'une simulation à une échelle sans précédent du protocole pair-à-pair Chord avec deux millions de nœuds, exécutée sur une seule machine avec un modèle précis du réseau.

Cette thèse propose une méthode originale pour la génération automatique d'un code de simulation pour les systèmes à événements discrets. Cette méthode utilise l'information de localisation des produits lors du fonctionnement du système. Ce flux composé par des tuples (product id, location, time) constitue le point d'entrée pour l'algorithme proposé de génération d'un modèle de simulation de type réseau de files d'attente. Ce type d'approche permet, outre un gain important de temps pour la conception initiale du modèle, une maintenance et reconfiguration " on line " du modèle. La thèse est composée de 5 chapitres. Le premier chapitre pose la problématique et fixe le cadre théorique de la thèse. Le second chapitre est une revue de la littérature sur la simulation en général et sur les travaux utilisant la notion de trajectoires à des fins de modélisation. Le troisième chapitre sert à mettre en avant la proposition au cœur de cette thèse. Le quatrième chapitre décrit le générateur développé. Le cinquième et dernier chapitre présente les travaux d'expérimentation et de validation du générateur.

L'architecture des ordinateurs est maintenant dans l'ère des multiprocesseurs permettant le calcul en parallèle. Les systèmes embarqués les plus récents s'appuient sur plusieurs processeurs DSP (Digital Signal Processor) ou MPSoC (Multiprocessor System-on-Chip). Corrélativement, les algorithmes des applications de traitement du signal et de l'image deviennent de plus en plus sophistiqués. La mise en oeuvre de telles applications sur un système embarqué devient complexe. Aussi, les approches de prototypage rapide et de co-conception matérielle/logicielle sont souvent utilisées pour faciliter ce travail. Le problème de l'ordonnancement des tâches, étape importante du prototypage rapide, est discuté et traité dans cette thèse. Nous cherchons des modèles d'ordonnancement des tâches en considérant précisément les communications entre les tâches. Nous modélisons ainsi l'algorithme de l'application comme un graphe acyclique orienté (Directed Acyclic Graph ou DAG), et nous proposons un modèle avancé décrivant de façon appropriée l'architecture du système embarqué parallèle. Après la formalisation du problème de l'ordonnancement des tâches avec ce modèle d'architecture, nous présentons plusieurs heuristiques d'ordonnancement basées sur la méthode de la liste (list scheduling) pour améliorer les performances de l'ordonnancement. Nos résultats expérimentaux attestent d'une accélération de l'application dans un contexte de moyenne ou de forte communication. Comme le poids des communications va en croissant dans les applications les plus récentes, que ce soient en communication numérique ou en compression vidéo, nos méthodes s'avèrent efficaces dans la mise en oeuvre de ces applications sur systèmes embarqués parallèles. Nos méthodes d'ordonnancement sont intégrées dans PREESM, environnement de prototypage rapide basé sur Eclipse en "open source".

.

Nos travaux se situent au croisement de trois domaines : la sûreté de fonctionnement, l'analyse fonctionnelle et l'ingénierie des modèles. Dans l'objectif d'assister les analyses préliminaires des risques, nous avons proposé d'exploiter les modèles issus de l'analyse fonctionnelle de l'avion. Ces modèles décrivent les dépendances entre les fonctions qui doivent être réalisées durant une phase de vol. Pour exploiter ces modèles, nous avons introduit la notion d'efficacité qui mesure le degré de contribution d'une fonction à la réalisation nominale d'une phase de vol. Cette notion est utile pour les analyses de risques car elle permet de formaliser divers cas de dysfonctionnements des fonctions et pour évaluer le niveau de dégradation d'une phase de vol en cas de dysfonctionnement d'une ou plusieurs fonctions. Nous avons proposé d'annoter les modèles issus de l'analyse fonctionnelle avec des informations relatives à l'efficacité des fonctions et à leurs dysfonctionnements possibles. En suivant les principes de la transformation de modèles, nous avons étudié les moyens de produire le plus automatiquement possible des modèles utiles aux analyses de risques à partir des modèles annotés. Les modèles produits sont décrits avec le langage AltaRica, ils peuvent être analysés avec les outils associés à ce langage afin d'évaluer l'effet du dysfonctionnement de fonctions de l'avion ou de rechercher les combinaisons de dysfonctionnements les plus critiques. L'approche proposée a été appliquée pour analyser les risques associés aux fonctions utiles lors du décollage d'un avion.