Στην παρούσα διπλωματική εργασία σχεδιάστηκε και υλοποιήθηκε ένα δίκτυο πραγματικού χρόνου με σκοπό την διασύνδεση μιας ομάδας μικροελεγκτών. 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.

Η παρούσα διπλωματική εργασία περιγράφει τη διαδικασία της μελέτης, του σχεδιασμού και και της υλοποίησης μίας συσκευής ανάγνωσης ηλεκτρονικών βιβλίων (e-book reader). Στόχος μας είναι η κατασκευή ενός ολοκληρωμένου ενσωματωμένου συστήματος υλικού και λογισμικού, το οποίο θα επιτελεί τον παραπάνω ρόλο. Αρχικά, θα περιγράψουμε τον γενικό σχεδιασμό του συστήματος και θα γίνει μία εισαγωγή στο υλικό της αναπτυξιακής πλατφόρμας A13-OlinuXino-MICRO και στην αρχιτεκτονική ARM του επεξεργαστικού της πυρήνα. Στη συνέχεια, θα ασχοληθούμε με τη διασύνδεση της οθόνης της συσκευής στην παραπάνω πλατφόρμα και με το σχεδιασμό του κυκλώματος φορητής τροφοδοσίας του συστήματος. Στο δεύτερο μισό της εργασίας, θα μελετήσουμε το κομμάτι του λογισμικού. Θα δούμε πώς γίνεται να ρυθμίσουμε σωστά ένα αναπτυξιακό περιβάλλον, για τη δημιουργία εκτελέσιμου κώδικα με στόχο υπολογιστικά συστήματα αρχιτεκτονικής ARM. Χρησιμοποιώντας το περιβάλλον αυτό, θα δημιουργήσουμε το λειτουργικό σύστημα της συσκευής μας, το οποίο βασίζεται στον πυρήνα Linux. Τελικώς, γίνεται ο προγραμματισμός της εφαρμογής ανάγνωσης των αρχείων e-book. / This diploma thesis describes the process of researching, designing and assembling an e-book reader device. Our aim is to develop a complete embedded system, using the necessary hardware and software. First of all, there is an introduction to the development platform's hardware (A13-OlinuXino-MICRO) and the ARM architecture of the processing core, in general. Next, a description of the display's interface is taking place, along with the way it is interconnected to the rest of the system's hardware. After that, we focus on the implementation of the portable power supply circuit. In the second half, the research is shifted towards the system's software. The proper way of setting up a cross-compilation development environment, targeting ARM systems, is described. Using this environment, we are going to end up with the operating system of the target platform, which is based on the Linux kernel. Finally, the last thing to consider is the programming process of the e-book reading application.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Thèse (M.Sc.)--Université Laval, 2004. / Bibliogr.: f. 120-149. Publié aussi en version électronique.

The development of application software for e-beam writter data preparation. Master thesis. Brno, 2016. The master thesis deals with the e-beam writter data preparation. The first part deals with electron beam lithography, posibilities and problems of data preparation and difractive optical elements. Afterwards the thesis describes development environment which was used for the development of application software itself. In the next part, the thesis deals with the appropriate design of application software, and its user-friendly interface. The output of the thesis is the implementation of the application software.

The paper deals with the development of a remote management solution for embedded audio devices. The creation of a development environment for the embedded ARM target is discussed as well as several available solutions for remote system management. The creation of a service for stream and system management using SNMP is discussed as well as several changes to the SNMP standard to improve performance using multicast. The implementation of a proof-of-concept cross-platform user interface for the client side is described as well.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-07T17:47:31Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-07T17:47:47Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-07T17:48:08Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5) / Made available in DSpace on 2017-02-07T17:48:08Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Mário A. P. Garcia.pdf: 1777955 bytes, checksum: bbc5f97c856505f518492e5c8ec65c28 (MD5) Previous issue date: 2016-09-13 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The software development for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast and automatic verification mechanisms, in order to create robust systems and reduce product recall rates. In addition, further development-time reduction and system robustness can be achieved through cross-platform frameworks, such as Qt, which favor the reliable port of software stacks to different devices. Based on that, the present work proposes a simplified version of the Qt framework, which is integrated into a checker based on satisfiability modulo theories (SMT), name as the efficient SMT-based bounded model checker (ESBMC++), for verifying actual Qt-based applications, and presents a success rate of 89%, for the developed benchmark suite. We also evaluate our simplified version of the Qt framework using other state-of-the-art verifiers for C++ programs and an evaluation about their level of compliance. It is worth mentioning that the proposed methodology is the first one to formally verify Qt-based applications, which has the potential to devise new directions for software verification of portable code. / O desenvolvimento de software para sistemas embarcados tem crescido rapidamente, o que na maioria das vezes acarreta em um aumento da complexidade associada a esse tipo de projeto. Como consequência, as empresas de eletrônica de consumo costumam investir recursos em mecanismos de verificação rápida e automática, com o intuito de desenvolver sistemas robustos e assim reduzir as taxas de recall de produtos. Além disso, a redução no tempo de desenvolvimento e na robustez dos sistemas desenvolvidos podem ser alcançados através de frameworks multi-plataformas, tais como Qt, que oferece um conjunto de bibliotecas (gráficas) confiáveis para vários dispositivos embarcados. Desta forma, este trabalho propõe uma versão simplificada do framework Qt que integrado a um verificador baseado nas teorias do módulo da satisfatibilidade, denominado Efficient SMT-Based Bounded Model Checker (ESBMC++), verifica aplicações reais que ultilizam o Qt, apresentando uma taxa de sucesso de 89%, para os benchmarks desenvolvidos. Com a versão simplificada do framework Qt proposto, também foi feita uma avaliação ultilizando outros verificadores que se encontram no estado da arte para verificação de programas em C++ e uma avalição a cerca de seu nível de conformidade. Dessa maneira, a metodologia proposta se afirma como a primeira a verificar formalmente aplicações baseadas no framework Qt, além de possuir um potencial para desenvolver novas frentes para a verificação de código portátil.

