Spelling suggestions: "subject:"délaminage"" "subject:"déminage""
1 |
Adaptation non-anticipée de comportement : application au déverminage de programmes en cours d'exécution / Unanticipated behavior adaptation : application to the debugging of running programsCostiou, Steven 28 November 2018 (has links)
Certains programmes doivent fonctionner en continu et ne peuvent pas être interrompus en cas de dysfonctionnement. C'est par exemple le cas de drones en mission, de satellites et de certains objets connectés. Pour de telles applications, le défi est d’identifier les problèmes et de les corriger pendant l'exécution du programme. De plus, dans le contexte des systèmes à objets, il peut être nécessaire d’observer et d’instrumenter individuellement le comportement de certains objets particuliers. Dans cette thèse, nous proposons une solution d’adaptation dynamique de comportement permettant de déverminer individuellement les objets d'un programme en cours d'exécution. Cette solution est présentée sous la forme d’un patron applicable aux langages objets à typage dynamique. Ce patron permet d'implanter de façon minimale et générique des capacités additionnelles d’adaptation dynamique à granularité objet. Une mise en oeuvre de ce patron pour un langage de programmation particulier permet d'instrumenter dynamiquement un programme pour collecter des objets spécifiques et d'adapter leur comportement pendant l’exécution. Nous expérimentons notre patron par des mises en oeuvre en Pharo et en Python. Des dévermineurs dédiés à la mise au point de programmes en cours d’exécution sont mis en oeuvre pour ces deux langages objet. Ces outils sont évalués pour des cas de déverminage concrets : pour une simulation de drones, pour des applications connectées déployées sur des systèmes cyber-physiques distants, pour un serveur de discussion en ligne ainsi que sur un défaut en production d’un logiciel de génération de documents. / Some programs must run continuously and cannot be interrupted in the event of a malfunction.This is, for example, the case of drones, satellites and some internet-of-things applications. For such applications, the challenge is to identify and fix problems while the program is still running. Moreover, in the context of object-oriented Systems, it may be necessary to observe and instrument the behavior of very specifie objects.In this thesis, we propose a method to adapt object behavior in a running program. This solution is presented as a pattern applicable to dynamically typed object-oriented languages. This pattern makes it possible to implement, in a minimal and generic way, additional debugging capabilities at the level of objects. An implementation of this pattern for a particular programming language makes it possible to dynamically instrument a program, by collecting specifie objects and adapting their behavior during run-time. We experiment this pattern in Pharo and Python implementations with dedicated debuggers for each language.These tools are evaluated on typical debugging case studies: a simulation of drones, connected applications deployed on remote cyber-physical Systems, an online discussion server and a debugging session to fix a defect in a production software.
|
2 |
Comment améliorer la dérive des résonateurs à quartz pour applications spatiales ?Delmas, Bruno 09 November 2009 (has links) (PDF)
Depuis près d'un siècle, les résonateurs à quartz à ondes de volume sont utilisés pour stabiliser les oscillateurs électriques. Cette longévité est due aux propriétés exceptionnelles du quartz et aux progrès constants de la technique. Pour les applications spatiales, il n'est généralement pas possible d'intervenir sur le composant. La dérive en fréquence doit alors être réduite et contrôlée sur des dizaines d'années. Cette variation systématique de la fréquence de résonance au cours du temps est due à l'évolution de plusieurs phénomènes physiques dont nous avons fait la synthèse et une analyse quantitative. Le premier de nos deux axes d'études porte sur l'étude des contraintes mécaniques dans la lame de quartz. Un travail bibliographique nous a permis d'étudier les spécificités de différentes formes de résonateur pour comprendre l'effet des contraintes mécaniques et les moyens de limiter la variation de fréquence induite. Les outils de modélisation actuels nous ont aidés à mettre au point une géométrie apportant une nette réduction de l'effet force-fréquence, confirmée par les mesures des premiers prototypes. L'autre axe d'étude est expérimental et prote sur un procédé essentiel communément appelé "pré-vieillissement". Les nombreuses contraintes de cette étude, telles que le temps, nous ont imposées une organisation méthodique de l'expérimentation. Ainsi, les plans factoriels fractionnaires nous ont permis de limiter les moyens techniques tout en obtenant les effets de chaque paramètre définissant le pré-vieillissement. Les résultats convergent vers la même conclusion que celle faite lors de l'étude quantitative des phénomènes physiques produisant le vieillissement.
|
Page generated in 0.0465 seconds