Cette étude de l'expression de la synchronisation dans les systèmes d'exploitation comprend une classification des outils de synchronisation et propose une description formelle de la synchronisation. Quelques éléments méthodologiques dans la conception de systèmes tolérant les pannes sont donnés.

.

Dans un environnement collaboratif de développement de produit, plusieurs acteurs, ayant différents points de vue et intervenant dans plusieurs phases du cycle de vie de produit, doivent communiquer et échanger des connaissances entre eux. Ces connaissances, existant sous différents formats hétérogènes, incluent potentiellement plusieurs concepts tels que l'historique de conception, la structure du produit, les features, les paramètres, les contraintes, et d'autres informations sur le produit. Les exigences industrielles de réduction du temps et du coût de production nécessitent l'amélioration de l'interopérabilité sémantique entre les différents processus de développement afin de surmonter ces problèmes d'hétérogénéité tant au niveau syntaxique, structurel, que sémantique. Dans le domaine de la CAO, la plupart des méthodes existantes pour l'échange de données d'un modèle de produit sont, effectivement, basées sur le transfert des données géométriques. Cependant, ces données ne sont pas suffisantes pour saisir la sémantique des données, telle que l'intention de conception, ainsi que l'édition des modèles après leur échange. De ce fait, nous nous sommes intéressés à l'échange des modèles " intelligents ", autrement dit, définis en termes d'historique de construction, de fonctions intelligentes de conception appelées features, y compris les paramètres et les contraintes. L'objectif de notre thèse est de concevoir des méthodes permettant d'améliorer l'interopérabilité sémantique des systèmes CAO moyennant les technologies du Web Sémantique comme les ontologies OWL DL et le langage des règles SWRL. Nous avons donc élaboré une approche d'échange basée sur une ontologie commune de features de conception, que nous avons appelée CDFO " Common Design Features Ontology ", servant d'intermédiaire entre les différents systèmes CAO. Cette approche s'appuie principalement sur deux grandes étapes. La première étape consiste en une homogénéisation des formats de représentation des modèles CAO vers un format pivot, en l'occurrence OWL DL. Cette homogénéisation sert à traiter les hétérogénéités syntaxiques entre les formats des modèles. La deuxième étape consiste à définir des règles permettant la mise en correspondance sémantique entre les ontologies d'application de CAO et notre ontologie commune. Cette méthode de mise en correspondance se base principalement, d'une part, sur la définition explicite des axiomes et des règles de correspondance permettant l'alignement des entités de différentes ontologies, et d'autre part sur la reconnaissance automatique des correspondances sémantiques supplémentaires à l'aide des capacités de raisonnement fournies par les moteurs d'inférence basés sur les logiques de description. Enfin, notre méthode de mise en correspondance est enrichie par le développement d'une méthode de calcul de similarité sémantique appropriée pour le langage OWL DL, qui repose principalement sur les composants des entités en question tels que leur description et leur contexte.

De nos jours, l'intégration entre les différentes étapes de modélisation d'un produit mécanique est une nécessité afin de réduire le temps de conception et d'optimisation, de valider rapidement de nouveaux concepts et ainsi de gagner en coût, en délai et en qualité. Cela se traduit par une meilleure communication entre les différents outils de CAO et d'analyse. Cette tendance nécessite l'intégration des données entre les différentes tâches et l'unicité du modèle numérique. Cette intégration doit avoir le sens large du terme, c'est-à-dire de la conception vers le calcul et inversement. Notre activité de recherche tente à améliorer cette intégration à travers le développement d'un outil de reconstruction du modèle CAO à partir des résultats de simulation (maillage déformé).

