Les Systèmes sur Puce (SoC) ont vu leurs capacités en constante augmentation ce qui leur permet ainsi qu'aux applications s'exécutant dessus de devenir de plus en plus complexes grâce au pouvoir d'intégration de la technologie. Beaucoup de ces appareils fonctionnent sur batterie, mais puisque la technologie des batteries ne suit pas la même progression que l'intégration, à la fois le logiciel et le matériel de ces appareils doivent être économes en énergie. Nous proposons dans cette thèse un algorithme logiciel qui cherche à réduire la consommation énergétique en modifiant la fréquence et la tension des processeurs lorsque l'utilisation du système le permet. Cet algorithme n'a besoin d'aucune information sur les applications. Afin de tester et de déterminer l'efficacité de l'algorithme d'économie d'énergie proposé, nous avons besoin de plateformes de simulation rapides et précises qui supportent le changement de fréquence pour chaque processeur ou sous-système. Le bon niveau d'abstraction pour estimer la consommation d'énergie par la simulation n'est pas évident. Nous avons premièrement défini une stratégie de haut niveau de simulation qui combine la précision des simulateurs orientés matériel à la vitesse des simulateurs orientés comportement. Lorsque des estimations plus précises sont nécessaires, une simulation cycle accurate/bit accurate doit être utilisée. Toutefois, pour accélérer la simulation, des stratégies d'ordonnancement statique non compatibles avec le DVFS sont utilisées. Nous avons défini deux nouvelles approches supportant le DVFS dans ce contexte.

Dans les appareils de robinetterie équipant les centrales nucléaires, l'étanchéité interne est réalisée par le contact direct entre surfaces métalliques. Dans ce contexte, ce travail porte sur l'étude de fuites liquides au travers d'un contact entre deux surfaces rugueuses serrées l'une contre l'autre. Deux approches sont menées en parallèle : l'une théorique/numérique, l'autre expérimentale. Les modèles mis en place permettent de prédire les fuites à partir des textures non déformées des surfaces en contact et en fonction du serrage appliqué. Les déformations des surfaces sont tout d'abord calculées à l'aide d'un modèle semi-analytique élasto-plastique parfait. L'écoulement liquide est ensuite résolu au travers du champ d'ouverture résultant. Des modèles pour caractériser et simuler les textures rugueuses ont également été développés à partir d'une approche fractale, permettant ainsi de prédire les fuites à partir d'outils purement numériques, sans avoir recours à la mesure d'états de surfaces. Grâce à ces modèles, une corrélation a pu être établie entre les textures des surfaces et les performances du contact vis-à-vis de l'étanchéité. Pour tester les modèles mis en place, des mesures de débits de fuite au travers de contact rugueux ont de plus été effectuées. La confrontation directe entre essais et simulation a montré que les modèles surestiment les débits de fuite, en particulier à fort serrage. Une étude détaillée de la chaîne de prédiction a permis de montrer que les écarts proviennent principalement du modèle de déformation. Une modélisation prenant en compte le caractère hétérogène du matériau semble une piste intéressante pour améliorer les prédictions.

L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations fortes entre les composants. Nous offrons des techniques efficaces pour calculer ces invariants. Nous proposons également une nouvelle méthode de vérification incrémentale qui prend la conception incrémentale du système en compte. L'intégration de la vérification dans le processus de conception permet de déceler une erreur dès qu'elle apparaît. En outre, cette méthode permet d'éviter de refaire tous les processus de vérification par la réutilisation de résultats intermédiaires. Elle prend des avantages des structures de systèmes pour faire face à la complexité de la vérification globale et, par conséquent, réduit significativement le coût de la vérification en temps et en mémoire utilisée. Les méthodes compositionnelles et incrémentales ont été mises en oeuvre dans la chaîne d'outil D-Finder. Les résultats expérimentaux obtenus sur plusieurs études de cas non triviales montrent l'efficacité de nos méthodes ainsi que les capacités de D-Finder.

L'ingénieur et l'architecte, confrontés à la large demande pour la préservation des structures historiques et monumentales, ont besoin d'une approche transdisciplinaire et efficace pour le traitement de ces systèmes complexes. Les travaux de recherche proposés dans cette thèse s'inscrivent à un effort de développement d'un outil informatique servant à une évaluation préliminaire de la stabilité des structures maçonnées anciennes, qui est compréhensible par des utilisateurs travaillant dans diverses disciplines. Etant donné que le comportement statique global de ce type de structures pose plutôt un problème d'équilibre, le théorème statique du Calcul à Rupture est utilisé afin de vérifier la stabilité d'une structure maçonnée sous chargements statiques ou quasi-statiques. La méthode proposée correspond aux systèmes structuraux bidimensionnels ou pseudo-tridimensionnels (symétries axiales) qui comportent les éléments typiques de l'architecture médiévale combinés de façons variables.

