Depuis quelques années on s'intéresse aux actionneurs base polymères, souvent appelés polymères électroactifs électroniques (EAPS) pour intégrer dans des microsystèmes électromécaniques (MEMS). Trois mécanismes sont à l'origine du couplage électromécanique : (i) la piézoélectricité qui apparait dans certaines phases cristallines, (ii) la force "de Maxwell" lorsqu'un champ électrique aux bornes du condensateur constitué d'un polymère souples placé entre deux électrodes, et (iii) l'électrostriction, phénomène intrinsèque aux matériaux polaires, mal connu. Les deux derniers se traduisent par une dépendance quadratique de la déformation macroscopique avec le champ électrique appliqué. Parmi les EAPs électrostrictifs, on cite souvent certains polyuréthanes (PU) qui a conduit à ce choix pour ce travail de thèse. Une première partie a consisté à analyser en détail l'électrostriction de 3 PUs, copolymères à blocs de deux types d'unités de répétition, les unes conduisant à des segments rigides très polaires, les autres à des segments souples peu polaires. La séparation de phase qui apparait lors de la mise en œuvre de ces PUs (contenant des fractions différentes de segments souples et rigides) semble propice à l'apparition de leur électrostriction. C'est ce qu'indique une modélisation récemment proposée qui prédit un facteur de près de 1000 entre forces de Maxwell (ici négligeables) et électrostriction. Le comportement des matériaux résultent clairement de la compétition entre contraintes d'origine électrostatique (dipôles des phases polaires dans un gradient de champ électrique) et contraintes mécaniques liées à la rigidité des phases. L'influence systématique de l'épaisseur des films sur leur activité électromagnétique a été rendue compte: les films minces présentent une plus faible déformation à champ électrique donné que les films plus épais. Les films obtenus par évaporation du solvant utilisé pour dissoudre les PU présentent probablement un gradient de microstructure : en surface, l'évaporation rapide limite la séparation de phase, alors qu'elle est plus avancée à cœur. C'est cohérent avec la modélisation reposant sur la présence de gradient de constante diélectrique au sein des films. Dans une dernière partie, on a cherché à augmenter encore l'électrostriction de ces matériaux en dispersant des particules conductrices à conduction électronique, de taille nanométrique (noir de carbone et nanotubes de carbone). On observe trois effets, l'un correspondant à l'augmentation de la constante diélectrique apparente (celle diverge au seuil de percolation), et un deuxième effet à une augmentation des forces d'attraction locales. En revanche, le troisième effet qui contrecarre les forces d'origine électrostatique puisqu'il résulte de l'augmentation de la rigidité dû à la présence des particules rigides. Là encore, la compétition entre contraintes électrostatique et mécanique conduit à un optimum en termes de fraction volumique de particules renforçantes.

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.

La thématique de la thèse est très vaste. Sont présentées les grandeurs cinématiques locales ou régionales qui agissent sur le corps humain. La deuxième partie de la thèse décrit les méthodes optiques, par lesquelles on peut mesurer les vibrations produites par les machines-outils sur le système humain main-bras au cours de l'activité au travail. Dans la troisième partie sont donnés les effets négatifs des vibrations qui se produisent sur le système humain main-bras pendant l'exposition aux vibrations. La quatrième partie de cette thèse contient la base théorique des techniques optiques utilisées pour mesurer les vibrations. Le chapitre cinq présente la méthodologie d'expérimentation pour mesurer les vibrations. Les résultats des mesures sont indiqués dans le sixième chapitre de la thèse. Dans le chapitre sept on présente la modélisation mécanique et mathématique du système humain main-bras avec trois degrés de liberté et le dernier chapitre contient les conclusions finales.

Unified Extensible Firmware Interface (UEFI) is an industry standard for implementing the basic firmware in the computers. This standard replaces BIOS. A huge amount of C code has been written for the implementation of UEFI. Yet there has been a very little focus on testing UEFI code. The thesis shows how the industry can perform a meaningful testing of UEFI. Spanning the test coverage with the help of test tools over all UEFI phases is a key objective. Moreover, techniques such as Test Driven Development and source code analysis are explained in terms of UEFI to make sure the bugs are minimized in the first place. The results show that the usage of test and analysis tools point to a large number of issues. Some of these issues can be fixed at a very early stage in the Software Development Life Cycle. For this reason the developers and testers should be convinced that they need to focus on testing UEFI from a software perspective.

Both integrated library management systems and DAISY production and manipulation tools become widespread. We study how they could be combined to build a ready-to-use digital library with DAISY as its core format. The obtained framework should cover the entire book processing, from digital files provided either by publishers or by scanning printed material, until the delivery of DAISY content to end-users in a possibly secured way. We first give a functional description of the framework we have in mind. Then, we examine the existing tools of interest and give some tracks for further software developments.

