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.

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.

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.

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.

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.

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.

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).

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.

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

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-16 / This 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.