Les travaux présentés dans cette thèse ont pour objectif de faciliter les évaluations sécuritaires des logiciels embarqués dans les cartes à puce. En premier lieu, nous avons mis au point un environnement logiciel dédié à l'analyse de la résistance d'implémentations d'algorithmes cryptographiques face à des attaques par analyse de la consommation de courant. Cet environnement doit être vu comme un outil pour rechercher des fuites d'information dans une implémentation en vue d'évaluer la faisabilité d'une attaque sur le produit réel. En second lieu, nous nous sommes intéressé à l'analyse de programmes écrits en langage d'assemblage AVR dans le but de vérifier s'ils sont vulnérables aux \textsl{timing attacks}. Nous avons donc développé un outil qui consiste à décrire des chemins du flot de contrôle d'un programme grâce à des expressions régulières qui seront par la suite interprétées par notre outil afin de donner leur temps exact d'exécution (en terme de cycles d'horloge). Enfin, nous avons étudié comment faciliter la compréhension de programmes écrits en langage C dans le but de vérifier si des politiques de sécurité sont correctement implémentées. D'une part, nous fournissons des assistants de navigation qui au travers d'informations concernant les variables et procédures rencontrées, facilitent la compréhension du programme. D'autre part, nous avons au point une manière de vérifier les politiques de sécurité sans modélisation préalable (e.g. avec un automate à états finis) au moyen de requêtes exprimées dans la logique CTL. / The work presented in this thesis aims at easing the evaluation process of smartcards embedded software. On one hand, we set up a software environment dedicated to analyze the implementation resistance of cryptographic to power analysis attacks. This environment must be seen as a tool that facilitates a real attack by giving a way to find information leakages in an implementation. On the other hand, we focused on analyzing program written in AVR assembly language in order to check whether they are vulnerable to timing attacks. To achieve this goal we have developed a tool that makes possible the description of a path in the control flow of the program thanks to regular expressions. Those regular expressions will be interpreted by our tool in order to give the exact execution timing (expressed in clock cycles). Finally, we studied how to ease the global comprehension of a program written in C language in order to check whether security policies are well implemented. First, we provide graphical navigation assisants that helps to understand the progam being analyzed by giving information on variables and procedures. Then, we provide a way to check the security policies through the use of requests expressed with the CTL logic. This approach does not need prior modelisation of the program.

<p>Web Services har vuxit i popularitet de senast åren. Användningen av inbyggda system</p><p>ökar också ständigt, och möjligheten att göra inbyggda system tillgängliga via Web Services öppnar nya möjligheter.</p><p>Detta arbete visar på möjligheter och problem med standardiserade textbaserade protokoll för kommunikation i inbyggda system med små resurser. XML-RPC och SOAP studeras ur detta perspektiv. SOAP befinns vara mer komplext att implementera stöd för än XMLRPC i den begränsade testmiljön, som har 32kB internminne. XML-RPC visar sig ge fördelar över proprietära protokoll främst när det gäller underhållbarhet och återanvändbarhet.</p>

Der Vortrag zeigt Grundlagen und Möglichkeiten der Programmierung von ATMEL-Mikrocontrollern am Beispiel des ATMega32 (ATMega 644). Der integrierte USART-Baustein wird beispielhaft für Debugging und als Interface für einen Bootloader vorgestellt. Für die Kommunikation im Netz wird ein Ethernetcontroller (ENC28J60) am SPI-Interface angebunden. Am Beispiel der TCP/IP-Implementierung von Ulrich Radig wird die Funktionsweise erläutert. Die Anbindung von Sensoren (z.B. OneWire Temperatursensor) runden den Vortrag ab.