This thesis explores the execution of object-oriented code on an embedded Java platform. It presents established and derives new approaches for the implementation of high-level object-oriented functionality and commonly expected system services. The goal of the developed techniques is the provision of the architectural base for an efficient and predictable code execution. The research vehicle of this thesis is the Java-programmed SHAP platform. It consists of its platform tool chain and the highly-customizable SHAP bytecode processor. SHAP offers a fully operational embedded CLDC environment, in which the proposed techniques have been implemented, verified, and evaluated. Two strands are followed to achieve the goal of this thesis. First of all, the sequential execution of bytecode is optimized through a joint effort of an optimizing offline linker and an on-chip application loader. Additionally, SHAP pioneers a reference coloring mechanism, which enables a constant-time interface method dispatch that need not be backed a large sparse dispatch table. Secondly, this thesis explores the implementation of essential system services within designated concurrent hardware modules. This effort is necessary to decouple the computational progress of the user application from the interference induced by time-sharing software implementations of these services. The concrete contributions comprise a spill-free, on-chip stack; a predictable method cache; and a concurrent garbage collection. Each approached means is described and evaluated after the relevant state of the art has been reviewed. This review is not limited to preceding small embedded approaches but also includes techniques that have proven successful on larger-scale platforms. The other way around, the chances that these platforms may benefit from the techniques developed for SHAP are discussed.

Diss. Wirtsch.-wiss. St. Gallen, 2005 ; Nr. 3120. / Literaturverz.

En raison de son succès croissant avec les consommateurs la VoD (la Vidéo à la demande) gagne une ampleur sans précédent de l'IPTV et des industries de vidéo en continu tout comme de l’Internet. Contrairement aux services vidéo linéaires rigides programmant (qui sont la norme pour la TV d'émission), l'accès des contenus à la demande fournit une grande flexibilité permettant aux utilisateurs finaux de feuilleter et consommer le contenu vidéo d'une façon autonome / Due to its growing success with consumers as a preferred way to access video content, VoD (Video On Demand) services streaming is gaining unprecedented interest from the IPTV and the Internet video streaming industries alike. Unlike the rigid linear video services programming that is the norm in broadcast TV, the on-demand content access provides a great flexibility allowing end-users to browse and consume video content in a non-scheduled way. Besides providing a VoD offering to meet evolving end-users expectations for flexibility and differed-time access, it is today very important for a service provider to offer a very large content library (popular and niche content) to capture the broadest audience possible. Targeting a very large audience with a large video content library puts a very heavy burden on service providers with scalability being the chief design issue

Die Informatik ist von besonderer Bedeutung für die Gestaltung unser alltäglichen Lebensumstände und ist eine Schlüsseltechnologie des 21. Jahrhunderts. Die Fakultät für Informatik vertritt dieses Fachgebiet umfassend und kompetent mit anwendungsorientierten Schwerpunktsetzungen. In unseren Forschungsschwerpunkten - Eingebettete selbstorganisierende Systeme - Intelligente multimediale Systeme - Parallele verteilte Systeme bieten wir international wettbewerbsfähige Forschung und Entwicklung zu aktuellen Problemstellungen. Unsere Lehre basiert auf dem Leitmotiv der beständigen Erneuerung aus der Forschung. Hieraus abgeleitet bieten wir zeitgemäße Bachelor- und Masterstudiengänge mit hervorragenden Studienbedingungen. Die Fakultät hat den Anspruch eines möglichst persönlichen Umgangs zwischen Lehrkörper und Studenten. Mit der Schriftenreihe „Chemnitzer Informatik Berichte“ geben wir Einblicke in die Forschungspraxis der Fakultät. Dabei werden unterschiedliche Forschungsthemen aus den drei Forschungsschwerpunkten und allen Professuren der Fakultät vorgestellt. / Computer science, as a key technology of the 21th century, has an exceptional impact on our everyday life and living standards. The Faculty of Computer Science represents this scientific field in a comprehensive and proficient manner with an application-orientated choice of topics. In the fields of - Embedded and self-organizing systems - Intelligent multimedia systems - Parallel and distributed systems we offer research and development for current problems and challenges on an internationally competitive level. The guiding principle of our education is the continuous innovation through advances in research. Consequently, we are able to provide modern Bachelor and Master programs with excellent academic conditions. The faculty strives to provide a maximally personal interaction between students and staff. With the series of publications „Chemnitz Computer Science Reports“ we give insigths into the reasearch practice of the faculty. We present different subjects of research from the tree research fields and all of the professorships of the Faculty of Computer Science.

Für die Entwicklung komplexer Produkte werden eine Vielzahl unterschiedlicher IT-Systeme eingesetzt. Die softwaretechnische Verknüpfung dieser Systeme ermöglicht den automatisierten Datenaustausch und damit einen schnellen und reibungslosen Ablauf der Produktentwicklung. In dieser Arbeit wird eine komponentenbasierte und generische Verknüpfung von IT-Systemen auf Basis von Webservices und eines Enterprise Service Bus vorgestellt. Die Verknüpfung ist durch die Nutzung standardisierter Schnittstellen plattformunabhängig und erweiterbar. Zudem ermöglicht sie eine lose Kopplung der beteiligten IT-Systeme, wodurch ein Austausch bzw. eine Änderung der IT-Systeme vereinfacht wird. Als Referenzrealisierung wird die Verknüpfung der IT-Systeme Energy Navigator und Virtual Reality Control Platform vorgestellt, die im Rahmen des Projekts eniPROD (Energieeffiziente Produkt- und Prozessinnovationen in der Produktionstechnik, http://www.eniprod.de) insbesondere für die Entwicklung energieeffizienter Werkzeugmaschinen entwickelt wurden.