National Repository of Grey Literature 334 records found  beginprevious304 - 313nextend  jump to record: Search took 0.01 seconds. 
Analysis of Real-Time Operating System Kernels Running on FITkit
Rajnoha, Peter ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
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.
Design and Implementation of a Tool for Formal Verification of Systems Specified in RT-Logic Language
Fiedor, Jan ; Straka, Martin (referee) ; Strnadel, Josef (advisor)
As systems complexity grows, so grows the risk of errors, that's why it's necessary to effectively and reliably repair those errors. With most of real-time systems this statement pays twice, because a single error can cause complete system crash which may result in catastrophe. Formal verification, contrary to other methods, allows reliable system requirements verification.
Design of a Generic LCD Driver
Hornung, Tomáš ; Kubek, Ján (referee) ; Strnadel, Josef (advisor)
The master thesis deals with controlling and function principles of LCDs. Various LCD types are described, as well as means of control and generic description of LCD controller function blocks. They are implemented in VHDL language, simulation and simulation results are realized using FITkit platform.
Adaptive Traffic Junction Controller
Hudec, Karel ; Straka, Martin (referee) ; Strnadel, Josef (advisor)
This work will study intelligent systems for traffic control and will design an application which will control existing traffic junction. From formal specification to an implementation. It will be a real time application. That means it will work in real time. We will also study real time operating systems and we will choose the most suitable for our application and we will implement our application on this operating system.
Mechanisms for Scheduling RT Tasks during Lack of Computational and Energy Sources
Pokorný, Martin ; Vašíček, Zdeněk (referee) ; Strnadel, Josef (advisor)
This term project deals with the problem of scheduling real-time tasks in overload conditions and techniques for lowering power consumption. Each of these parts features mechanisms and reasons for their using. There are also described specific algorithms, that are implemented, in operating system uC/OS-II, and compared in next phase of master's thesis.
Disk Drive Based on FLASH Memory
Dvořák, Miroslav ; Strnadel, Josef (referee) ; Šimek, Václav (advisor)
The work deals with flash technology, the history of its development, current application of this technology and discusses the advantages and disadvantages of flash memories. It describes the integration of flash technology into mass storage devices and commonly used mechanisms that suppress the flash shortcomings for such application. The next part of the work focuses on analysis of commonly used buses for flash storage devices. Based on these theoretical foundations, text presents way to develop own flash based disk. The work focuses mainly on finding the most accessible platform for connecting the disk to personal computers - USB, on PCB design for storage module in Eagle CAD and implementation of necessary firmware for MCU and VHDL design for FPGA, that provide the disk functionality. At the end the work summarizes the results and outlines the way of further development.
QDevKit Project Designer
Šimek, Petr ; Strnadel, Josef (referee) ; Vašíček, Zdeněk (advisor)
The purpose of this thesis is to introduce a reader with existed commercial applications and control the FITkit using QDevKit. The main goal of the thesis is proposed and implemeted modul for application QDevKit which makes easy proposal and progress applications for platform FITkit.
Comparing RT Properties of 8-Bit and 32-Bit Implementations of the uC/OS-II Kernel
Šubr, Jiří ; Zachariášová, Marcela (referee) ; Strnadel, Josef (advisor)
This thesis concerns of benchmarking $\mu$C/OS-II systems on different microcontroller architectures. The thesis describes COS-II microcontroller core and possible series of benchmark tests which can be used. Selected tests are implemented and measured properties of microcontrollers with different architecture are compared.
DMA Support for HCS08 Microcontrollers Family
Novosád, Adrián ; Strnadel, Josef (referee) ; Šimek, Václav (advisor)
Embedded systems are dedicated to perform specific tasks, so design engineers can optimize them to reduce the size and cost of the product and increase the reliability and performance. However, result of these optimizations is that some architectures may lack commonly used technologies such as direct memory access (DMA). We may encounter with this situation in family of microcontrollers HCS08. The main theme of this work is to describe a design of DMA controller that can be added into the family of microcontrollers HCS08.
VHDL Design of Robot Controller for Autonomous Robot Movement in Maze
Podivínský, Jakub ; Strnadel, Josef (referee) ; Zachariášová, Marcela (advisor)
This master thesis describes design and implementation of a robot controller for autonomous movement in a maze. Robot represents an exemplary system, which is designed for testing and validation of fault-tolerance methodologies. A part of this work contains introduction to reliability of digital systems, especially those which are based on Field Programmable Gate Array (FPGA). Moreover, this introduces techniques that ensure robustness against faults in digital systems; attention is devoted to the usage of FPGA technology in this area and a technique called partial dynamic reconfiguration.

National Repository of Grey Literature : 334 records found   beginprevious304 - 313nextend  jump to record:
See also: similar author names
2 Strnadel, Jan
Interested in being notified about new results for this query?
Subscribe to the RSS feed.