|
Information System of Town
Bílek, Roman ; Bidlo, Michal (referee) ; Straka, Martin (advisor)
This working handle with about information system of the market-town Zubříč. The introduction describes the present state of the information systems of the villages and towns. Further there are determitation as well as illustrate the notions, which are related whith this problems. Next part describes the dismemberment of system. In this part are illustrated the individual role of participants, including their reason.The conclusion of the work describes the way of the testing and the other expansion into the future.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Gramatová, Elena (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Program for Dog Pedigree Management
Gorzolka, Lukáš ; Straka, Martin (referee) ; Kaštil, Jan (advisor)
This bachelor´s thesis deals with a project and system implementation of a program for dog pedigree management in Java. The suggested program is cross-platform and also able to realise operations with the database of dogs. It is enable to browse family trees of dogs and find out the best dog for mating a selected female dog. In the conclusion benefits of this application are evaluated. Other posibilities of its extension have also been mentioned.
|
| |
|
Presentation System of Music Club
Jurák, Adam ; Chmelař, Petr (referee) ; Straka, Martin (advisor)
The aim of this work was to design and implement a web presentation system according to requirements of the music club regarding to the rules of accesability and usability. This system will be used to club presentation on the internet and to inform the visitors. This system was implemented in HTML, PHP, CSS and MySQL.
|
| |
|
Methodology of Inserting Checkers into Digital System
Bartl, Michal ; Straka, Martin (referee) ; Kotásek, Zdeněk (advisor)
The topics described in this diploma thesis belong to the area of digital systems testability analysis. Basic concepts as dependability, controllability, observability and testability are explained. Methods of raising testability and dependability of digital circuits are mentioned including the metrics which allow to evaluate testability parameters. Furthermore, the thesis describes the formal model of digital systems which introduces the implementing part of the thesis. Within this part, a program tool is demonstrated, which allows to identify the components of digital circuits and their function. The other function of the program tool is to create control circuits that check the correct function of such digital circuits.
|
| |
|
Communication Board for Operation of Cutting Tables Systems
Bačík, Zdenko ; Straka, Martin (referee) ; Šimek, Václav (advisor)
The thesis deals with the issue of implementing a PCI interface controller utilizing the FPGA technology. It describes the design and the implementation of a PCI communication card, which is used to control servomotors in cutting machines. In the thesis, the steps taken in designing and implementation of hardware and software parts of the communication card are discussed. The result of the thesis is a functional piece of equipment, which is to be manufactured.
|
|
Memory System Management for Colibri XScale PXA270 Platform
Mačišák, Lukáš ; Straka, Martin (referee) ; Šimek, Václav (advisor)
This Bachelor's Thesis describes platform Colibri XScale PXA270, analyses potential usage of DMA transfers on this platform and describes principles of work with flash and SDRAM memories. Thesis includes design and implementation of firmware for servicing memory systems on this platform. One part of this thesis is also the description and implementation of tests for semiconductor memories with random access. The demonstrative application is implemented to show usage and functionality of this firmware.
|