|
|
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
Matěna, Vladimír ; Bureš, Tomáš (advisor) ; Carlson, Jan (referee) ; Brada, Přemysl (referee)
Smart Cyber-Physical Systems (sCPS) are complex systems performing smart coordination that often require decentralized and network resilient operation. New development in the fields of the robotic systems, Industry 4.0 and autonomous vehicular system brings challenges that can be tackled with deployment of ensemble based sCPS, but require further refinement in terms of network resilience and data propagation. This thesis maps the use cases of the sCPS in the aforementioned domains, discusses requirements on the ensemble based architecture in terms of network properties, and proposes recommendations and technical means that help to design network aware ensemble based sCPS. The proposed solutions are evaluated by the means of target systems simulation using state of the art realistic network and vehicular simulators.
|
|
|
Component-based engineering of Smart Cyber-Physical systems
Kit, Michal ; Bureš, Tomáš (advisor) ; Becker, Steffen (referee) ; Carlson, Jan (referee)
Smart Cyber-Physical Systems (SCPS) are distributed, open-ended and architecturally dynamic systems composed of autonomic components interacting with each other in cooperative actions and introducing system-level (emergent) behaviors that would not be possible otherwise. Very often, the components of SCPS vary with respect to purpose, behavior, and available resources. Such characteristics of SCPS components (especially their heterogeneity combined with cooperativeness) allow for an overall resilience of the system as well as its continuous operation - the key properties the satisfaction of which is expected from any distributed system developed nowadays. Since SCPS is a relatively novel concept, there is no support in terms of design and development tools that would facilitate their engineering process. This work aims to provide methods that address: development, verification and deployment stages of that process. In particular, the thesis focuses on delivering: (i) appropriate abstractions for SCPS modeling realization; (ii) a runtime environment for their deployment and execution; (iii) a simulation tool allowing for system-level verification. Altogether, they contribute to the DEECo framework, which is built around the DEECo component model.
|
|
|
Components and Services in Resource-Constrained Environments
Pop, Tomáš ; Plášil, František (advisor) ; Ježek, Kamil (referee) ; Carlson, Jan (referee)
of Doctoral Thesis Title: Components and Services in Resource-Constrained Envi- ronments Author: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Department: Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University in Prague Advisor: Prof. František Plášil plasil@d3s.mff.cuni.cz Abstract Appliances of every day use such as consumer electronics, automotive and telecommunication devices as well as various kinds of control systems have be- come a common and important part of our everyday lives. In comparison to general-purpose desktop systems, they are limited in terms of various resources, for example memory, CPU power, and battery capacity. Component-based soft- ware engineering is a well-established development technique, which has found its way to industry and has been successfully used for a long time in multiple do- mains. However, the industrially adopted component frameworks were designed for general-purpose systems and they can be hardly used in resource-constrained environments. In the thesis, we explore the potential of component-based system engineer- ing in resource-constrained environments. Stemming from a survey of existing component frameworks targeted to this domain, we identify the most important approaches to overcome resource constraints in...
|
guest ::