Στην παρούσα διπλωματική εργασία σχεδιάστηκε και υλοποιήθηκε ένα δίκτυο πραγματικού χρόνου με σκοπό την διασύνδεση μιας ομάδας μικροελεγκτών. Bασισμένος στο δίκτυο, αναπτύχθηκε ένας δικτυακός bootloader για μικροελεγκτές AVR και σχεδιάστηκε desktop εφαρμογή για την διεπαφή του χρήστη με το δίκτυο. Απώτερος σκοπός του εγχειρήματος αυτού είναι η χρήση του συστήματος από φοιτητές στο πλαίσιο των μαθημάτων μικροϋπολογιστών και συγκεκριμένα να διευκολύνει την ανάπτυξη δικτυακών εφαρμογών με μικροελεγκτές. / At this diploma thesis a real-time network protocol was designed and implemented in order to interconnect a group of microcontrollers. Based at this protocol, a network bootloader was developed for AVR microcontrollers and a desktop application for the interface of the user with the network was developed. Ultimate goal of this work is to be used from students of microcomputer courses and specifically to facilitate the development of network applications with microcontrollers.

Regensburg, Univ., Diss., 2008.

The subject of this thesis is to design, construct and test the control system based on single-chip microcomputer Atmel AVR for a small solar power plant. The proposed system will enable to optimize the use of electricity generated by solar power installed at the family house. The objective is to minimize the amount of power sent to the distribution network and maximize the reduction of purchase of electricity. The first section provides an overview and analysis of several possible solutions and their economic comparison. The next section describes basic characteristic of the hardware components and the source code of programs with additonal comments. The final section presents the results of test operation a futher potential improvements of the system for future expansion and better operation efficiency.

Web Services har vuxit i popularitet de senast åren. Användningen av inbyggda system ökar också ständigt, och möjligheten att göra inbyggda system tillgängliga via Web Services öppnar nya möjligheter. Detta arbete visar på möjligheter och problem med standardiserade textbaserade protokoll för kommunikation i inbyggda system med små resurser. XML-RPC och SOAP studeras ur detta perspektiv. SOAP befinns vara mer komplext att implementera stöd för än XMLRPC i den begränsade testmiljön, som har 32kB internminne. XML-RPC visar sig ge fördelar över proprietära protokoll främst när det gäller underhållbarhet och återanvändbarhet.

The master´s thesis deals with the design of the solar heating regulator of the swimming pool. The basis was to study the available solutions for the solar pool controllers, to define the requirements, to design the concept and the block diagram of the own thermostat. The thesis also provides a description of several for the Internet of Things. The most suitable is used to control the thermostat. The resulting thermostat regulates two power outputs for filtration and the pump, it can be set using the keyboard and graphic display. At the end of the work is practically verified functionality on the model and on the real pool with solar heating.

The goal of diploma thesis is design of programmable control system. This system can be used for regulation of basic parameters in an aquarium. Primary parameters for selection of this device are the price and the easy realization of final device. In first step there are selected parameters, which are needed to control. In second step there is described which kind of sensors can be used for measuring of selected parameters and suitable regulation of necessary parameters. The device is supposed to communicate with PC by USB and this communication is going to be compatible with an old RS-232. Device must be completed with hardware design. Device will be in principle system with real time, that is the reason why device will contain microcomputer. A microcomputer must communicate with other integrated circuit in the device and it supposes to communicate with PC. In specific chapter it will be described, how many different kinds of communication it is possible. For microcontroller it is necessary to create a program, which can figure the measured parameters and it also allows setting up the way how parameters can be regulated. Measured parameters are supposed to storage in the specific memory for the later interpretation. The completely device must be put into a case, which is calculating with a damp place. There must be created a host application for PC. This application suppose to detect if device is connected, figure measured parameters and also allows to set up the way, how to regulate the parameters and display the storages parameters. The application is suppose to run on the operation system created by Microsoft (Windows XP and Windows Vista or later). Diploma thesis contains a problem of the analysis which parameters may be controlled and the way how it can be controlled. There will be selected the sensors, which are suppose to measure and there will be described the basic data transfer and the specifications. It will also contain description of the hardware and software implementation of the device and possibilities of the user’s settings. There will be described the host application and its possibilities. Finally there will be described a functionality of the device and the host application. It will be also imagined some system upgrades for future.

Diploma thesis is concerned with programming of AVR microprocessors. Main task was development of compact environment where user can learn methods necessary for successful programming of microprocessor. It was necessary to make an application enabling interactive simulation of processor to reach this goal. User-friendly control, simplicity and low hardware demands are main advantages of this application. Only computer with internet connection is demanded. Complicated installation, usual for similar products, is avoided.