No description available.

This report presents the design of a conceptual prototype aimed at identifying keys in specific positions inside a cabinet utilizing Radio-frequency identification (RFID)technology. The prototype integrates RFID readers, managed by a microcontroller unit(MCU), establishing a backend peripheral system. The cabinet is made of steel, and given RFID’s sensitivity to nearby metal, experimentation was conducted to evaluate the impact of metal proximity on the reading range. Experimental results reveal a reduction in the reading range of 15 mm (43%) by one metal sheet and 26 mm (74%) by two metal sheets present, highlighting the relation between RFID technology and metallic environments. Additionally, the finished prototype is also presented in the Results and Discussion section, giving a more detailed insight into its practical implementation. This project demonstrates the viability of item-level identification through the utilization of low-frequency readers. Particularly relevant for positional identification, the short reading range of a low-frequency reader offers precision by limiting the area in which a detected transponder may be located. / Denna rapport presenterar designen av en konceptuell prototyp avsedd att identifiera nycklar på specifika positioner i ett skåp med användning av Radio-frequency identification (RFID) teknologi. Prototypen integrerar RFID läsare, hanterade av en microcontroller unit (MCU), och etablerar ett perifert backendsystem. Skåpet är gjort av stål, och givet RFIDs känslighet mot nära metal har experiment utförts för att utvärdera hur metallen påverkar en läsares omfång. Experimentella resultat avslöjar en reduktion i läsarens omfång på 15 mm (43%) med en metallplatta och 26 mm (74%) med tvåmetallplattor närvarande. Dessutom presenteras den färdiga prototypen i Resultat och Diskussionsdelen, för att ge en mer detaljerad insyn på dess praktiska implementation. Detta projektet demonstrerar genomförbarheten av identifikation på artikelnivå genomanvändandet av lågfrekvens läsare. Särskilt relevant för positionell identifikation är det korta omfånget av en lågfrekvens läsare, då detta erbjuder precision genom att begränsaområdet där en transponder kan lokaliseras.

Orientador: Aílton Akira Shinoda / Resumo: Bastidores eletrônicos de alta performance e disponibilidade utilizam o protocolo Intelligent Platform Management Interface (IPMI) para gerenciar seus dispositivos, controlando e monitorando os recursos disponíveis. Neste contexto para inserir dispositivos com tecnologia mais avançada, novos projetos foram elaborados para atualização dos sistemas de hardware e software baseados em System-on-Chip (SoC), principalmente na área de Física de Alta Energia. Uma aplicação existente, desenvolvida na parceira São Paulo Research and Analysis Center – Fermi National Accelerator Laboratory (SPRACE–FERMILAB) na colaboração internacional do Compact Muon Solenoid detector/Large Hadron Collider/European Organization for Nuclear Research (CMS/LHC/CERN), utiliza o protocolo IPMI implementado em um microcontrolador, contudo, para o processo de atualização vigente, há um interesse desta implementação em SoC. Assim, esta pesquisa foi desenvolvida como o estudo da viabilidade da implementação IPMI em um SoC. Para estabelecer e verificar o protocolo IPMI via barramento I²C, a plataforma Xilinx ZC702 Evaluation Board foi utilizada com os respectivos dispositivos SoC Zynq e Erasable Programmable Memory (EEPROM). Além disso foi desenvolvido uma estrutura simples do IPMI no sistema operacional em tempo real (FreeRTOS) baseados em modelos de hardware e software criados na plataforma Xilinx IDE e SDK. Por meio dos resultados apresentados é possível constatar a viabilidade da implementação IPMI em sistema... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: High performance and availability electronic racks use the Intelligent Platform Management Interface (IPMI) protocol to manage your devices by controlling and monitoring available resources. In this context to insert devices with more advanced technology, new projects were elaborated to update the System-on-Chip (SoC) based hardware and software systems, mainly in the area of High Energy Physics. An existing application developed at the São Paulo Research and Analysis Center partner - Fermi National Accelerator Laboratory (SPRACE – FERMILAB) in the international collaboration of the Compact Muon Solenoid detector/Large Hadron Collider/European Organization for Nuclear Research (CMS/LHC/CERN) uses The IPMI protocol implemented in a microcontroller, however, for the current update process, there is an interest of this implementation in SoC. Thus, this research was developed as the study of the viability of implementing IPMI in a SoC. To establish and verify the IPMI protocol via I²C bus, the Xilinx ZC702 Evaluation Board platform was used with the respective SoC Zynq and Erasable Programmable Memory (EEPROM) devices. In addition, a simple IPMI framework in the real time operating system (FreeRTOS) based on hardware and software models created on the Xilinx IDE and SDK platform was developed. From the results presented, it is possible to verify the viability of IPMI implementation in systems such as SoC Zynq as platform management controller, which allows migration and further t... (Complete abstract click electronic access below) / Mestre