La simulation d'assemblage CAO en environnement virtuel donne une nouvelle dimension au développement rapide et à moindre coût d'un produit, en permettant de travailler collaborativement autour de la maquette numérique. L'interaction entre l'utilisateur et la simulation suppose que les modèles mécaniques utilisés soient conformes à la réalité, dans la mesure où les résultats de la simulation doivent être proches du comportement des objets matériels réels. Dans cette thèse, nous nous sommes intéressé au traitement des interactions entre objets 3D, dans le cadre spécifique des assemblages haptiques. L'objectif de la thèse est d'étudier les différents modes de dynamique applicables dans les simulations d'assemblage CAO. Ce domaine de recherche comporte plusieurs verrous technologiques et scientifiques concernant le couplage des interfaces haptiques avec des moteurs de simulation dynamique. La contrainte de temps interactif, très restrictive, impose à toutes méthodes dynamiques de détecter des collisions et calculer des efforts de contact de manière très rapide et avec des critères forts de stabilité mécanique. Dans ce contexte, nous proposons d'appliquer les technologies de l'interaction haptique, pour la réalisation d'assemblages mécaniques issus de la CAO. Parmi les nombreux facteurs qui influencent le degré de réalisme d'une simulation interactive d'assemblage, nous nous concentrons sur le réalisme des comportements physiques des objets 3D simulés ainsi que sur les performances de l'utilisateur dans la réalisation de tâches d'assemblage. Dans le cadre précis des simulations haptiques, nous proposons de traiter simultanément ces deux facteurs. Au sein d'une même simulation d'assemblage, l'utilisateur doit pouvoir percevoir des comportements dynamiques réalistes lors d'interactions élémentaires avec l'environnement virtuel, ainsi que pouvoir réaliser des tâches d'A/D de manière efficace. Dans les simulations d'assemblage, nous avons identifié deux phases de manipulation où le traitement dynamique des contacts peut être réalisé~: soit de manière contrainte pour aider les utilisateurs à positionner des objets dans l'espace, soit de manière non contrainte pour obtenir un rendu haptique réaliste des interactions. L'approche proposée consiste donc à séparer les interactions liées à l'exploration des scènes haptique, des interactions liées aux assemblages. Au sein d'une même simulation d'assemblage, nous proposons d'utiliser des modèles de traitement dynamique non contraint pour les phases exploratoires et l'utilisation de modèles de dynamique contrainte pour réaliser les assemblage haptiquement. Dans une première contribution, nous proposons de baser la simulation haptique sur une modélisation rigoureuse de la mécanique~: pour rendre compte de comportements réalistes des objets, nous utilisons les méthodes de dynamique non régulière, et particulièrement des approches de non smooth contact dynamics (NSCD). Dans une deuxième contribution, nous proposons d'identifier les différentes étapes qui composent l'assemblage interactif, pour assister l'utilisateur dans la réalisation de tâches de montage et de démontage. Cette assistance consiste en un guidage virtuel des objets, qui contraint géométriquement et cinématiquement les mouvements des objets à assembler. Nous présentons une nouvelle méthode de guidage, baptisée guidage virtuel contraint, qui applique des contraintes cinématiques aux objets, en fonction des tâches à réaliser. La transition entre le mode exploratoire, géré par dynamique non contrainte et le mode assemblage, géré par dynamique contrainte, est assuré par un guidage géométrique inspiré des virtual fixtures, qui constitue une troisième contribution.

Ce travail de thèse propose une méthodologie de dimensionnement s'adaptant à un grand nombre de structures de convertisseurs statiques. Elle intègre différents outils préexistants, et s'appuie sur la formulation automatique, avec des techniques de calcul symbolique, d'un modèle de dimensionnement. Celui-ci prend en charge, à un même niveau, l'aspect physique du fonctionnement et l'aspect conception qui s'exprime en termes de respect d'un cahier des charges. La connaissance fondamentale pour mettre en œuvre cette démarche se veut minimale, et comprend les équations des nœuds du circuit et les spécifications du cahier des charges. L'intervention de l'utilisateur dans la méthodologie est réduite au maximum et simplifiée. Sur ces principes, cette approche de CAO cherche à fournir au concepteur, via l'ordinateur, en plus de logiciels d'analyse, un véritable outil d'aide au dimensionnement intégrable dans une méthodologie globale de conception des convertisseurs statiques.

Ce travail se place dans le contexte de la conception, la modélisation et la simulation de systèmes hétérogènes contenant a la fois des capteurs, des composants analogiques, des composants numériques et des circuits RF.La seule manière de simuler un système avec une telle complexité avec un temps de simulation raisonnable est de faire une modélisation haut niveau.Cependant, pour que ce modèle haut niveau soit fiable, les modèles des blocs analogiques et RF doivent contenir une description précise des leurs imperfections.Dans ce travail nous proposons une méthode systématique pour la caractérisation et le raffinement des modèles des blocs analogiques et RF.Cette méthode est réalisée dans un environnement C++ base sur: - l'outil de simulation haut niveau SystemC-AMS- l'outil de résolution d'expression symbolique GiNaC- l'outil de synthèse de circuits intégrés analogique CAIRO+/CHAMSPour illustrer la validité de la méthode proposée, nous présenterons le modèle d'un nœud d'un réseau de capteurs sans fil avec une caractérisation automatique de certains blocs analogiques et RF.Les points suivant résument les contributions apportées pour ce travail.- La première implémentation d'un modèle analogique numérique mixte complexe avec le langage SystemC AMS: un nœud de réseau de capteurs sans fil.- L'introduction du raffinement pour une approche générique des modèles au niveau système.- Un outil d'évaluation précise des performances linéaires et non-linéaires des circuit analogiques pour le raffinement des modèles niveau système et l'optimisation de la conception niveau circuit.- Une méthodologie de conception niveau circuit basée sur des outils de dimensionnement et d'évaluation des performances avec précision.- Un environnement de conception multi-niveaux unifiée appliqué aux systèmes mixtes avec une très forte interaction entre la simulation niveau système et la conception optimisée niveau circuit.

