|
|
Home alarm system
Kurysheva, Ekaterina ; Hnětynka, Petr (advisor) ; Kofroň, Jan (referee)
The thesis defines a software solution for a home alarm system based on Raspberry Pi computer. It follows the Internet of things concept to put together simple and affordable hardware components. In this thesis, we analyse how to control the alarm system, how to detect an intrusion and capture pictures of the event and how to notify the user. Then we create a solution architecture, which meets the defined functional requirements. The architecture contains a security application controlling hardware on Raspberry Pi, a web application for managing the users, a server and an Android application for delivering the notifications and pictures. The result of this thesis is an implementation of a commercially independent home alarm system, which uses RFID tokens for user identification, detects the intrusion with a motion sensor, takes pictures with a USB camera and delivers the captured information to the Android application on the user's mobile device.
|
|
|
Java Performance Testing For The Masses
Stefan, Petr ; Tůma, Petr (advisor) ; Hnětynka, Petr (referee)
Java is a major platform for performance sensitive applications. Unit testing of functionality has already become a common practice in software devel- opment; however, the amount of projects employing performance tests is substantially lower. A comprehensive study in combination with a short sur- vey among developers is made in order to examine the current situation in open-source projects written in Java. Results show that suitable tools for measurements exist, but they are hard to use or the outputs are difficult to understand. To improve the situation in favor of performance evaluation a set of user friendly tools for collecting, comparing and visualizing the data is designed, implemented, and verified on a sample Java project. 1
|
|
|
A virtual playground for DEECo applications
Khalyeyev, Danylo ; Hnětynka, Petr (advisor) ; Parízek, Pavel (referee)
DEECo is a novel component model for designing software-intensive cyber- physical systems. As a practical realization of this model there was developed the JDEECo implementation, written in Java. The usage of this framework was shown in a number of different scenarios. However, at the moment there are only limited ways to systematically create, simulate, and visualize new scenarios written with this model. This thesis presents a virtual playground that allows to create scenarios featuring autonomic robots programmed in DEECo. The playground offers a number of options in creation of scenarios, including pro- gramming robots and their interactions, customizing and extending the physical environment, and adding interactive objects. These scenarios can also be visu- alized with the developed application. The parameters of visualization can be customized for needs of a specific scenario. The functionality of the application is demonstrated on several example scenarios.
|
|
|
Anzora: Zotero klient pro Android
Hanzeli, Michal ; Kofroň, Jan (advisor) ; Hnětynka, Petr (referee)
The goal of this thesis was to create client application Anzora for mobile devices with Android OS that would allow access and management of the Zotero database. The application will be used mostly as an addition to an existing desktop version and therefore, it will be focused on accessing personal Zotero library and attachments in online and offline mode. It will also allow for editing existing items, adding new items, and synchronization with the server database. This thesis contains a description of functionality of the application and its design and implementation. At the end, we compare it with existing applications and present the problems we have encountered while testing them.
|
|
|
Monitoring Tool for Distributed Java Applications
Háva, Jakub ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
The main goal of this thesis is to create a monitoring platform and library that can be used to monitor distributed Java-based applications. This work is inspired by Google Dapper and shares a concept called "Span" with the aforementioned project. Spans represent a small specific part of the computation and are used to capture state among multiple communicating nodes. In order to be able to col- lect spans without recompiling the original application's code, instrumentation techniques are highly used in the thesis. The monitoring tool, which is called Distrace, consists of two parts: the native agent and the instrumentation server. Users of the Distrace tool are supposed to extend the instrumentation server and specify the points in their application's code where new spans should be created and closed. In order to achieve high performance and affect the running appli- cation at least as possible, the instrumentation server is used for instrumenting the code. The Distrace tool is aimed to have a small foot-print on the monitored applications, should be easy to deploy and is transparent to target applications from the point of view of the final user. 1
|
|
|
Smart Infrastructure Visualization
Filípek, Tomáš ; Hnětynka, Petr (advisor) ; Kofroň, Jan (referee)
Computational power of mobile devices has been continuously improving in the recent years. One of the benefits which it brings, is feasibility of new kinds of distributed systems, such as Ensemble-Based Component Systems (EBCS). For practical reasons, EBCS systems are usually tested using simulations before being released. However, it can be difficult to interpret the simulation output, as it is usually contained in XML format, which is more suited to be read by machines than by people. We provide a visualizing application, which creates a graphical representation of such a simulation output. Out of the box, it is able to visualize data from applications built on top of the JDEECo component model, but it can be easily modified to accept output from different EBCS applications. It is able to visualize both components and ensembles and provides a scripting interface to modify the graphical output. In addition, it has an extensibility mechanism for adding new functionalities. Our benchmarking shows that the application is expected to run reasonably fast in typical scenarios.
|
|
|
Model-Driven Development of Software-Intensive Cyber-Physical Systems
Gerostathopoulos, Ilias ; Hnětynka, Petr (advisor) ; Seinturier, Lionel (referee) ; Crnkovic, Ivica (referee)
Software-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to be both dependable and flexible to adapt to changes in their dynamic environments. This combination poses challenges in their design and development, as traditional model-driven design and development techniques cannot account for both dependability and self-adaptivity. The thesis proposes (1) a new, model-based design process for siCPS, which comprises both appropriate methods and models and deals with dependability and self-adaptivity, and (2) a mapping of the design models to implementation-level abstractions, which allows for model-driven development and early experimentations in siCPS. Specifically, the thesis delivers (1) by introducing and elaborating on the Invariant Refinement Method (IRM), and its extension for self-adaptivity, for the design of siCPS based on the ensemble paradigm. IRM was integrated into the ensemble development life cycle, a methodology for the development of autonomic ensemble-based systems. Contributing to (2), the thesis provides a mapping of the IRM concepts to the concepts of the DEECo components model. The mapping is supported by prototype...
|
|
|
Flexible Event Processing Subsystem for the Java Performance Monitoring Framework
Júnoš, Peter ; Bulej, Lubomír (advisor) ; Hnětynka, Petr (referee)
Java Performance Measurement Framework (JPMF) is a framework dedicated to description of points, where the performance is measured. This description is used to gather performance data in these running points. Data are gathered and written without any processing. The handling increases bandwidth and puts high load on the storage. JPMF does not provide any possibility for user to reduce this data. This thesis aims to solve the described problem by introduction of filtering and aggregation, that should reduce the bandwidth. Additionally, performance bottlenecks in various parts of JPMF are investigated and removed. Powered by TCPDF (www.tcpdf.org)
|
|
|
Data Modeling for Static Analysis of Web Applications
Baštecký, Pavel ; Hauzar, David (advisor) ; Hnětynka, Petr (referee)
The PHP is a very popular language which is used to write a server side part of web applications. The language is very simple to use and there are lots of small or more complex pages across the internet. But the great widespread of the PHP attracts the people which want to harm and compromise security of the web applications. The weverca analyzer is the first tool which is able to perform complex security analysis of a full page written in the modern version of the PHP and give information about possible security risks in the application. But the performance of Weverca is limited by its time and memory complexity caused by inefficient inner representation of a PHP memory state. The goal of this thesis is to find and solve main problems of the original memory representation. The output of this thesis is an implementation of the new memory representation which minimizes the complexity of the original solution. Powered by TCPDF (www.tcpdf.org)
|
|
|
Java Bytecode Preprocessor for Program Verification Tools
Šafařík, Tomáš ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transformations. We developed the new application, called BytecodeTransformer, based on these propositions. This application transforms compiled Java programs and replaces the problematic instruction sequences with some others. Usage of BytecodeTransformer enlarges the set of programs that can be verified by both J2BP and PANDA. We also evaluated BytecodeTransformer on several Java programs, including own tests and well-known open-source programs. These tests demonstrated the correct functionality of BytecodeTransformer. Powered by TCPDF (www.tcpdf.org)
|
guest ::