This thesis deals with the modifications of the hardware design and operating systems of the ZedBoard multi-core platform so that both ARM Cortex A9 processor cores included in SoC Zynq7000 can be used. It analyses the general issue of the multi-core environment and the core functions of the kernel and the operating system. It describes selected means of implementation ZedBoard and FreeRTOS. In the implementation section, specific steps are demonstrated to convert a single-core operating system to a multi-core system but also steps required to run two different operating systems on two processor cores. In the last section all achieved results are summarized.

The aim of my master’s thesis is the design of the LED lighting system for breeding and growing purposes as replacement for the classical high-pressure sodium lamps and other sources of light used today. The whole system can be controlled locally by buttons or remotely by web server using Ethernet interface. LEDs are powered by five-channel step-down converter with current feedback. Converters are controlled by pulse width modulation generated by microcontroller.

The thesis deals with the design of digital I/O card with USB connectivity for Honeywell spol. s r.o. – HTS CZ o.z. company. The main objective is the delay elimination between reading the current state of the inputs and outputs setting which occurs on the actual used commercial card. Further initial analysis outlines possible solutions at the beginning of the work. One of chapters describes USB communication interface, including its com- munications protocol and USB driver implementation on the operating system Microsoft Windows. The digital card has four I/O ports consisting of eight lines. All ports have built-in protection against overcurrent and ESD protection. Digital isolator is used for USB. Power is supplied via USB, but it is optionally possible to connect an external power source. The last part of the thesis is focused on the card driver design.

This master thesis discusses about designing and realization of a control system for a 6-axis robotic arm. The controlling system consist in a microcontroller LPC1756 with its firmware implemented under the Real-time operating system FreeRTOS and GUI application, running on a PC. The Microcontroller communicates with the PC through a serial line via SLIP protocol. Theoretically, it will deal with an explanation of the important terms, and describes the used robotic arm and its controlling unit. The practical part describes kinematics problems solving, firmware’s realization and GUI application.

The project is dedicated to the identification of the problems found while building RT operating systems for use in embedded devices. The project's main topic is the possibility of using RT system in the FITkit platform and it also discusses individual problems and their possible solutions. One of the problems is the way of acquiring the timing information for tasks to ensure their RT properties. We have extended existing simulator for given microcontroller that is also part of the FITkit. The simulator can be used for detailed monitoring of the execution of individual tasks in the system based on dynamic analysis, collecting timing statistics for given blocks of the program or it can be extended by new modules. The RM scheduling mechanism has been integrated into the FreeRTOS system as an example by considering the knowledge of the concrete operating system and acquired timing information.

This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) implementations. We provide a framework for proving the functional correctness of imperative language implementations of ADTs, using a theory of refinement. We develop a theory of refinement to reason about both declarative and imperative language implementations of ADTs. Our theory facilitates compositional reasoning about complex implementations that may use several layers of sub-ADTs. Based on our theory of refinement, we propose a methodology for proving the functional correctness of an existing imperative language implementation of an ADT. We propose a mechanizable translation from an abstract model in the Z language to an abstract implementation in VCC’s ghost language. Then we present a technique to carry out the refinement checks completely within the VCC tool. We apply our proposed methodology to prove the functional correctness of the scheduling-related functionality of FreeRTOS, a popular open-source real-time operating system. We focused on the scheduler-related functionality, found major deviations from the intended behavior, and did a machine-checked proof of the correctness of the fixed code. We also present an efficient way to phrase the refinement conditions in VCC, which considerably improves VCC’s performance. We evaluated this technique on a simplified version of FreeRTOS which we constructed for this verification exercise. Using our efficient approach, VCC always terminates and leads to a reduction of over 90% in the total time taken by a naive check, when evaluated on this case-study.

The topic of this thesis is the design and realization of a modular Data concentrator for various types of measurements in diverse conditions. The device conception, basic principles, design and functionality are described herein. Also, the lightweight protocol design for radio communication, standardized XML format for data storage and cloud usage are described. The electrical design of the device as well as the design of the printed circuit board was made using the Eagle Autodesk electronic design automation software (Eagle Autodesk EDA). The control software written in C/C++ for a target microcontroller (ESP32-WROOM-32) is based on a FreeRTOS platform and ESP-IDF framework. An IDE for managing this software is Visual Studio Code with PlatformIO extension. Selected and used Cloud Platform is ThingSpeak from Mathworks, which uses certain components from Matlab platform.