|
|
Deployment of SOFA 2 applications for embedded environment
Pastorek, Jaroslav ; Hnětynka, Petr (advisor) ; Malohlava, Michal (referee)
Development of applications for embedded devices is a daunting task particularly due to the diversity of used hardware. Technologies like Java ME attempt to provide unified programming model in the spirit of slogan "write once - run anywhere"; however the platform specifics still linger. Applications for embedded devices could therefore benefit from the use of component - based development where platform - specific parts can be separated into well - defined easily replaceable components. The goal of this thesis is to analyze the current deployment process for the component applications written using SOFA 2 component system and propose changes that would allow such applications to be deployed in Java ME environment, particularly CLDC configuration with MIDP profile. The proposed solution is based on transformation of SOFA 2 component application into MIDlet application. This transformation includes pregeneration of code for static instantiation of components which is normally done dynamically by interpreting component descriptions. The result of the transformation is standalone MIDlet package that contains all necessary code - this includes adjusted component runtime and components themselves. The development process of SOFA 2 applications is also adjusted to support new deployment process.
|
|
|
Platform-independent Middleware for Distributed Parallel Tasks
Bořkovec, Kryštof ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
The thesis presents a middleware faciliating parallel execution of tasks expressed in the Java programming language on many computers. When started at a number of machines, this software creates a so called cloud that enables splitting the task into smaller subtasks and subsequent independent execution of these subtasks at difeferent nodes. The presented software distributes subtasks throughout the cloud automatically and it performs the following collection of results. The text begins with a brief introduction to the topic of distributed computations and a discussion of possible approaches to the subject. The main part of the work describes software architecture and topology of the system, demonstrates its usage at two sample tasks and gives a brief comparison with two other projects.
|
|
|
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)
|
|
|
Support for enterprise applications in SOFA 2
Blénessy, Tibor ; Bureš, Tomáš (advisor) ; Hnětynka, Petr (referee)
Title: Support for Enterprise Applications in SOFA 2 Author: Tibor Blénessy Department: Department of Distributed and Dependable Systems Supervisor of the master thesis: RNDr. Tomáš Bureš, Ph.D. Abstract: Industry standards defining various aspects of enterprise systems were developed in order to make development of such systems faster and to increase interoperability. For systems created with Java platform, these standards are contained under Java Enterprise Edition. SOFA 2 component system provides a solid base for development of ex- tensive component oriented systems. Goal of this work is to propose and empirically verify the possibility of integration of existing industry standards for enterprise applications in SOFA 2. Proposed solution extends SOFA 2 with components for web user in- terfaces based on Java Servlet API standard and with components for persisting data into relational databases based on Java Peristence API. In addition, it integrates core technologies from the Java Enterprise Edition platform, which should make integration of further standards easier. Keywords: enteprise applications, component system, SOFA 2, Java EE
|
|
|
Data mining from incoming e-mail messages
Šebesta, Jan ; Žemlička, Michal (advisor) ; Hnětynka, Petr (referee)
In the present work we study possibilities of automatic sorting of incoming email communication. Our primary goal is to distinguish information about oncoming workshops and conferences, job off ers and published books. We are trying to develop tool to mine the information from data from professional mailing lists. Off ers in the mailing lists come in html, rtf or plain text format, but the information in it is written in common spoken language. We are developing the system so it will use text mining methods to extract the information and save it structured form. Than we will be able to work with it. We are examining the handling of the mails by user and apply the knowledge in the development. We solve the problems with obtaining of the messages, distinguishing language and encoding and estimating the type of message. After recognition of the bearing information we are able to mine data. In the end we save the mined information to the database, which allows us to display it in well{arranged way, sort and search according to the user needs.
|
|
|
Infrastructure for Deployment of Heterogeneous Component-based Applications
Šafrata, Pavel ; Bulej, Lubomír (advisor) ; Hnětynka, Petr (referee)
Deployment is a process which involves all actions performed with an application after it is released. Traditionally, deployment has been addressed for each component model separately (if at all), even though most of the concepts are the same. The Deployment and Configuration of Component-based Applications Specification released by OMG proposes a unified approach that can be tailored to different component models. This thesis focuses on the execution phases of the deployment process. It presents a generic deployment runtime based on the OMG specification. The main objective is to elaborate support for multiple component models and subsequently support for heterogeneous applications consisting of components implemented in different component models. This has been achieved through a system of extensions which allows isolating component model specifics from the runtime. Even though the OMG specification was not originally intended to support heterogeneous applications, the implementation deviates from it only in a few points. In all such cases, the thesis presents an analysis of the situation and rationale for the deviation.
|
|
|
Latency aware deployment in the edge-cloud environment
Filandr, Adam ; Hnětynka, Petr (advisor) ; Bednárek, David (referee)
The goal of this thesis is to propose a layer on top of edge-cloud, in order to provide soft real-time guarantees on the execution time of applications. This is done in order to satisfy the soft-real time requirements set by the developers of latency-sensitive applications. The proposed layer uses a predictor of execution time, in order to find combinations of processes with, which satisfy the soft real- time requirements when collocated. To implement the predictor, we are provided with information about the resource usage of processes and execution times of collocated combinations. We utilize similarity between the processes, cluster analysis, and regression analysis to form four prediction methods. We also provide a boundary system of resource usage used to filter out combinations exceeding the capacity of a computer. Because the metrics indicating the resource usage of a process can vary in their usefulness, we also added a system of weights, which estimates the importance of each metric. We experimentally analyze the accuracy of each prediction method, the influence of the boundary detection system, and the effects of weights. 1
|
|
|
Tool for programming in a physical environment
Křen, Tomáš ; Hnětynka, Petr (advisor) ; Ježek, Pavel (referee)
The subject of this work is to implement the game conceived as an interactive physical environment in which a user creates a virtual world in hierarchical two-dimensional space by inserting, moving and connecting objects. However, the world, or his parts, also represents the syntax of a program. This is achieved mainly because the game includes different kinds of objects called functions, which occupy the same role, as a function in classic programming languages. The program also includes active agents controlled by an internal program, which is made up of these functions.
|
|
|
Locating Performance Regressions In Code
Morong, Peter ; Tůma, Petr (advisor) ; Hnětynka, Petr (referee)
The objective of this work is to improve look up for changes in source code performance and help to remove burden at software testing with it. It tries to design some framework for this purpose which includes creating or desribing tools and defining methods how to work with them. The work starts with desciption of profiling and how this process can influence the performance measurement results. The profiler requirements are defined for purposes of this work and the OProfile is selected as the representative profiler. The next part contains analysis of program run and description of Execution and Waiting part of the run. Following is the categorization of various source code changes due to the posibility of their detection. The third part defines two methods for locating performance regression: advanced difference filtering and comparing the profiler results. Advanced difference filtering is an intersection between a list of changed code parts and a list of code parts executed at measurement. The second method is just comparing the profiler output using the visualization tool. The final part is demonstration of these two methods on real projects.
|
|
|
Dynamic setup for clusters with multi-master architecture
Opočenská, Kateřina ; Yaghob, Jakub (advisor) ; Hnětynka, Petr (referee)
The work deals with the problem of multi-master setup for clusters running PROOF, which is a master-worker based framework used at CERN (European Organization for Nuclear Research), preferably for analysis of high energy physics data. The goal is to determine an optimal number of masters for the given task in order to make the task execution time as short as possible. Based on the analysis of PROOF processing work-flow, the merger-based algorithm is designed and implemented. It introduces a concept of the merger, which is a node acting as a worker during the computation phase, and as a master during the final phase of sub-results merging. The number and selection of merger nodes is performed dynamically, and depends both on the cluster size and it's recent performance. The performance of the merger-based algorithm is compared to the standard approach on several queries and several sizes of the cluster. The measured speed-up is confronted with the previously invented theory.
|
guest ::
