|
|
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)
|
|
|
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems
Al Ali, Rima ; Bulej, Lubomír (advisor) ; Pelliccione, Patrizio (referee) ; Bühnová, Barbora (referee)
Cyber-physical systems (CPS) need to be designed to deal with various forms of uncertainty associated with data contributing to the system's knowledge of the environment. Dealing with uncertainty requires adopting an appropriate model, which then allows making the right decisions and carrying out the right actions (possibly affecting the environment) based on imperfect information. However, choosing and incorporating a suitable model into CPS design is difficult, because it requires identifying the kind of uncertainty at hand as well as knowledge of suitable models and their application to dealing with the uncertainty. While inspiration can be found in other CPS designs, the details of dealing with uncertainty in another CPS can be confounded by domain-specific terminology, context, and requirements. To make this aspect of CPS design less daunting, we aim at providing an overview of approaches dealing with uncertainty in the design of CPS targeting collective behavior. To this end, we present a systematic review of relevant scientific projects with industrial leadership and synthesis of relations between system features, the kinds of uncertainty, and methods used to deal with it. The results provide an overview of uncertainty across different domains and challenges and reason about a guide for...
|
|
|
Kampa: an experimental programming language
Rozsypal, Lukáš ; Bulej, Lubomír (advisor) ; Bednárek, David (referee)
Kampa is a general-purpose programming language. It is imperative, but influenced by functional programming. Its distinguishing features include value types with a concise tuple syntax, immutability that applies recursively, and custom named operators. Clo- sures and first-class functions are a matter of course. Thanks to dependent types, the size of an array may be bound to any immutable variable or field. Arrays can be embed- ded in other data structures. This, in conjunction with dependent types, allows almost arbitrary memory layouts. In addition to the specification, this thesis also provides a proof-of-concept implementation built on top of Truffle. 1
|
|
|
Dynamic Analysis Framework for C#/.NET Programs
Čižmárik, Andrej ; Parízek, Pavel (advisor) ; Bulej, Lubomír (referee)
Dynamic analysis is a technique used to analyse the behaviour of programs, which can be utilized when searching for various software errors. Nowadays, there is a trend in software development towards multi-threaded programs that are, undeniably, prone to race conditions. Furthermore, software errors that stem from timing issues and incorrect ordering of operations across individual threads are generally hard to find, since they are by nature non-deterministic. We decided to implement a dynamic analysis framework for C# programs, along with two well-known algorithms capable of detecting and predicting data-races. As a result, we created an extensible and configurable tool, SharpDetect, that supports dynamic analysis of CIL programs created by compilation from C# source code on platforms supported by .NET Core. To demonstrate its practical usefulness, SharpDetect was successfully applied on NetMQ, C# implementation of ZeroMQ, where it found one real software error.
|
|
|
Integrated Server for Dynamic Program Analysis
Kabele, Vít ; Bulej, Lubomír (advisor) ; Horký, Vojtěch (referee)
Dynamic analysis aids in many software development tasks, such as debugging, pro- gram comprehension, and performance optimization. However, implementing a new dy- namic analysis tool is a non-trivial tasks. To simplify development of dynamic analyses, researchers at Charles University and Università della Svizzera italiana in Lugano have jointly developed the DiSL and Shad- owVM frameworks, which raise the level of abstraction for analysis tool developers and provide a convenient programming model both for bytecode instrumentation and for analysis execution. Even though those frameworks were successfully used to develop many different dy- namic analyses, it turned out that the internal design of the original implementation of both frameworks made further development of new features, such as support for instrumentation-time reflection, extremely difficult. Both frameworks provide a client and server part and while they are designed to be used together, the design prevents sharing of information between the two client parts and the two server parts. This not only increases the amount of data that need to be exchanged over network, but also makes configuration of all parts more difficult. In this work we propose and implement a new architecture of the analysis suite so that the functionality the functionality...
|
|
|
The standard SOAP and its applications in small and middle enterprises.
Lupták, Boris ; Král, Jaroslav (advisor) ; Bulej, Lubomír (referee)
SOAP standard is core protocol used in web services. Web services open new possibilities in application interaction over the network. In connection with web services there has been much discussion of service oriented architecture. The main goal of this thesis is to show possibilities of SOAP in the context of small and medium businesses. To achieve this goal SOAP and accompanying norms are described as well as the mechanism through which SOAP can be and is extended. Several standard extensions are shown. Furthermore this thesis points out the pros and cons of such usage as well as similar alternative approaches. The usage of SOAP is documented on several real life examples. Part of this thesis concerns with fundamental prinicples of service oriented architecture and the connection between web services and service oriented architecture. The need of web services alignment with business processes and coarse grained interfaces are discussed as well. Powered by TCPDF (www.tcpdf.org)
|
|
|
What has changed in the networks during the last 10 years
Slivka, Lukáš ; Pyrih, Pavel (advisor) ; Bulej, Lubomír (referee)
Bachelor thesis is focused on the evolution of computer networks during past 10 years. Part of it shortly describes development of individual technologies. It deals with problems caused by enormous interest of using Internet and other communication services. In the main, there is shortage of IP addresses and the changes awakened by customer's demand for new services. Specifically, we can mention interest in multimedia, higher bandwidth, comfort of using mobile devices and global roaming. Big section is devoted to the transport media and used technologies. I evaluate their advantages and disadvantages. There are also some specific projects and factors in the end, which had impact on general evolution of communication. Powered by TCPDF (www.tcpdf.org)
|
|
|
Communication in mobile edge-cloud environment
Papík, Ondřej ; Hnětynka, Petr (advisor) ; Bulej, Lubomír (referee)
Edge-cloud brings the computation power as close to the clients as possible. This reduces latencies and overall computation time in the cloud. Thanks to the mobile nature of clients we must be able to migrate tasks among different servers. The goal of this thesis is to examine possible problems in communication and propose the architecture of framework. Our framework uses gRPC and is written as module to it. It is platform independent, uses reliable communication and focuses on easy usage. We provide implementation of this framework with some example uses. 1
|
|
|
Web Editor and Simulator of Logic Gate Networks
Horák, Jan ; Kruliš, Martin (advisor) ; Bulej, Lubomír (referee)
One of the topics taught in computer science is the principles of logic gates. An application that allows students to experiment with logic gates and gate networks can be used as a tool to provide better understanding of the topic. However, in order for the application to be usable, it should be available inde- pendently of the software on the user's computer. As a part of this thesis, we were able to implement such application. It provides users with the function- ality of constructing circuits from logic gates interconnected with wires. The application is able to simulate the network and display logic values on each of the wire. Additional functionality has been provided to make the application more enjoyable - unlimited canvas for circuit construction, a simple tutorial introducing new users to the basics of the application, import and export func- tionality and a library of logic circuits that can be imported onto the editing canvas in the form of gate networks or as single components. The application is easily expandable and the source code is available under an open-source license. 1
|
|
|
Network Interface Controller Offloading in Linux
Hlavatý, Ondřej ; Tůma, Petr (advisor) ; Bulej, Lubomír (referee)
Modern network interface controllers allow the host to offload packet processing to hardware in order to improve performance. At the present time, the advanced features are utilized in the Linux kernel by offloading the Traffic Control subsystem. Since this subsystem has been designed for a completely different purpose, its usage for hardware offloading is impractical and unreliable. Furthermore, in its current state the subsystem is not capable of utilizing all hardware features, which are often poorly documented. The presented work adopts a different approach to the problem. Five high-end controllers and their packet-processing pipelines were examined in detail. Accounting for their projected future development, common traits and features were identified. The researched information was used to draft a proposal for a new Linux subsystem, more compatible with hardware offloading than the current solution. The proposed subsystem defines a sufficiently descriptive interface to utilize the majority of hardware-offloaded features while avoiding common problems caused by excessively generalized approach of Traffic Control.
|
guest ::
