|
|
Schedulability Analysis of Real-Time Tasks under Uncertainty
Čus, Samuel ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
The goal of this bachelor’s thesis is to familiarize with real-time systems, uncertainties and scheduling mechanisms related to these systems, statistical model checking, as well as the design and implementation of an approach to schedulability analysis under uncertainties, creating suitable sets of real-time tasks, and verifying their schedulability using the approach. I have mainly incorporated uncertainties caused by system interruptions and undeterministic task parameters. To address the given problem, I created a set of tasks, incorporated uncertainties into the system, and analyzed the schedulability of the tasks. The system modeling and analysis were conducted using the UPPAAL SMC tool, and, for comparison, also using the Cheddar tool with selected sets of tasks.
|
|
|
Operating System for Embedded Applications Control
Kolarík, Tomáš ; Strnadel, Josef (referee) ; Šimek, Václav (advisor)
This thesis deals with selection of operating system for embedded control unit of steam sterilizer with color touch screen. Theoretical part of the thesis deals with the architecture of embedded systems and operating systems with focus on process management. In addition, the thesis deals with a device for which the operating system is selected, the reason for its implementation, advantages and disadvantages in the control system. The thesis also contains categorization of operating systems by way of use. Of these, two open source operating systems eCos and FreeRTOS are described more thoroughly. The code of FreeRTOS was modified from GCC compiler to IAR compiler. The last part of the thesis describes architecture and functionality of the created demo application. Using the touch screen and color display, the application enables drawing of color schemes, which can be transferred to a computer using serial communication.
|
|
| |
|
| |
|
|
Operating System for Embedded Applications Control
Kolarík, Tomáš ; Strnadel, Josef (referee) ; Šimek, Václav (advisor)
This thesis deals with selection of operating system for embedded control unit of steam sterilizer with color touch screen. Theoretical part of the thesis deals with the architecture of embedded systems and operating systems with focus on process management. In addition, the thesis deals with a device for which the operating system is selected, the reason for its implementation, advantages and disadvantages in the control system. The thesis also contains categorization of operating systems by way of use. Of these, two open source operating systems eCos and FreeRTOS are described more thoroughly. The code of FreeRTOS was modified from GCC compiler to IAR compiler. The last part of the thesis describes architecture and functionality of the created demo application. Using the touch screen and color display, the application enables drawing of color schemes, which can be transferred to a computer using serial communication.
|
|
|
Efficient implementation of Stockwell Transform for real-time embedded processing of physiologic signals
Holmes, D. ; Pinto, S.C. ; Felton, Ch. ; Smítal, L. ; Leinveber, P. ; Jurák, Pavel ; Gilbert, B. ; Haider, C.
Physiologic monitoring enables scientists and physicians to study both normal and pathologic signals of the body. While wearable technologies are available today, many of these technologies are limited to data collection only. Embedded processors have minimal computational capabilities. We propose an efficient implementation of the Stockwell Transform which can enable real-time time-frequency analysis of biological signals in a microcontroller. The method is built upon the fact that the Stockwell Transform can be implemented as a compact filter bank with pre-computed filter taps. Additionally, due to the long tails of the gaussian windowing function, low amplitude filter taps can be removed. The method was implemented on a TI MSP430 processor. Simulated ECG data was fed into the processor to demonstrate performance and evaluate computational efficiency.
|
|
| |
|
|
Punch Press Simulator
Královec, Jiří ; Bureš, Tomáš (advisor) ; Obdržálek, David (referee)
This work tries to remedy the practical part of teaching development of software for real-time systems. It does so by creation of a platform on which students can practically learn aspects of development of software for real-time systems. % (feedback control, low level programming). The resulting platform consists of a plant, a visualizer and a controller. The plant represents an industrial machine, the visualizer displays the current state of the plant. The controller drives the plant. Students learn by developing a program for the controller. The resulting platform is realized as a hardware-in-the-loop simulation -- the controller's processor and devices are real hardware, and the plant is a simulated device. The platform has a low cost, low space requirements and it is not easily breakable. Powered by TCPDF (www.tcpdf.org)
|
|
|
Mode Change in Real-time Component Systems
Outlý, Matěj ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
The goal of the thesis is to examine possibilities of dynamic reconfiguration in real-time component systems, especially to formally describe support of operating modes. The thesis introduces a reconfiguration mechanism based on properties and relations between them. The mechanism is designed to facilitate a straight forward modeling of operating modes and reconfiguration rules and preserves re-usability of assembled components. The thesis also presents a realization of the mechanism suitable for the domain of embedded real-time systems.
|
|
| |
guest ::