This thesis aimed to integrate a radio module, for listening to FM and DAB primarily, with CrossControl's display computers. The connection was done by converting the USB signals from the display computer to UART signals that were sent to the radio module. To be able to communicate a communication library was ported from C to Qt, and C++, which was used by a graphical user interface created during the project. This user interface aimed to keep a simplistic and clean look as well as making sure that the user could operate as easily as possible. The different radio standards around the world were reviewed and the analog standard FM radio and the digital standard DAB+ was chosen for testing the capabilities of the radio module, mostly because of their availability in Sweden.

Many conservationists have become enamoured with mainstream economic concepts and approaches, described as pragmatic replacements for appeals to ethics and direct regulation. Trading biodiversity using offsets is part of the resulting push for market governance that is promoted as a more efficient means of Nature conservation. In critically evaluationg this position I start by explaining the assumptions behind biodiversity and ecosystem valuation and how economic logic legitimises, rather than prevents, ongoing habitat destruction and treats species extinction as optimal. Biodiversity offsets provide a means for operationalising trade-offs that are in the best interests of developers and make false claims to adding productive new economic activity. Contrary to the argument that economic logic frees conservation from ethics, I expose the ethical premises required for economists to justify public policy support for offsets. Finally, various issues in offset design are raised and placed in the context of a political struggle over the meaning of Nature. The overall message is that, if conservationists continue down the path of conceptualising the world as in mainstream economic textbooks they will be forced from one compromise to another, ultimately losing their ability to conserve or protect anything. They will also be abandoning the rich and meaningful human relationships with Nature that have been their raison d'être. (author's abstract) / Series: SRE - Discussion Papers

Im Zuge der fortschreitenden Industrialisierung, besonders ab der Phase des Wiederaufbaues nach dem Zweiten Weltkrieg, wurde in Österreich eine große Zahl an neuen Industriebetrieben errichtet, vielfach in Großstädten oder knapp am Rand von derartigen Ballungszentren. Manche der angesiedelten Betriebsanlagen wurden für die Lagerung und Produktion großer Mengen an entzündlichen, giftigen oder anderweitig gefährlichen Stoffen genützt. Durch den regen Zuzug von Arbeitssuchenden aus dem ländlichen Raum in die Großstädte war eine stetig Einwohner- und flächenmäßig wachsende Ausdehnung der Großstädte die Folge. Der städtische Wohnbau förderte eine teilweise Umsiedelung sowie ein Heranrücken von gewerblichen oder industriellen Betriebsanlagen an die Ballungszentren. Mehrere große Industrieunfälle in der zweiten Hälfte des zwanzigsten Jahrhunderts mit hohen Schädigungsausmaßen an Mensch und Umwelt, besonders im Zusammenhang mit gefährlichen Stoffen, führten zu einem Umdenken in Gesellschaft und Politik. Die Diskussionen über gesetzliche Mindeststandards zur Verbesserung des Risikomanagements zwecks Minimierung von Gefährdungspotenzialen und die Konflikte über die Standortfrage von gefahrengeneigten Betriebsanlagen in derartigen Ballungsräumen begannen größere Dimensionen anzunehmen. Immer wieder tauchte dabei in der Diskussion die Frage auf, welche monetären Schadenseinflüsse die Nähe solcher Betriebe für die umgebende Bevölkerung verursachen können. In dieser Dissertation wird dieser Aspekt näher beleuchtet und anhand eines konkreten Falles ein sozioökonomischer Bewertungsversuch des möglichen Einflusses von Gefährdungspotenzialen aus gefahrengeneigten Betriebsanlagen (so genannte "Seveso-Betriebsanlagen") auf regionale Immobilienpreise unternommen. Es wird erwartet, dass auf der Basis empirisch ermittelter Daten eine Aussage über den Grad einer allfälligen Einflussnahme gemacht werden kann.