|
|
Addsessing On-Demand Assembly and Adaptation Using a Runtime Intentional Versioning Engine
Gergič, Jaroslav ; Tůma, Petr (advisor) ; Brada, Přemysl (referee) ; Bešta, Miloslav (referee)
The World Wide Web has been changing rapidly in the past few years due to the emergence and fast adoption of large variety of new internet-enabled devices: starting with web-enabled phones through converged appliances, combining a PDA and a cell phone, to specialized internet tablets and business productivity tools. This change is bringing many challenges into the process of designing and developing both the thin-client (web-based) and thick-client (device-hosted) applications and related services. The application and service providers are facing a trade-off between the number of platforms and devices they are able to support, representing the size of the potential market, and mounting costs tied to developing and supporting multiple variants of their applications. There are several ongoing efforts taking place at various standardization organizations and industry associations to address these issues. Some of the essential standards for specifying and transporting device capabilities have been available for several years now, but so far they have had only a limited impact on the way the actual applications and services are being designed and developed. This work is trying to identify and explain the shortcomings of the existing approaches and as a reaction proposes an application-centric framework designed...
|
|
|
Hierarchical Component Models - "A True Story"
Ježek, Pavel ; Plášil, František (advisor) ; Brada, Přemysl (referee) ; Crnkovic, Ivica (referee)
First, this thesis presents an analysis of diversity of component-based software engineering (CBSE) concepts and approaches, and provides a summary of selected runtime-aware component models structured according to newly proposed criteria. As a result of the analysis, hierarchical component models are identified as a CBSE domain still not sufficiently explored in the current research with respect to their lacking penetration into regular industrial use. The major part of the thesis consequently almost exclusively focuses on problems related to application of hierarchical component models to real-life applications development. The motivations for hierarchical structuring of application architectures are presented in the thesis and key advantages of hierarchical component models are thoroughly discussed and shown on examples from commercial software development. To verify the claims, two major case-studies are presented in the thesis and the Fractal component model is successfully applied to model and implement them focusing on formal verifiability of correctness of resulting component-based applications. The thesis proposes novel approaches to model dynamic architectures changing at runtime, to deal with complex error traces and a novel specification language for component environments, all resulting from...
|
|
|
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.
|
|
|
Hierarchical Component Models - "A True Story"
Ježek, Pavel ; Plášil, František (advisor) ; Brada, Přemysl (referee) ; Crnkovic, Ivica (referee)
First, this thesis presents an analysis of diversity of component-based software engineering (CBSE) concepts and approaches, and provides a summary of selected runtime-aware component models structured according to newly proposed criteria. As a result of the analysis, hierarchical component models are identified as a CBSE domain still not sufficiently explored in the current research with respect to their lacking penetration into regular industrial use. The major part of the thesis consequently almost exclusively focuses on problems related to application of hierarchical component models to real-life applications development. The motivations for hierarchical structuring of application architectures are presented in the thesis and key advantages of hierarchical component models are thoroughly discussed and shown on examples from commercial software development. To verify the claims, two major case-studies are presented in the thesis and the Fractal component model is successfully applied to model and implement them focusing on formal verifiability of correctness of resulting component-based applications. The thesis proposes novel approaches to model dynamic architectures changing at runtime, to deal with complex error traces and a novel specification language for component environments, all resulting from...
|
|
|
Fighting the State Explosion Problem in Component Protocols
Holub, Viliam ; Plášil, František (advisor) ; Brada, Přemysl (referee) ; Reussner, Ralf H. (referee)
In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition is veri ed against communication errors. Unfortunately, the number of states of a model tends to grow exponentially with the size of the model's description | the state explosion problem. Because the exhaustive veri cation has to visit all the states of the model, the veri cation leads to unacceptable space and time requirements. In this thesis, we present several approaches to cope with the state explosion problem in behavior protocols. First, we reduce a size of the speci cation by enhancing the speci cation language by exceptions and, additionally, we reduce the speci cation by symbolic manipulations with respect to composition. Then, we present a novel approach to distributed veri cation, which involves external storage devices. Finally, we reduce the number of states, which have to be traversed by identifying representatives in the state space.
|
|
|
Addsessing On-Demand Assembly and Adaptation Using a Runtime Intentional Versioning Engine
Gergič, Jaroslav ; Tůma, Petr (advisor) ; Brada, Přemysl (referee) ; Bešta, Miloslav (referee)
The World Wide Web has been changing rapidly in the past few years due to the emergence and fast adoption of large variety of new internet-enabled devices: starting with web-enabled phones through converged appliances, combining a PDA and a cell phone, to specialized internet tablets and business productivity tools. This change is bringing many challenges into the process of designing and developing both the thin-client (web-based) and thick-client (device-hosted) applications and related services. The application and service providers are facing a trade-off between the number of platforms and devices they are able to support, representing the size of the potential market, and mounting costs tied to developing and supporting multiple variants of their applications. There are several ongoing efforts taking place at various standardization organizations and industry associations to address these issues. Some of the essential standards for specifying and transporting device capabilities have been available for several years now, but so far they have had only a limited impact on the way the actual applications and services are being designed and developed. This work is trying to identify and explain the shortcomings of the existing approaches and as a reaction proposes an application-centric framework designed...
|
|
|
Generating Connectors for Homogenous and Heterogenous Deployment
Bureš, Tomáš ; Plášil, František (advisor) ; Brada, Přemysl (referee) ; Issarny, Valérie (referee)
Software connectors are typically used in component-based engineering to model and realize component interconnections. Connectors play an important role both at design time, when they allow for specifying the way components interact, and at runtime, when they actually implement the specified interactions in particular target environments. Connectors also help with deployment (both homogeneous and heterogeneous) by allowing for seamless distribution and overcoming incompatibilities between components and component systems by utilizing adaptors. An important aspect of employing connectors is the amount of work connected with their use. In this context, to make connectors truly an asset, it is necessary to allow for generating their runtime implementations based on design-time specification. This is however a problem (mainly because of the semantic gap between the connector specification and its implementation), which has not been sufficiently addressed so far, especially when trying to use connectors in the context of heterogeneous deployment. In this thesis, we propose a technique of automatic generation of a connector implementation based on a high-level connector specification. The thesis focuses on building connectors in the scope of homogeneous and heterogeneous deployment, which means that the generated...
|
guest ::
RSS feed.