To see the other types of publications on this topic, follow the link: FreeRTOS.
Dissertations / Theses on the topic 'FreeRTOS'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 47 dissertations / theses for your research on the topic 'FreeRTOS.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Kase, Robin. "Efficient Scheduling Library for FreeRTOS." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-204575.
Full textAbstract:
At present, there is a gap between practical implementations of task scheduling on numerous popular Real-Time Operating Systems (RTOSs) and theoretical real-time scheduling. It is difficult to choose what theoretical real-time scheduling concepts to implement when designing a kernel, as theoretical concepts grow and improve over time. Furthermore, the kernel can be kept simpler when offering only simple fixed priority scheduling policy, as advanced scheduling features often require more complex implementation and larger overhead. By offering a real-time scheduling library implemented in user space, the user can choose whether to skip the overhead, or use more advanced theories. At the moment there exists already several scheduling frameworks for FreeRTOS. However, they are either difficult to use, not completely implemented in user space, or not providing various theoretical scheduling policies. An open source scheduling library for FreeRTOS implemented in user space that is user friendly and runs with low overhead, Efficient Scheduling Library (ESFree) is proposed. The proposed scheduling library provides polling server that runs aperiodic and sporadic jobs, dependable timing error detection and handling, Rate-Monotonic Scheduling (RMS), Deadline-Monotonic Scheduling (DMS) and Earliest Deadline First (EDF) scheduling policies to provide theoretical real-time scheduling features to speed up development of complex projects, and make FreeRTOS friendlier to students who have newly studied real-time scheduling.För närvarande finns en klyfta mellan praktisk implementation av uppgiftsschemaläggning påflera populära realtidsoperativsystem (RTOS) och teoretisk realtidsschemaläggning. Det är svårt att välja vilka teoretiska realtidskoncept som ska implementeras när en kärna designas, eftersom teoretiska koncept ökar och förbättras över tid. Dessutom kan kärnan hållas enklare när endast enkel fixerad prioritetsschemaläggningspolicy erbjuds, dåavancerade schemaläggningsfunktioner ofta begär komplexare implementation och större overhead. Genom att erbjuda ett realtidsschemaläggningsbibliotek implementerad inom användarutrymmet, kan användaren välja mellan att skippa overheaden eller använda mera avancerade teorier. För tillfället finns det redan flera schemaläggningsramverk för FreeRTOS. Emellertid antingen är de svåra att använda, inte helt implementerade inom användarutrymmet, eller de tillhandahåller inte diverse teoretiska schemaläggningspolicyn. Ett nytt öppet källkodsbibliotek för FreeRTOS implementerad inom användarutrymmet som är användarvänlig och exekverar med låg overhead, Efficient Scheduling Library (ESFree) föreslås. Det föreslagna schemaläggningsbiblioteket tillhandahåller pollande server som kör aperiodiska och sporadiska jobb, pålitlig timingfeldetektering och hantering, Rate-Monoton Schemaläggning (RMS), Tidsgräns-Monoton Schemaläggning (DMS) och Tidigast Tidsgräns Först (EDF) schemaläggningspolicyn för att tillhandahålla teoretisk realtidsschemaläggningsfunktioner för att påskynda utveckling av komplexa projekt, och göra FreeRTOS vänligare för studenter som nyligen har studerad realtidsschemaläggning.
2
Borgström, Fredrik. "Acceleration of FreeRTOS withSierra RTOS accelerator : Implementation of a FreeRTOS software layer onSierra RTOS accelerator." Thesis, KTH, Data- och elektroteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-188518.
Full textAbstract:
Today, the effect of the most common ways to improve the performance of embedded systems and real-time operating systems is stagnating. Therefore it is interesting to examine new ways to push the performance boundaries of embedded systems and real-time operating systems even further. It has previously been demonstrated that the hardware-based real-time operating system, Sierra, has better performance than the software-based real-time operating system, FreeRTOS. These real-time operating systems have also been shown to be similar in many aspects, which mean that it is possible for Sierra to accelerate FreeRTOS. In this thesis an implementation of such acceleration has been carried out. Because existing real-time operating systems are constantly in development combined with that it was several years since an earlier comparison between the two real-time operating systems was per-formed, FreeRTOS and Sierra were compared in terms of functionality and architecture also in this thesis. This comparison showed that FreeRTOS and Sierra share the most fundamental functions of a real-time operating system, and thus can be accelerated by Sierra, but that FreeRTOS also has a number of exclusive functions to facilitate the use of that real-time operating system. The infor-mation obtained by this comparison was the very essence of how the acceleration would be imple-mented. After a number of performance tests it could be concluded that all of the implemented functions, with the exception of a few, had shorter execution time than the corresponding functions in the original version of FreeRTOS.Idag är effekten av de vanligaste åtgärderna för att förbättra prestandan av inbyggda system och realtidsoperativsystem väldigt liten. På grund av detta är det intressant att undersöka nya åtgärder för att tänja prestandagränserna av inbyggda system och realtidsoperativsystem ytterliggare. Det har tidigare påvisats att det hårdvarubaseraderealtidsoperativsystemet, Sierra, har bättre prestanda än det mjukvarubaseraderealtidsoperativsystemet, FreeRTOS. Dessa realtidsoperativsystem har även visats vara lika i flera aspekter, vilket betyder att det är möjligt för Sierra att accelererera FreeRTOS. I detta examensarbete har en implementering av en sådan acceleration genomförts. Eftersom befintliga realtidsoperativsystem ständigtär i utveckling i kombination med att det är flera år sedan som en tidigare jämförelse mellan de båda systemen utfördes, så jämfördes FreeRTOS och Sierra i fråga om funktionalitet och uppbyggnad även i detta examensarbete.Denna jämförelse visade att FreeRTOS och Sierra delar de mest grundläggande funktionerna av ett realtidsoperativsystem, och som därmed kan accelereras av Sierra, men att FreeRTOS även har ett antal exklusiva funktioner för att underlätta användningen av det realtidsoperativsystemet. Informationen som erhölls av denna jämförelse var sedan grunden för hur själva accelerationen skulle implementeras. Efter ett antal prestandatesterkunde det konstateras att alla implementerade funktioner, med undantag för ett fåtal, hade kortare exekveringstid än motsvarande funktioner i ursprungsversionen av FreeRTOS.
3
Matias, Matthew John. "Program Verification of FreeRTOS using Microsoft Dafny." Cleveland State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=csu1400085349.
Full text
4
Khodayari, Shahrzad. "Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-228289.
Full textAbstract:
Embedded systems are widely used in most electrical devices. They are often complex and safety-critical. Therefore, their reilability is significantlyimportant. AMong many techniques to verify a system, model checking models a system into temporal logic and can be used to assert a desired property on it. CBMC is a Bounded Model Checker for ANSI-C and C++ programs. In this thesis, we extend the CBMC tool to check and automatically detect a C/C++ code containing a form of unspecified behaviors, like function calls with arguments tht exhibit side effects which might be easily unnoticed by the programmers. Inn addition, the code can be configured properly to be used for ARM Cortex micro-controllers and FreeRTOS softwares
5
Šťastný, Ladislav. "SW modul TCP/IP a Modbus pro OS FreeRTOS." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219679.
Full textAbstract:
The aim of this work is to get familiar with operating system FreeRTOS and its usage in device design. It also explains usage of SW module LwIP (TCP/IP stack) and Free-MODBUS. Consequently is designed example device, simple operational panel. The panel communicates through ethernet interface using Modbus TCP protocol with connected PLCs on separate network. Its meet function of webserver, HID and also source of real time.
6
Chen, Bojie. "HUMIDITY SENSOR CIRCUIT USING REAL TIME OPERATING SYSTEM (FREERTOS) KERNEL." UKnowledge, 2014. http://uknowledge.uky.edu/ece_etds/61.
Full textAbstract:
A humidity sensor can be used to measure the moisture content of the environment. The physical change of the sensor expresses as the change of electrical property like capacitance, resistance, voltage, current, frequency, etc. In order to process these analog signals digitally, microprocessor is involved in the measurement. This thesis presents design of a circuit to measure low moisture levels. The 16-bit RISC mixed signal microcontroller MSP430F249 from Texas Instruments will be used. The circuit has good performance at extremely low humidity levels.
Meanwhile, a small real time operating system kernel FreeRTOS, a market leading RTOS from Real Time Engineer Ltd is ported to the microcontroller. The basic concept about FreeRTOS and how to port this RTOS to MSP430F249 microcontrollers will be the topics of this thesis as well.
7
Cheng, Shu. "Formally modelling and verifying the FreeRTOS real-time operating system." Thesis, University of York, 2014. http://etheses.whiterose.ac.uk/12671/.
Full textAbstract:
Formal methods is an alternative way to develop software, which applies math- ematical techniques to software design and verification. It ensures logical consistency between the requirements and the behaviour of the software, because each step in the development process, i.e., abstracting the requirements, design, refinement and implementation, is verified by mathematical techniques. However, in ordinary software development, the correctness of the software is tested at the end of the development process, which means it is limited and incomplete. Thus formal methods provides higher quality software than ordinary software devel- opment. At the same time, real-time operating systems are playing increasingly more important roles in embedded applications. Formal verification of this kind of software is therefore of strong interest. FreeRTOS has a wide community of users: it is regarded by many as the de facto standard for micro-controllers in embedded applications. This project formally specifies the behaviour of FreeRTOS in Z, and its consistency is ver- ified using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. Based on this model, (a) code-level annotations for verifying task related API are produced with Microsoft’s Verifying C Complier (VCC); and (b) an abstract model for extension of FreeRTOS to multi-core architectures is specified with the Z notation. This work forms the basis of future work that is refinement of the models to code to produce a verified implementation for both single and multi-core platforms.
8
Galv?o, Stephenson de Sousa Lima. "Especifica??o do micron?cleo FreeRTOS utilizando o m?todo B." Universidade Federal do Rio Grande do Norte, 2011. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18021.
Full textAbstract:
Made available in DSpace on 2014-12-17T15:47:55Z (GMT). No. of bitstreams: 1
StephennsonSLG_DISSERT.pdf: 4909051 bytes, checksum: 2a9f94a42d9fc75bb16a1ff239148437 (MD5)
Previous issue date: 2011-08-16This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.
Este trabalho apresenta uma contribui??o para o esfor?o internacional do Verified Software Repository atrav?s da especifica??o formal da biblioteca de sistema de tempo real FreeRTOS. Tal especifica??o foi realizada de forma abstrata utilizando o m?todo B. Para isso, propriedades disponibilizadas por essa biblioteca foram elencadas e selecionadas como requisitos da especifica??o, a qual foi constru?da centrada nas funcionalidades respons?veis pela utiliza??o dessas propriedades. Com a modelagem desenvolvida pretende-se incentivar a verifica??o formal do FreeRTOS e tamb?m contribuir para a cria??o formal de uma biblioteca de sistemas de tempo real baseada na FreeRTOS. Al?m disso, tal modelagem traz uma documenta??o do ponto de vista formal do sistema, demonstrando como ocorrer internamente o seu funcionamento e serve como um exemplo da especifica??o de um sistema real pelo m?todo B.
9
Boger, Timothy Jared. "Rhealstone Benchmarking of FreeRTOS and the Xilinx Zynq Extensible Processing Platform." Master's thesis, Temple University Libraries, 2013. http://cdm16002.contentdm.oclc.org/cdm/ref/collection/p245801coll10/id/216539.
Full textAbstract:
Electrical and Computer EngineeringM.S.E.E.
Embedded system designers require deterministic, real-time operating system (RTOS) support for the commonly available processing hardware. The Xilinx Zynq Extensible Processing Platform (EPP) offers software, hardware, and input/output (I/O) programmability on a single chip. The Xilinx Zynq EPP features a Dual ARM Cortex-A9 MPCore, Advanced Microcontroller Bus Architecture (AMBA) Advanced eXtensible Interface 4 (AXI4) interconnect, and Xilinx Kintex-7 series Programmable Logic (PL) which provide the requisite capabilities for the increasing demands of embedded processing applications. The AMBA AXI4 interconnect provides high speed point to point interconnections between the ARM processor cores and the Field Programmable Gate Array (FPGA) structure allowing for rapid data transmission to optimize system performance. The incorporation of an RTOS ensures predictable execution times of applications. Benchmarks, such as the Rhealstone, were developed to provide designers with a method of evaluating and comparing these multitasking RTOSs running on various hardware platforms. This thesis research performs Rhealstone benchmarking and evaluates the AMBA AXI4 interconnect performance while executing FreeRTOS on the ARM core of the Zynq EPP device.
Temple University--Theses
10
Abich, Geancarlo. "Extending FreeRTOS to support dynamic and distributed task mapping in multiprocessor systems." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2017. http://hdl.handle.net/10183/164048.
Full textAbstract:
Sistemas de Multiprocessados Embarcados são uma realidade, tanto no setor da indústria e quanto no setor acadêmico. Esses dispositivos oferecem capacidades de processamento paralelo objetivando cobrir requisitos cada vez maiores de aplicações complexas. A carga de trabalho subjacente das aplicações é suscetível a variação em tempo de execução o que, se não for tratada adequadamente, pode levar a degradação de eficiência em desempenho e energia. O aumento contínuo da complexidade da carga de trabalho das aplicações, bem como do tamanho dos sistemas multiprocessados emergentes, requer soluções de mapeamento dinâmicas e distribuídas. A maioria das técnicas de mapeamento propostas são implementações personalizadas, considerando um sistema operacional interno desenvolvido para uma arquitetura de processador específica. Essa prática restringe sua aplicação em outras plataformas, levando a um design extra, revalidação e, consequentemente, um custo oculto que pode ser um tanto quanto alto. Neste cenário, esta dissertação propõe a extensão do FreeRTOS para suportar mapeamento dinâmico e distribuído de tarefas em sistemas multiprocessados. O FreeRTOS tem portabilidade para mais de 30 arquiteturas de processadores embarcados, aumentando a portabilidade de software e reduzindo o tempo de desenvolvimento. A extensão proposta utiliza técnicas de mapeamento que permitem ao FreeRTOS atender a altas demandas de mapeamento de aplicações em tempo de execução. Outra contribuição deste trabalho é o desenvolvimento de um framework que permite a exploração de grandes sistemas fornecendo, simultaneamente, resultados para depuração. O framework proposto possibilita a geração automática de plataformas multiprocessadas considerando seu tamanho, a arquitetura do processador e um conjunto de aplicações. A descrição da plataforma resultante é altamente escalável permitindo extração de dados em tempo de execução e alta depuração. Estas características permitiram validar a extensão do FreeRTOS proposta em mais de uma arquitetura de processador da família ARM Cortex-M. Os casos de teste foram executados em plataformas de grande escala e em diferentes níveis de abstração com casos de mais de 120 aplicações incorporando mais de 600 tarefas processadas. Os resultados mostram que a extensão proposta apresenta resultados melhores ou iguais à literatura.Embedded Multiprocessor systems are a reality, in both industry and academia sectors. Such devices offer parallel processing capabilities, aiming at covering the increasing requirements of complex applications. Underlying application workloads are susceptible to variation at runtime, which if not properly handled, may lead to the performance and power efficiency degradation. The continuous increase in the complexity of application workload and the size of emerging multiprocessor systems, calls for dynamic and distributed mapping solutions. The majority of the promoted mapping techniques are bespoke implementations, which consider an in-house operating system developed to a particular processor architecture. This practice restricts its adoption in other platforms, leading to extra design time, re-validation and, consequentially, a hidden cost that may well be quite high. In this scenario, this dissertation proposes a FreeRTOS extension that integrates the support to dynamic and distributed tasks mapping in multiprocessor systems. FreeRTOS is portable to more than 30 embedded processors architectures, increasing software portability and reducing development time. The proposed extension employs mapping techniques allowing FreeRTOS for handle high demands of application mapping in runtime. Another contribution of this work is the development of a framework, which enables the exploration of large systems while providing debugging facilities. The proposed framework provides the automatic generation of multiprocessor platforms, considering parameters of size, processor architecture, and an application set. The resulting platform description is high scalable while allows runtime data extraction and high debugging. These features allowed to validate the proposed FreeRTOS extension in more than one processor architecture from ARM Cortex-M family. Test cases were executed on large-scale platforms and at different levels of abstraction with cases of more than 120 applications incorporating more than 600 tasks processed. The results show that the proposed extension presents better or equal results to the literature.
11
Logge, Marika. "Emulering av c-applikationer för ett inbyggt system i Linuxmiljö." Thesis, KTH, Hälsoinformatik och logistik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-296507.
Full textAbstract:
I det här arbetet har en emulator till DeLavals inbyggda system IOM 200 utvecklats i en Linuxmiljö. Konceptet har varit att implementera en emulator i DeLavals testprocess för mjukvaran i ett inbyggt system. Syftet med emulatorimplementationen var att underlätta utvecklingen av mjukvaran genom att ta bort beroendet av hårdvaran. Baserat på studier av olika metoder, tillgängliga verktyg och tidigare arbeten skapades en emulatormodell för IOM 200 och ett koncept för hur den ska implementeras. Arbetet har även skapat en fungerande prototyp som kan exekvera ett mindre kodsegment från IOM 200 och därigenom validerar emulatormodellen. Emulatormodellen utformades på den redan befintliga FreeRTOS-simulatorn som finns tillgänglig i Linux. Anledningen är att FreeRTOS används i IOM 200, den är gratis att använda och den möter emulatorns abstraktionskrav. Utöver FreeRTOS-simulatorn implementerades stubbar och wrapper-funktioner som tillhandahöll gränssnitt som gjorde IOM 200 applikationen exekverbar i emulatorn.In this work an emulator for DeLaval’s embedded system IOM 200 has been developed in a Linux environment. The concept was to implement the emulator in DeLaval’s software test process for embedded systems. The purpose of creating an emulator was to ease the development of the embedded software by removing the dependency on embedded hardware. An emulator model and a concept for its implementation was created through the studies of various methods, available tools, and existing works in the emulator field. Based on the model the work created a working prototype that can execute a smaller code segment from the IOM 200 application. The emulator model was designed on the already existing FreeRTOS simulator that is available forLinux. The motive being that FreeRTOS is the operating system running on IOM 200, it is open source, free to use and it has the perfect level of abstraction for the emulator. Stubs and wrappers were implemented to the emulator in addition to the FreeRTOS simulator. These stubs and wrappers provided the interfaces needed for the IOM 200 application to be executable in the emulator.
12
Portolani, Filippo. "Sistemi operativi real-time su dispositivi embedded - Caso di studio : FreeRTOS su Raspberry Pi." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/11877/.
Full textAbstract:
La tesi si concentra sullo studio dell'architettura di un sistema operativo real-time e tratta approfonditamente il dispositivo embedded Raspberry Pi. Successivamente,si procede con l'installazione di BitThunder(un RTOS basato su FreeRTOS) su tale sistema embedded e si attua un test pratico per verificarne il funzionamento.
13
Cebo, Patrik. "Návrh pulzního generátoru pro laserovou spektroskopii." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2020. http://www.nusl.cz/ntk/nusl-413005.
Full textAbstract:
This diploma thesis deals with the design of a precise multi-channel pulse generator for the synchronization of laser-induced breakdown spectroscopy (LIBS) instrumentation. The thesis reflects current state-of-the-art solutions in communication and trends in the field of laser spectroscopy. Moreover, the device is based on the modern implementation of embedded devices using C and C++ programming languages using the Ethernet for communication. The communication with the control software is provided via the SDD protocol; designed at CEITEC BUT. Finally, the data of the SDD protocol are sent by the hypertext transfer protocol (HTTP) protocol in native file format (JSON). This thesis brings the synchronization of the 10 devices by precision timing.
14
Zajíc, Jakub. "Demo aplikace s procesorem Atmel AVR32 UC." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2010. http://www.nusl.cz/ntk/nusl-218605.
Full textAbstract:
The diploma thesis provides a brief overview of the architecture Atmel AVR32 UC. Project deals mainly AVR32 processor UC3A and processor AVR32 UC microarchitecture. From The Microarchitecture AVR32 UC3A was derived processor AT32UC3A0512. This processor is used for the development board EVK1100. Options of this plate are also investigated. Basic information about programming and AVR32 Studio development environment for these processors are given. After the acquisition of control of the IDE and study the attached sample application a simple program was created. This program was integrated as a task operating system FreeRTOS along with several another tasks.
15
Ledvina, Jan. "Využítí ARM GCC vývojového řetězce." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219831.
Full textAbstract:
The subject of this thesis is to study the existing development toolchain for the microprocessor LPC23xx in course MPOA. Main goal is to explore the feasibility of new development toolchain, based on the GCC. The outcomes of this thesis are demo applications with the microprocessor LPC2378 and the GCC. Parts of the outputs are also tutorials for the students, how to implement these demo applications. The demos include basic applications, RTOS and Ethernet
16
Strašil, Ivo. "Modul elektrické zabezpečovací ústředny s komunikátorem Ethernet." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2010. http://www.nusl.cz/ntk/nusl-218549.
Full textAbstract:
This diploma thesis deals with a design of a burglar alarm control panel, equipped with an Ethernet interface. The thesis contains a discusson of present solutions of control panels and of present usage of Ethernet communication. An idea of sensors, directly connected to LAN, was discarded on basis of a component price survey. Finally, a new concept of the panel has been chosen. This concept allows a free definition of internal logic using a C-like scripting and provides a possibility to create a network of these panels in a LAN network, using a software-only supervising main control panel. A new control panel following this concept was designed and succesfully tested.
17
Gábrlík, Petr. "Univerzální řídicí systém pro quadrocopter." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219708.
Full textAbstract:
The Thesis objective is the design and implementation of the universal control system for a flying robot, quadrotor concept. The first part deals with ways of solving program for microcontrollers. The special attention is given to the FreeRTOS real-time operating system, which is designed for microcontrollers. The second part of the Thesis is focused on the description of the chosen microcontroller LM3S8962 and the hardware solution. One chapter is devoted to the integration of the robot to the Cassandra-WPF robotic control system. The third part deals with the identification of the new robot construction and the mathematical model creation. Using the model controllers for stabilization pitch and roll are designed and their functionality is verified on a physical model. The last part of the Thesis is focused on the FreeRTOS implementation and the control application creation.
18
Španihel, Pavol. "Zabezpečovací modul pro reklamní robot FEKT VUT v Brně." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219649.
Full textAbstract:
The aim of this work is to design a safety module for promotional robot FEEC BUT robot, which is based on evaluation kit RDK-IDM-SBC. The security module allows authorized persons control different parts of the robot (monitors, computers and subsystems included in the robot).
19
Otava, Lukáš. "Firmware pro robotické vozítko." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220069.
Full textAbstract:
This thesis is focused on a firmware for robotic vehicle based on the ARM Cortex-M3 architecture that is running a real-time operating system (RTOS). Theoretical part describes available solutions of embedded RTOS and concrete HW implementation of the robotic vehicle. There is also comparison of the three selected RTOS with their measurements. Result of this thesis is base firmware compounded by a program modules that controls HW parts. There is also a sample PC and firmware application that extends base firmware. This sample application is able to communicate with robotic vehicle, control wheel motion and measure process data.
20
Danielsson, Jakob, and Tobias Andersson. "Investigating Methods For Measuring Network Convergence Times." Thesis, Mälardalens högskola, Inbyggda system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-31822.
Full textAbstract:
This thesis investigates different methods that can be used for analyzing network performance and,ultimately, can be used for measuring the convergence time of ring coupled networks. As of today,many networks are often run with extra links, serving as backup links in case any that of the mainlinks would go down. To operate networks with backup links in layer 2 and layer 3, specific re-routing protocols such as RIP and OSPF are used in order to calculate a feasible path through anetwork when a network state changes. Depending on different implementations of the protocolsand the hardware used, the convergence times can vary substantially, which means measuring thenetwork performance is a very important part when developing a network solution. To executenetwork tests, a packet engine suite is used consisting of a network traffic generator that is used forcreating a packet stream, as well as a traffic receiver that fetches the packets sent. Various types ofengines can be used including Linux based, real-time operating systems based and bare-metal basedsolutions. From these different types of engines, a few tools are chosen and investigated on differentproperties including performance and usability. It was found that Tshark (Linux, RT-Linux based),USPI (Raspberry Pi bare metal), FreeRTOS (Raspberry Pi based), Arduino and PKTgen (Linuxkernel based) were the most suitable approaches to be used for testing. The test parameters includetesting the gaps between packets, maximum jitter, average jitter and packets sent per second. Thesetests revealed that an IXIA solution was slightly more accurate when used as a receiving end sinceit produced less jitter, however this difference could only be noticed in a micro second range. Itwas also revealed that it produced slightly less jitter than the other packet generators, also here onlynoticeable in a microsecond range. Thus it can be concluded that IXIA is not much superior any ofthe close to hardware solutions. The executed network tests revealed that the Westermo developedlayer 2 protocol FRNT generated less network convergence time and less packet losses than thecommonly used RSTP protocol. Similar tests against the layer 3 protocols revealed that RIP wasmuch faster than OSPF and it also lost less packets. Finally it is concluded that there is no needto buy an expensive network testing suite to test the convergence time of a network. Instead, anetwork testing suite can be developed with minimal funding.
21
Байда, В. Д. "Плата збору даних з інтерфейсом EtherCAT контролерів устаткування для лиття пластику під тиском." Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/23671.
Full textAbstract:
Байда, В. Д. Плата збору даних з інтерфейсом EtherCAT контролерів устаткування для лиття пластику під тиском : випускна кваліфікаційна робота : 172 «Телекомунікації та радіотехніка» / В. Д. Байда ; керівник роботи М. А. Хоменко ; НУ "Чернігівська політехніка", кафедра радіотехнічних та вбудованих систем. – Чернігів, 2021. – 58 с.Дипломна робота на тему «Плата збору даних з інтерфейсом EtherCAT контролерів устаткування для лиття пластику під тиском». Задачею є створення апаратного та програмного забезпечення для пристрою, який вимірює температуру і струм, встановлює шпаруватість ШІМ сигналів, має цифрові входи-виходи і обмінюється даними з іншими пристроями за допомогою мережі EtherCAT. Даний пристрій слугує для керування технологічними процесами на виробництві.
The task is to create hardware and software for a device that measures temperature and current, sets the duty cycle of PWM signals, has digital inputs and outputs and communicates with other devices via EtherCAT. This device is used to control technological processes in manufacturing.
22
Polak, Martin. "Protokol IPv6 v bezdrátových senzorových sítích." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2011. http://www.nusl.cz/ntk/nusl-218927.
Full textAbstract:
This thesis deals with the issues 6LoWPAN protokolu and implementation of IPv6 on the specied platform. Introduction thesis deals with the explanation of wireless sensor networks. Next it was descibed 6LoWPAN protocol, which maps IPv6 on standard IEEE 802.15.4. The thesis further concentrates to exploration of possible operation systems, that are designed for sensor networks and then followed by comparison of their characteristics and advantages. The fth chapter is focused on he implementation of the operating system to the sensor node Iris, introduction Iris and with the structure of the operating system Contiki OS. At the end of thesis is description of the implementation of this system in the sensor node Iris.
23
Kubizňák, Jan. "Bezobslužná nabíjecí stanice pro elektromobily." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2010. http://www.nusl.cz/ntk/nusl-218357.
Full textAbstract:
The subject of this diploma thesis is a creation of SW for the self-service charging station of ELNICO Ltd. company. The work consists of two main parts. The first part contains an overview of general charging stations for electro cars at current market. After this the prototype of the ELNICO system is described. It's main components and the control system realized by the development kit DK-LM3S9B96 are characterized here. The real-time operating system FreeRTOS, that is used by the kit, is also specified. The second part of the document deals with the SW design and realization. The thesis describes the structure and the main modules of the program. The functionality is then demonstrated by photos of running application.
24
Orlando, Nico. "Sviluppo di driver con interfaccia OS-independent per la piattaforma PULP." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amslaurea.unibo.it/25425/.
Full textAbstract:
I dispositivi endpoint per Internet-of-Things non solo devono funzionare con un inviluppo di potenza estremamente ridotto di pochi milliwatt, ma devono anche essere flessibili nelle loro capacità di elaborazione.
Attraverso un System on Chip (SoC) parallel ultra-low power (PULP) caratterizzato da un’architettura gerarchica con core RISC-V di classe micro- controller (MCU) di piccole dimensioni e potenziato con un sottosistema IO autonomo per un’efficiente trasferimento dati da un’ampia gamma di periferiche, si riesce a soddisfare i requisiti dei nodi endpoint IoT.
In questo elaborato ci si è concentrati sullo sviluppo dei driver per le perife- riche di comunicazione SPI e I2C in modo che queste potessero rispettare le specifiche Hard Real-Time dei sistemi RTOS. Per poter sfruttare FreeRTOS e PULP-OS, presenti nel SDK, i driver sono stati realizzati in modo da essere OS-Indipendent. Per fare questo si sono implementate delle Microcontroller Software Interface Standard in grado di poter creare un ulteriore livello di astrazione per il software, estraendo le funzionalità degli RTOS e definendo interfacce comuni per driver e periferiche.
Quello che si è ottenuto è la realizzazione di un SDK in grado di poter utilizzare due RTOS differenti in base alle esigenze applicative.
25
Lipka, Radim. "Bezdrátový lokalizační modul s nízko-příkonovým firmware na bázi RTOS." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417256.
Full textAbstract:
This thesis focuses on the design and implementation of the wireless localization module, using UWB technology with emphases on low-power firmwre based on RTOS. Wireless localization is based on TDoA algorithm. The resulting HW module is designed as a four layer PCB, based on MCU crf52832 (ARM Cortex M4) and UWB module DevaWave DW1000. Firmware is implemented using FreeRTOS with emphasis on low power consumption. For hardware implementation, Eagle CAD was used. Firmware is implemented in C and Assembly programming languages.
26
Mišík, Štefan. "Meteostanice s rozhraním Ethernet." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220703.
Full text
27
Gothard, Adolf. "Implementace RTOS do mikrokontrolérů STM32 s jádrem ARM Cortex-M4F." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220905.
Full textAbstract:
This masters's thesis deals with choice and implementation of two free real-time operating systems into powerful 32-bit microcontroller with ARM Cortex-M4F core. First, there is shortly described the ARM architecture in general, its programmer's model, instruction set and Cortex-M4F core in brief. Next is description of the architecture of used microcontroller STM32F407VGT6 from ST Microelectronics, description of its integrated memories and their organization and functions of its integrated A/D and D/A converters. Next part of this thesis deals with searching real-time operating systems with ARM Cortex-M4F core support and then choose two of these systems for the implementation. The chosen operating systems are more closely described in two following chapters. Next chapter analyses possible implementations of the digital PSD controller and more complex system of such controllers using real-time operating system. Following chapter describes implementation of chosen operating systems and designed controllers. Last chapter deals with evaluation of features and qualities of the chosen real-time operating systems for implementation of embedded control system.
28
Skopal, Jakub. "Problematika přechodu od jednojádrové k vícejádrové implementaci operačního systému." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363733.
Full textAbstract:
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.
29
Kořínek, Milan. "Digitální vstupně/výstupní karta s USB konektivitou." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220907.
Full textAbstract:
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.
30
Satora, Ondřej. "LED světlo s nastavitelným spektrem vyzařování pro chovatelské a pěstitelské účely." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219847.
Full textAbstract:
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.
31
Rajnoha, Peter. "Analýza jader real-time operačních systémů běžících na platformě FITkit." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2009. http://www.nusl.cz/ntk/nusl-236754.
Full textAbstract:
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.
32
Souza, Sthefany Fernandes de. "Viabilidade da implementação do protocolo IPMI em um SYSTEM-ON-CHIP /." Ilha Solteira, 2019. http://hdl.handle.net/11449/190946.
Full textAbstract:
Orientador: Aílton Akira ShinodaResumo: 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
33
Semrád, Michal. "Řízení 6-ti osého manipulátoru." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220912.
Full textAbstract:
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.
34
Dvorský, Petr. "Datový koncentrátor." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442455.
Full textAbstract:
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.
35
Freercks, Stefan [Verfasser]. "Comparison of the magnetic properties of ferromagnetic films and nanostructures / Stefan Freercks." Hamburg : Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2020. http://d-nb.info/1223621049/34.
Full text
36
Záplata, Filip. "Algoritmy zpracování signálu na platformě AVR32." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2011. http://www.nusl.cz/ntk/nusl-219102.
Full textAbstract:
Master‘s thesis reviews the characteristics of the AVR32 architecture, AVR32UC microarchitecture, and especially AT32UC3A0512 microcontroller. This microcontroller is mounted on the board EVK1100, which is used for debugging applications. The entire analysis is focused on the ability to process audio signals on this board. For the board is created AD/DA interface and its control library. Follows necessary description of used DSP-lib library. The last part is a description of the theory and implementation of two sound effects and implementation of operating system FreeRTOS.
37
Cunha, Virgílio André Mendes. "Hardware thread model for FPGA accelerated FreeRTOS." Master's thesis, 2016. http://hdl.handle.net/1822/48460.
Full textAbstract:
Dissertação de mestrado integrado em Engenharia Electrónica Industrial e Computadores (área de especialização em Sistemas Embebidos)Um sistema embebido é um sistema computacional, especificamente desenhado para o desempenho de um conjunto de tarefas restrito, sendo este normalmente um subsistema de um sistema maior e muitos destes sistemas recorrem à utilização de sistemas operativos, uma vez que estes promovem uma gestão eficiente dos recursos, oferecendo um conjunto de serviços para além de suporte e abstração de hardware, promovendo a portabilidade e a reutilização. Existem sistemas que enfrentam restrições temporais, sobre as quais o incumprimento de um deadline pode comprometer a integridade e a funcionalidade do sistema, estes são sistemas vulgarmente conhecidos como sistemas de tempo real ou com requisitos de tempo real e para este tipo de sistemas existem sistemas operativos específicos que visam o cumprimento destes requisitos, favorecendo a previsibilidade e o determinismo. A redução do overhead computacional, paralelização e o offloading de computação para dispositivos como o FPGA, são apontadas como medidas complementares. Com esta dissertação pretende-se implementar um modelo de tarefas de hardware e alguns serviços do sistema operativo FreeRTOS em hardware dedicado, tirando partido do paralelismo natural que o hardware oferece e da sua natureza determinística, nomeadamente o gestor de tarefas, escalonador, temporizador e controlador de interrupções, toda a implementação deve seguir o modelo implementado pelo sistema operativo tornando a implementação o mais transparente possível, por forma a favorecer a migração de tarefas de software para o FPGA. Com esta implementação serão criadas duas novas arquiteturas do sistema em que o utilizador poderá selecionar a mais pertinente ao projeto a ser implementado, sendo que o sistema dará então a possibilidade de usar o sistema operativo somente a ser executado em software ou correr o sistema operativo com os serviços migrados em hardware, ou escolher utilizar o sistema operativo em software com recurso a tarefas em hardware.
An embedded system is a computer system specifically designed for the performance of a restricted set of tasks, which is typically a subsystem of a larger system, and many of these systems involve the use of operating systems, since these promote efficient resource management offering a range of services as well as support and hardware abstraction, promoting the portability and reuse. There are systems that have time constraints, on which the failure of a deadline can compromise the integrity and functionality of the system, these are systems known as real-time systems or real-time requirements and such systems are specific operating systems aimed at meeting these requirements, favoring the predictability and determinism. The reduction of computational overhead, parallelization and offloading computing to devices such as FPGA, are seen as complementary measures. With this dissertation aims to implement a hardware thread model and implementation of some operating system services FreeRTOS on dedicated hardware, taking advantage of the natural parallelism that the hardware provides and its deterministic nature, including the task manager, scheduler, timer and interrupt controller, the entire implementation should follow the model implemented by the operating system making the most transparent possible implementation, in order to promote the migration of software tasks to the FPGA. With this implementation will create two new system architectures that the user can select the most relevant to the project to be implemented, and the system will then give the possibility to use the operating system only to be executed in software or run the operating system with services migrated to hardware, or choose to use the operating system software using the tasks in hardware.
38
Lima, Diogo Alexandre da Silva. "Porting sloth system to FreeRTOS for ARM Multicore." Master's thesis, 2015. http://hdl.handle.net/1822/54609.
Full textAbstract:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e ComputadoresThe microprocessor industry is in the midst of a dramatic transformation. Up until recently, to boost microprocessors’ performance it was solely relied on increasing clock frequency. Nowadays, however, the power consumption requirements, coupled with the growing consumer demand, made the industry shift their focus from singlecore to multicore solutions, which offer an increase in performance, without a proportional increase in power consumption. The embedded systems field is no exception and the trend to use multicore solutions has been rising substantially in the last few years. Managing control flow is one of the core responsibilities of an operating system. Bearing this in mind, operating systems suffer from the existence of a bifid priority space, dictated by the co-existence of synchronous threads, managed by kernel scheduler, and asynchronous interrupt handlers, scheduled by hardware. This induces a well-identified problem, termed rate-monotonic priority inversion. Regarding safety-critical real-time systems, where time and determinism play a critical role, the inherent possibility of delayed execution of real-time threads by hardware interrupts with semantically lower priority can have catastrophic consequences to human life. Within this context, this dissertation presents the extension of a previous ’inhouse’ project, by proposing the implementation of a unified priority space approach (Sloth) in a multicore environment. To accomplish this, it is proposed the offloading of the scheduling decisions and synchronization mechanisms to a Commercial Off-The-Shelf (COTS) hardware interrupt controller (removing the need for a software scheduler) on an ARM Cortex-A9 MPCore platform.
A indústria de microprocessores está envolta numa transformação dramática. Até recentemente, para impulsionar a performance, a indústria dependia somente do aumento gradual da frequência de relógio. Atualmente, os requisitos de consumo energético, conjugados com as crescentes exigências do consumidor, levaram a indústria a mudar o seu foco de soluções singlecore para soluções multicore. Estas oferecem um aumento substancial de performance, sem o proporcional aumento de consumo energético, característico das arquiteturas singlecore. Os sistemas embebidos não são excepção e a tendência para a utilização de soluções multicore tem aumentado substancialmente nos últimos anos. Uma das principais responsabilidades de um sistema operativo é a gestão do fluxo de controlo. Neste contexto, os sistemas operativos sofrem da existência de um espaço de prioridades bifurcado, caracterizado pela existência de tarefas, geridas pelo escalonador do kernel (software) e de interrupções, escalonadas por hardware. Introduz-se, assim, um problema bem identificado na comunidade científica, denominado rate-monotonic priority inversion. Em sistemas de tempo real, em que a segurança assume um papel fulcral e onde a performance e o determinismo são essenciais, a possibilidade da execução de tarefas de elevada prioridade ser atrasada, por interrupções de hardware com prioridade semântica inferior, pode ter consequências catastróficas para a vida humana. Neste sentido, esta dissertação apresenta a extensão de um trabalho anterior, propondo a implementação de um espaço de prioridades unificado (Sloth), num ambiente multicore. Assim sendo, é proposto o offloading do escalonador e mecanismos de sincronização para o controlador de interrupções (hardware) numa plataforma ARM Cortex-A9 MPCore.
39
Shie, Dong-Sun, and 許東山. "FREERTOS Based Micro Embedded System with Dynamic Webpage control Capability." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/80233714388148133968.
Full textAbstract:
碩士國立臺灣科技大學
電子工程系
100
LED/LCM and key pad are the most common way for user interface (UI) to do human-machine interactions and information display. The single task embedded system can handle this functionality easily. However, when the system full with information and complicated, simple human-machine interface design could not handle these complicated operations effectively and thus be very unfriendly and even dangerous to users. Recently, control through Ethernet, TCP/IP and WEB-GUI is becoming more and more popular. This not only gets rid of weakness of the traditional LED/LCM and Key pad operation, which unable able to tackle complicated settings, but also makes remote control possible. With a mobile device, users in remote location can conveniently communicate and control the embedded system. Traditionally embedded, HTTP and Browser systems can only handle text information from hyperlinks, not interactive UI operations. To improve this on the embedded system with limited resources, the design a cortex-M3 embedded control system based on jQuery, AJAX uses FreeRTOS, and LWIP to realize remote control through web applications. The intension of the design is to enhance controller performance and facilitate user interface operation. According to our implementation and testing results, the architecture of the system is highly feasible and reliable. It can be used on a diversity of platforms to perform the WEB-GUI control function. Because the system cost is low compare with full Linux-based system or PC-based system, it can be applied in simple and reliable industrial controls, unmanned data acquisition systems, and distributed remote control systems.
40
Kunčar, Jiří. "ProCom middleware." Master's thesis, 2013. http://www.nusl.cz/ntk/nusl-329833.
Full textAbstract:
The goal of this thesis is to develop and implement parts of a middleware that provides necessary support for the execution of ProCom components on top of the real-time operating system FreeRTOS. The ProCom is a component model for embedded systems developed at Mälardalen University. The primary problem is finding an appropriate balance between the level of abstraction and thoughtful utilization of system resources in embedded devices. The defined target platform has limitations in comparison to general purpose computer. These include constraints in available resources such as memory, CPU or bandwidth together with strict requirements in terms of worst-case response time and reliability. We have to also face the problem of limited debugging facilities or their complete absence. In this project, we have examined differences between several real-time and non real- time operating systems. We focus on finding a common subset of core functions that the system must support in order to ensure adequate support for running designed components. We have also identified and tested the suitable libraries to support different types of communication especially TCP/IP. However, we are keenly aware of the limitations of used communication types for analysis of the behavior of real-time systems.
41
Jhong-WeiSyu and 徐仲緯. "Porting Open Source EtherCAT Master Software Stack to ZedBoard Running FreeRTOS." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/5742j9.
Full text
42
Khomenko, M., and O. Velihorskyi. "The Use of Percepio Tracealyzer for the Development of FreeRTOS-based Applications." Thesis, 2020. https://openarchive.nure.ua/handle/document/17538.
Full textAbstract:
This paper discusses some problems of development and testing of FreeRTOS-based application. The use of Tracealyzer software tool is proposed to make this process more convenient. The benefits of such usage have been shown on typical issues that can be met in development and debug phase.
43
Chou, Hao, and 周澔. "A Performance Comparing of μC/OS-II and FreeRTOS Real-Time Operating Systems on PTK Development." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/5kya9d.
Full textAbstract:
碩士國立高雄第一科技大學
資通訊服務創新產業碩士專班
102
This study considers two real-time operating systems, μC/OS-II and FreeRTOS applied on the PTK development kit. Using a software method is used to compare the performances of the kernels of μC/OS-II and FreeRTOS. This study aims to understand the characteristics of different operating systems, such as RTOS embedded in limited hardware for maximum efficiency of complex applications.
44
Yang, Yun-Si, and 楊盷羲. "Porting of FreeRTOS with real-time Adaptive Noise Canceller and Bluetooth Transmission on ARM Cortex M0." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/87870614214021948049.
Full textAbstract:
碩士東南科技大學
電機工程研究所
101
Considering the rapid arrival of aging population society in Taiwan, the prevalence of the Android platform, and the competitive price of the 32 bits Cortex-M microcontroller by ARM corp., the long-term home-care medical instruments combined with cloud medical services become more and more important in the future. This study adopts a cheap Cortex-M0 microcontroller ($0.5pcs or so for asking price) and uses its embedded ADC to convert two analog input signals, then the digital signals are processed by adaptive noise canceller (ANC). The experiments are arranged to use different step size to observe the filtering effect of interference and noise by different frequency and amplitude in order to discover the stable system structure for mass manufacture of individual mobile medical instruments. The last part of this study is transferred the output of ANC to Android terminal by bluetooth protocol. The whole system realizes a individual mobile acquisition and transmission system for biomedical signals.
45
Divakaran, Sumesh. "A Refinement-Based Methodology for Verifying Abstract Data Type Implementations." Thesis, 2015. http://etd.iisc.ac.in/handle/2005/3744.
Full textAbstract:
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.
46
Divakaran, Sumesh. "A Refinement-Based Methodology for Verifying Abstract Data Type Implementations." Thesis, 2015. http://etd.iisc.ernet.in/2005/3744.
Full textAbstract:
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.
47
Freitas, Leonel Dinarte Camacho. "Low cost loT monitoring solution for increased student awareness on campus." Master's thesis, 2021. http://hdl.handle.net/10400.13/3594.
Full textAbstract:
O preço do equipamento eletrónico tem descido acentuadamente nas últimas décadas.
Este decréscimo favoreceu um crescimento exponencial de todo o tipo de dispositivos
eletrónicos, a ubiquidade destes dispositivos torna-os quase indissociáveis dos seus
utilizadores. Uma das áreas a beneficiar e igualmente a potenciar esse crescimento é a
Internet das Coisas, IoT, ou seja, a possibilidade de uma ligação constante e de partilha
de dados entre os mais diversos dispositivos. Em paralelo com o uso de soluções de índole
comercial, tem surgido dispositivos de custo reduzido como o Arduino, que permitem
criar pequenos projetos IoT de forma económica. Para além destes, outros produtos tais
como as boards da Espressif Esp8266 e ESP32 já com ligação Wi-Fi incluída tem ganho
notoriedade em anos recentes. O objetivo deste projeto foi precisamente o
desenvolvimento de um sistema de recolha de dados de baixo custo e autónomo, que
tenha utilidade para os seus utilizadores, especialmente num contexto académico
utilizando o ESP32 da Espressif como base. Este sistema visa recolher dados ambientais
tais como temperatura, humidade, nível de ruído, e através do uso dos sinais Wi-Fi
emitidos pelos dispositivos móveis, tentar estabelecer a estimativa da ocupação de uma
determinada localização. Esta informação recolhida deverá ser disponibilizada à
comunidade académica tornando possível, por exemplo, aos alunos selecionar a melhor
sala de estudo baseando-se na sua ocupação, ou nível de ruido. Os principais componentes
destes projetos são os ESP32s e os respetivos sensores, denominados de SensingBox, e a
componente de software e infraestrutura associada para processar os dados recolhidos,
interagir com as SensingBox e permitir a visualização dos dados recolhidos.
Além deste objetivo primário é importante fazer uma análise exploratória das
potencialidades desta plataforma em projetos de baixo custo assim como as metodologias
de desenvolvimento para a mesma. De certa forma este projeto visa em parte servir de
guia para quem esteja a desenvolver um projeto de natureza similar. O sistema
desenvolvido foi testado em dois contextos, um para aprimorar o sistema num contexto
doméstico, e outro no contexto para o qual havia sido idealizado, ou seja, no Campus da
Universidade da Madeira.In the last decades there has been a steep decrease in the price of electronics. This decrease has favored an exponential increase of all types of consumer electronics. The ubiquity of these devices makes them almost inseparable from their users. One area benefiting and at the same time further increasing this ubiquity is the Internet of Things, IoT, in other words the possibility of having a constant connection and data sharing amongst the most diverse devices. In parallel with the development of IoT solutions designed for Industrial use, some other low-cost devices such as the Arduino have appeared, which enable the development of small IoT projects economically. Besides the Arduino other products such as the ESP8266 and ESP32 boards by Espressif have been gaining popularity in recent years. The aim of this project is the development of a low cost, autonomous monitoring solution that is of use for the academic community. This system should collect environmental data such as temperature, humidity, noise pollution and make an estimation of the occupancy of a certain zone through the ubiquity of mobile devices by capturing their Wi-Fi request probes. The information collected will be made available for the academic community, giving the possibility of students to select the best study room based on the occupancy or noise level of the different rooms. The main constituents of the project are the ESP32s with the associated sensors named Sensing Boxes, and the necessary software component and infrastructure to process the data collected and provide it to interested parties. In addition to this main objective, it is important to understand and document the potentialities of the ESP32 in low-cost projects as its development methodologies available. In a sense provide a guideline of the most important topics about this board and some sensors for anyone developing a project of similar nature. The system was tested in two contexts, one of domestic nature, and in order to fine tune and debug the system, the other in the context to which it was originally idealized, the campus of University of Madeira.