National Repository of Grey Literature 94 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Real-life middleware support for connectors
Hala, Josef ; Bureš, Tomáš (advisor)
Software connectors are used in component-based systems for realization of inter-component communication. A connector generator serves for their generation. It is able to create particular connector based on definitions in a high-level configuration file. At design time the connector generator allows for specifying how components interoperate, at run time created connectors are responsible for communication between application's components as it was specified in the configuration file. They typically utilize some middleware for realization of the communication and they can be supposed as a higher level of abstraction which covers the differences between various underlying middlewares. The aim of the thesis is to extend the existing connector generator [1] and provide support for generating and deploying RMI and CORBA-based connectors and also connectors using other communication styles (particularly messaging). Besides the actual implementation of various middlewares in the connector generator the thesis also addresses some advanced topics like passing references and handling of complex types within remote communication.
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
Huječek, Adam ; Bureš, Tomáš (advisor)
When designing a complex Cyber-Physical System it is often impossible to foresee all potential situations in advance and prepare corresponding tactics to adapt to the changes in dynamic environment. This greatly hurts the system's resilience and dependability. All kinds of trouble can rise from situations that lie beyond the expected "envelope of adaptability" from malfunction of one component to failure of the whole system. Self-adaptation approaches are typically limited in choosing a tactic from a fixed set of tactics. Meta-adaptation strategies extend the limits of system's inherent adaptation by creating new tactics at runtime. This thesis elaborates and provides implementations of selected meta-adaptation strategies for IRM-SA in jDEECo as well as their evaluation in a scenario based on a firefighter coordination case study. Powered by TCPDF (
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (advisor)
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. Currently there is only reference DEECo implementation which is written in Java thus cannot be used for embedded applications. As part of this thesis C++ DEECo mapping and embedded CDEECo++ framework were designed using FreeRTOS operating system for task scheduling and synchronization. An example application designed for the STM32F4 board demonstrates usability of the framework. This thesis contains description of the DEECo mapping into the C++ language, source codes of the CDEECo++ framework, documentation and example application including basic measurement of its real- time properties. Powered by TCPDF (
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
GUI for Active Learning of Image Detection and Classification
Bureš, Tomáš ; Šůstek, Martin (referee) ; Rozman, Jaroslav (advisor)
With active learning, domain expert doesn't need to annotate the whole dataset, but only those which will allow incremental training of a given model. An example of active learning could be detection and removal of wrong annotations. Another example is detection and expansion of training data which model fails to predict. Description of libraries, frameworks and programs which can be used to integrate with active learning is included in this work. The main part of this work is the design and description of a user interface for active learning. The application allows user to browse dataset, sort annotations and images by multiple criteria and modify annotations generated by active learning model. The application's graphical user interface was implemented with the Vue.js framework and Paper.js library. In conclusion, functionality and future application expansion are discussed.
Active Learning with Neural Networks
Bureš, Tomáš ; Kolář, Martin (referee) ; Hradiš, Michal (advisor)
The topic of this thesis in active learning in conjunction with neural networks. First, it deals with theory of active learning and strategies used in real life scenarios. Followed by practical part, experimenting with active learning strategie and evaluating those experiments.
Components for visualization of correlations for IVIS framework
Töpfer, Michal ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
As the number of IoT devices connected to the internet grows, the amounts of data which need to be analysed and visualized also increase. One of the frameworks for creating complex configurable visualizations is IVIS, a web-based open-source framework developed at D3S, MFF UK. In this thesis, we develop and implement components for scatter plot, bubble plot, heatmap chart and histogram chart, which did not exist previously in the framework. These components can be used to visualize correlations among data and to display prop- erties of data distribution. Special emphasis is given to interactivity and configurability of components and a detailed description of the configuration options is provided. We also create a set of examples to show how to use the newly added components together with existing parts of the framework. Existing charts in the framework are also enhanced with the newly introduced concepts. 1
Domain-specific language and tooling for modeling video-processing pipelines in FITOPTIVIS project
Čamra, Václav ; Bureš, Tomáš (advisor) ; Yaghob, Jakub (referee)
There are many systems for processing audiovisual data. These systems tend to be composed of components, which can be configured in many different ways, thus creating vast configuration space of the systems. In order to find an optimal configuration across many components, automatic configuration space exploration is required. However there are no such existing tools which would suit our requirements. In this thesis we propose a component model and domain specific language designed to allow for automatic configuration space exploration. Additionally we integrate this language and additional tooling into a browser-based environment. 1
Performance assessment of cloud applications
Sándor, Gábor ; Bureš, Tomáš (advisor) ; Bednárek, David (referee)
Modern CPS and mobile applications like augmented reality or coordinated driving, etc. are envisioned to combine edge-cloud processing with real-time requirements. The real-time requirements however create a brand new challenge for cloud processing which has traditionally been best-effort. A key to guaranteeing real-time requirements is the understanding of how services sharing resources in the cloud interact on the performance level. The objective of the thesis is to design a mechanism which helps to categorize cloud applications based on the type of their workload. This should result in specification of a model defining a set of applications which can be deployed on a single node, while guaranteeing a certain quality of the service. It should be also able to find the optimal node where the application could be deployed.
Framework and DSL for Ensemble-Based Access Control
Matějek, Jan ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
Access control policies typically take the form of a set of static rules pertaining to individual entities under control. This can be impractical in real-world scenarios: authorization invariably depends on wider situational context which often tends to be highly dynamic. This leads to increasingly complex rules, which have to change over time to reflect the evolution of the controlled system. Ensemble-based architectures allow dynamic formation of goal-oriented groups in systems with large number of independent autonomous components. Because of the ad-hoc and situation-aware nature of group formation, ensembles offer a novel way of approaching access control. The goal of this work is to design a Scala framework and internal DSL for describing access control related situations via ensembles. In particular, the framework will define ensemble semantics suitable for evaluating the ensembles and establishing access control at runtime.

National Repository of Grey Literature : 94 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.