Le travail présenté ici consiste en l'édification d'un système interactif et' graphique de modélisation et de simulation. Ce travail vient après bien d'autres dont les plus approchants sont DYNASIS de JARSCH et surtout GRIPPS de HUDITZ. L'originalité tient en une ,plus grande automatisation (une décharge du travail sur la machine plus importante) du dessin ~t du traitement. Les raisons qui ont fondé ce système sont des besoins différents. D'abord un besoin pédagogique, la simulation à l'aide de la dynamique des systèmes est une *bonne approche des problèmes des systèmes complexes et des comportements contre intuitifs. Néanmoins, si la dynamique des systèmes est pédagogique, l'ennui est qu'avec les compilateur:-s habituels, le fond du problème est éludé par l'aspect technique rébarbatif de la simulation: nombreux pa~sages pour la correction .des erreurs de compilation entre autres. D'autre part, il y avait une totale déconnexion entre les travaux préliminaires, détermination des limites du modèle, dessin du graphe etc ..* , et la simulation proprement dite. Il y avait donc là un hiatus à combler. Ces remarques nous ont donc conduits à créer un système où sont intégrés et reliés les aspects de modélisation et de simulation tout en déchargeant sur la machine le plus de tâches techniques annexes possible.

La plupart des entreprises de fonderie font de plus en plus appel à l'informatique pour faciliter la phase de conception du moule; toutefois son emploi est limité le plus souvent à la simulation de la coulée. L'objectif général est donc d'améliorer l'utilisation de l'outil informatique dans les processus de fonderie. Cette thèse présente l'analyse, faite à partir d'une étude de cas, des possibilités offertes par des logiciels actuels et, lors de leur utilisation, les différents modèles qu'il est nécessaire de générer. La structuration du processus de conception autour d'un support d'intégration produit/process et l'analyse de ces modèles servent de support à la réflexion pour la mise au point d'une méthodologie de conception intégrée en fonderie. Les lacunes actuelles du processus de conception sont identifiées: elles sont caractérisées notamment par des ruptures totales ou partielles de la chaîne numérique c'est-à-dire l'absence ou l'insuffisance de liens inter-modèles qui conduisent à des problèmes de maintien de cohérence globale et à des manques de réactivité lorsque des modifications doivent être apportées. Le cas particulier de l'étape de définition des systèmes d'alimentation (masselottage) est présenté. Pour répondre aux besoins importants de réactivité dans cette phase, une approche basée sur la mise en oeuvre d'outils de simulation rapide est proposée. Elle permet d'évaluer différentes solutions et donc optimiser les systèmes de remplissage et d'alimentation, améliorant ainsi la qualité de la pièce. La validation de cette approche par des outils métiers de simulation numérique est présentée. Une maquette informatique illustrant son intégration avec les outils de CAO du marché est également décrite.

Après avoir introduit les spécificités des différents outils de CAO optiques existants, on contribue au développement d'une approche orientée "Circuit" basée sur l'utilisation de matrices-S, après sa généralisation, pour les composants optiques grâce à l'utilisation du formalisme de la matrice de Jones.<br />Plusieurs composants passifs tels que guide, miroir, isolateur ou encore coupleur optique ont été modéléisés tout d'abord de manière descriptive, puis de manière plus technologique en insérant dans chacun des modèles les spécificités liées à la technologie de fabrication. Nous générons ainsi une bibliothèque de composants à base de fibre optique, d'optique intégrée sur verre ou encore à base de semi-conducteur.<br />Cette bibliothèque de composants est ensuite implémentée dans un simulateur RF de type "Circuit" nous permettant de simuler des circuits optiques. Plusieurs exemples sont étudiés parmi lesquels des interféromètres de Fabry-Perot ou de Mach-Zehnder, des filtres en longueurs d'ondes ou encore des circuits intégrés sur verre.