No description available.

Les défaillances des applications embarquées dans les systèmes temps-réel strict peuvent avoir des conséquences graves (catastrophes industrielles, mise en danger de vies humaines). La vérification des contraintes temporelles d'un système temps-réel strict dépend de la connaissance du temps d'exécution pire-cas des tâches constituant l'application embarquée. L'utilisation de processeurs multi-cœurs est l'un des moyens actuellement mis en œuvre afin d'améliorer le niveau de performances des systèmes embarqués. Cependant, la détermination du temps d'exécution pire-cas d'une tâche sur ce type d'architecture est rendue difficile par le partage de certaines ressources par les cœurs, et notamment le bus d'interconnexion permettant l'accès à la mémoire centrale. Ce document propose un nouveau mécanisme d'arbitrage de bus à deux niveaux permettant d'améliorer les performances des ensembles de tâches exécutés tout en garantissant le respect des contraintes temporelles. Les méthodes décrites permettent d'établir un niveau de priorité d'accès au bus optimal pour chacune des tâches exécutées. Elles permettent également de trouver une allocation optimale des tâches aux cœurs lorsqu'il y a plus de tâches à exécuter que de cœurs disponibles. Les résultats expérimentaux montrent une diminution significative des estimations de temps d'exécution pire-cas et de l'utilisation du processeur.

Cette thèse est consacrée à l'étude de la stabilité robuste de lois de commande de systèmes non linéaires. La première partie s'intéresse aux systèmes non linéaires entrée-sortie linéarisés et découplés par bouclage statique. Nous rappelons la définition de l'immersion d'un système entrée-sortie et nous distinguons deux cas: l'immersion est localement bijective, les résultats de stabilité et de robustesse se ramènent au cas linéaire là où la loi de bouclage ne présente pas de singularité ; l'immersion n'est pas bijective. Dans ce cas, la loi de bouclage a rendu une partie de la dynamique inobservable, la dynamique des zéros. Nous donnons une définition de la stabilité moins restrictive que la stabilité asymptotique, la K-stabilité, et nous donnons deux conditions nécessaires de K-stabilité, l'une étant de nature topologique et utilisant la caractéristique d'Euler-Poincaré de la sous-variété asymptotique inobservable. La seconde partie est consacrée à l'étude de la linéarisation totale des systèmes non linéaires entrée-état par bouclage dynamique. Nous montrons d'abord que pour les systèmes mono-entrée, la linéarisation par bouclage dynamique est équivalente à la linéarisation par bouclage statique. Nous donnons ensuite une condition nécessaire triviale de linéarisation par bouclage dynamique. Nous montrons que cette condition est suffisante pour les systèmes ayant une dimension de plus que de com- mande. Puis nous donnons des conditions suffisantes de linéarisation totale par bouclage dynamique pour les systèmes non linéaires multi-entrée. Des exemples, dont un tiré de l'aéronautique, nous montrent comment mettre en œuvre ces conditions.

De nos jours, la modélisation numérique constitue un outil indispensable pour le prototypage de convertisseurs électromagnétiques. Les matériaux magnétiques jouent un rôle essentiel dans la conversion de l'énergie, il est donc nécessaire de maîtriser leur comportement et leur représentation. L'objectif de ce travail s'inscrit dans ce cadre et s'attache à élaborer des lois réalistes de comportement de matériaux afin de les inclure dans des simulateurs de circuits. Concernant le comportement statique, le modèle de Jiles-Atherton a été implémenté puis adapté, simplifié et modifié afin d'en améliorer la précision et l'implémentation. La modélisation dynamique du matériau a été effectuée grâce au modèle DWM élaboré au laboratoire Ampère. Ce modèle intègre les effets dynamiques excédentaires grâce à une loi " dynamique de matériau " implémentée au sein de l'équation de diffusion magnétique. Ce modèle a été ensuite homogénéisé afin d'en améliorer son implémentation future dans un simulateur de circuit. Chacun des différents modèles a été testé et validé sur plusieurs échantillons.

