|
|
Detecting RTOS Runtime Anomalies
Arm, Jakub ; Jalovecký, Rudolf (referee) ; Blecha, Petr (referee) ; Bradáč, Zdeněk (advisor)
Due to higher requirements of computational power and safety, or functional safety ofequipments intended for the use in the industrial domain, embedded systems containing areal-time operating system are still the active area of research. This thesis addresses thehardware-assisted control module that is based on the runtime model-based verificationof a target application. This subsystem is intended to increase the diagnostic coverage,particularly, the detection of the execution errors. After the specification of the architecture,the formal model is defined and implemented into hardware using FPGA technology.This thesis also discuss some other aspects and embodies new approaches in the area ofembedded flow control, e.g. the integration of the design patterns. Using the simulation,the created module was tested using the created scenarios, which follow the real programexecution record. The results suggest that the error detection time is lower than usingstandard techniques, such a watchdog.
|
|
|
Design and Implementation of Functional Units of an Application for Demonstration of Image Processing Methods
Fadrhonc, Pavel ; Váňa, Jan (referee) ; Orság, Filip (advisor)
The thesis is dealing with implementation of IMPRODEMO image processing application. Author has used existing image processing libraries and has implemented complex application with modern user interface. In order to develop the application, he used framework WPF, method for developing application using tests called Test Driven Development, design pattern MVVM and MEF tool for easy integrating of extensions. Chapter two deals with these technologies and methodologies and describes them. Third chapter describes design of application and presents class diagrams. Fourth chapter describes test driven development and particular pitfalls that emerged from using this methodology. Fifth chapter presents the mean of integrating code written in C++ language into .NET framework and into C# language. At the end, whole work is summarized, resuls are defined and possibilities of resuming and extending the work are proposed.
|
|
|
Library for database access in PHP language
Ondra, Martin ; Šimek, Milan (referee) ; Kacálek, Jan (advisor)
Bachelor thesis describes modern website scripting language PHP, MySQL database and very closely describes functionality of Model-View-Controller design pattern, which can be used in programming database-oriented aplications. On the basis of described theoretics findings is build a library in PHP and MySQL, which matches Model from Model-View-Controller design pattern.
|
|
|
Renovation of a Ground School Information System
Bárta, Michal ; Rychlý, Marek (referee) ; Jaša, Petr (advisor)
The objective of this study is to modernize information system of Kamenice primary school and its components. Modernization concerns of the current application analysis and requirements for its use, then design a structure of new, modern and effective management system. Conditions of realization is to implement designed system in any PHP framework. Modernization also covers the data model and database structure, including the addition of transactions and integrity constraints in terms of export and preserving the original database data.
|
|
|
Netfox Detective Tool Refactorization
Slámová, Hana ; Polčák, Libor (referee) ; Pluskal, Jan (advisor)
This semestral thesis deals with usage of design patterns in a network tool Netfox Detective. The thesis contains analysis and identification of issues regarding their implementation. Also, a description of writing unit tests for a part of application is present and its automation. This thesis describes Netfox Detective contribution process as well.
|
|
| |
|
|
Medical System Based on IZIP and Its Security
Janečka, Lukáš ; Křena, Bohuslav (referee) ; Jurka, Pavel (advisor)
The work discusses the analysis, proposal and implementation of simplified outpatient information system of general practitioner (GP), which communicates with IZIP information system. The proposal of system uses the Model-View-Controller architecture; the design patterns and subject simulated technique use UML. The way of communication with IZIP system, the structure of sent data and the communication security is also described in the work. C++ programming language is used for the implementation of the proposed system, parser Xerces-C++ for XML documents processing, toolkit Qt for graphical user's interface; and the data are stored into the Firebird relational database.
|
|
|
Graphical Editor of Simulation Models
Hořák, Jan ; Hrubý, Martin (referee) ; Peringer, Petr (advisor)
This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.
|
|
|
Design Patterns for Web Applications
Dudek, Jan ; Rychlý, Marek (referee) ; Zendulka, Jaroslav (advisor)
With the coming of the web a brand new type of client-server applications based on standard web technologies has started to appear. These technologies are available on an overwhelming majority of client stations and don't need any additional software to be installed. As a result web applications have gained popularity among both users and developers and are currently deployed not only on the Internet, but also on company intranets. Considering present expansions of such applications it is important to summarize tested and approved approaches usable in their design. And it is this particular work that describes the chosen design patterns applicable in web applications development and demonstrates their usage on both concrete existent systems and a custom sample application.
|
|
|
System for Telemarketing Company
Dušek, David ; Rychlý, Marek (referee) ; Trchalík, Roman (advisor)
Thesis contains design and implementation of information system for Telemarketing Company. System is implemented in PHP language supported by Zend Framework. Used framework is properly described in this thesis, as well as related software pattern MVC and design pattern Front Controller. There is also explanation of Data Mapper design pattern.
|
guest ::