La validation des logiciels est une partie cruciale dans le cycle de leur développement. Deux techniques de vérification et de validation se sont démarquées au cours de ces dernières années : l'analyse statique et l'analyse dynamique. Les points forts et faibles des deux techniques sont complémentaires. Nous présentons dans cette thèse une combinaison originale de ces deux techniques. Dans cette combinaison, l'analyse statique signale les instructions risquant de provoquer des erreurs à l'exécution, par des alarmes dont certaines peuvent être de fausses alarmes, puis l'analyse dynamique (génération de tests) est utilisée pour confirmer ou rejeter ces alarmes. L'objectif de cette thèse est de rendre la recherche d'erreurs automatique, plus précise, et plus efficace en temps. Appliquée à des programmes de grande taille, la génération de tests, peut manquer de temps ou d'espace mémoire avant de confirmer certaines alarmes comme de vraies erreurs ou conclure qu'aucun chemin d'exécution ne peut atteindre l'état d'erreur de certaines alarmes et donc rejeter ces alarmes. Pour surmonter ce problème, nous proposons de réduire la taille du code source par le slicing avant de lancer la génération de tests. Le slicing transforme un programme en un autre programme plus simple, appelé slice, qui est équivalent au programme initial par rapport à certains critères. Quatre utilisations du slicing sont étudiées. La première utilisation est nommée all. Elle consiste à appliquer le slicing une seule fois, le critère de simplification étant l'ensemble de toutes les alarmes du programme qui ont été détectées par l'analyse statique. L'inconvénient de cette utilisation est que la génération de tests peut manquer de temps ou d'espace et les alarmes les plus faciles à classer sont pénalisées par l'analyse d'autres alarmes plus complexes. Dans la deuxième utilisation, nommée each, le slicing est effectué séparément par rapport à chaque alarme. Cependant, la génération de tests est exécutée pour chaque programme et il y a un risque de redondance d'analyse si des alarmes sont incluses dans d'autres slices. Pour pallier ces inconvénients, nous avons étudié les dépendances entre les alarmes et nous avons introduit deux utilisations avancées du slicing, nommées min et smart, qui exploitent ces dépendances. Dans l'utilisation min, le slicing est effectué par rapport à un ensemble minimal de sous-ensembles d'alarmes. Ces sous-ensembles sont choisis en fonction de dépendances entre les alarmes et l'union de ces sous-ensembles couvre l'ensemble de toutes les alarmes. Avec cette utilisation, on a moins de slices qu'avec each, et des slices plus simples qu'avec all. Cependant, l'analyse dynamique de certaines slices peut manquer de temps ou d'espace avant de classer certaines alarmes, tandis que l'analyse dynamique d'une slice éventuellement plus simple permettrait de les classer. L'utilisation smart consiste à appliquer l'utilisation précédente itérativement en réduisant la taille des sous-ensembles quand c'est nécessaire. Lorsqu'une alarme ne peut pas être classée par l'analyse dynamique d'une slice, des slices plus simples sont calculées. Nous prouvons la correction de la méthode proposée. Ces travaux sont implantés dans sante, notre outil qui relie l'outil de génération de tests PathCrawler et la plate-forme d'analyse statique Frama-C. Des expérimentations ont montré, d'une part, que notre combinaison est plus performante que chaque technique utilisée indépendamment et, d'autre part, que la vérification devient plus rapide avec l'utilisation du slicing. De plus, la simplification du programme par le slicing rend les erreurs détectées et les alarmes restantes plus faciles à analyser

Ce travail de thèse a pour objet d'analyser le comportement en statique, en fatigue et en vibration linéaire et non linéaire des matériaux sandwichs en présence d'une décohésion de longueur variable. Une étude détaillée est d'abord menée pour caractériser le comportement mécanique en statique et en fatigue de ces matériaux. Les essais ont été conduits en flexion 3-points sur des poutres de ces matériaux pour plusieurs distances entre appuis et pour plusieurs longueurs de fissure. En vibration, une étude expérimentale de la réponse en fréquence à une impulsion, menée à l'aide d'un vibromètre laser a permis de mesurer les fréquences propres et les amortissements de ces matériaux autour de chaque pic de résonance en fonction de la longueur de fissure. Les résultats déduits de l'analyse expérimentale sont comparés à ceux obtenus à partir d'une analyse par éléments finis. Enfin, une méthode de vibration non linéaire a été appliquée pour caractériser le comportement des matériaux sandwichs endommagés par fissuration. Les paramètres non linéaires relatifs au décalage fréquentiel et à l'amortissement sont mesurés en faisant varier l'amplitude d'excitation. Cette étude a permis de montrer que les paramètres non linéaires sont plus sensibles à l'endommagement que les paramètres linéaires.