|
|
Addsessing On-Demand Assembly and Adaptation Using a Runtime Intentional Versioning Engine
Gergič, Jaroslav ; Tůma, Petr (vedoucí práce) ; Brada, Přemysl (oponent) ; Bešta, Miloslav (oponent)
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 (vedoucí práce) ; Brada, Přemysl (oponent) ; Crnkovic, Ivica (oponent)
Práce se nejprve zabývá analýzou širokého spektra konceptů a přístupů ke komponentově orientovanému návrhu software a předkládá přehled vybraných komponentových modelů s běhovým prostředím strukturovaný podle nově navržených kritérií. Hierarchické komponentové modely jsou identifikovány jako jeden z přístupů, který ještě není dostatečně prozkoumán, vzhledem k jejich minimálnímu proniknutí do světa průmyslových aplikací. Zbytek práce se pak téměř výhradně věnuje problémům spojeným s nasazením hierarchických komponentových modelů v reálném vývoji softwarových aplikací. Práce představuje motivace vedoucí k nutnosti hierarchického strukturování aplikačních architektur a dále na příkladech z komerční sféry uvádí hlavní výhody vývoje aplikací pomocí hierarchických komponentových modelů. Jako důkaz jsou předvedeny dvě případové studie, které jsou úspěšně vymodelované a implementované pro komponentový model Fractal - práce se zaměřuje hlavně na formální ověřitelnost správnosti takto vytvořených aplikací. Na základě zkušeností z případových studií jsou v práci též předloženy návrhy nového přístupu pro modelování dynamických architektur, identifikování chyb v chybových výstupech a specifikační jazyk pro modelování okolí komponent.
|
|
|
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
Matěna, Vladimír ; Bureš, Tomáš (vedoucí práce) ; Carlson, Jan (oponent) ; Brada, Přemysl (oponent)
Smart Cyber-Physical Systémy (sCPS) jsou komplexní systémy zaměřené na chytrou koordinaci která často vyžaduje decentralizované řízení a síťovou odolnost. Nový vývoj v oblasti robotických systémů, Průmyslu 4.0 a systémů autonomních vozidel přináší výzvy které se dají řešit za pomocí sCPS založených na ensemblech, ale pro správnou funkci vyžadují zpřesnění jejich práce se sítí a propagací dat. Tato disertační práce mapuje příklady použití sCPS ve zmíněných doménách, diskutuje požadavky na architekturu založenou na ensemblech v oblasti vztahu k síti a předkládá doporučení společně s technickým řešením které pomáhá při vývoji sítových na ensemblech založených sCPS. navržená řešení jsou vyhodnocována pomocí simulace cílových systémů za použití aktuálních realistických simulátorů sítě a pohybu automobilů.
|
|
|
Hierarchical Component Models - "A True Story"
Ježek, Pavel ; Plášil, František (vedoucí práce) ; Brada, Přemysl (oponent) ; Crnkovic, Ivica (oponent)
Práce se nejprve zabývá analýzou širokého spektra konceptů a přístupů ke komponentově orientovanému návrhu software a předkládá přehled vybraných komponentových modelů s běhovým prostředím strukturovaný podle nově navržených kritérií. Hierarchické komponentové modely jsou identifikovány jako jeden z přístupů, který ještě není dostatečně prozkoumán, vzhledem k jejich minimálnímu proniknutí do světa průmyslových aplikací. Zbytek práce se pak téměř výhradně věnuje problémům spojeným s nasazením hierarchických komponentových modelů v reálném vývoji softwarových aplikací. Práce představuje motivace vedoucí k nutnosti hierarchického strukturování aplikačních architektur a dále na příkladech z komerční sféry uvádí hlavní výhody vývoje aplikací pomocí hierarchických komponentových modelů. Jako důkaz jsou předvedeny dvě případové studie, které jsou úspěšně vymodelované a implementované pro komponentový model Fractal - práce se zaměřuje hlavně na formální ověřitelnost správnosti takto vytvořených aplikací. Na základě zkušeností z případových studií jsou v práci též předloženy návrhy nového přístupu pro modelování dynamických architektur, identifikování chyb v chybových výstupech a specifikační jazyk pro modelování okolí komponent.
|
|
|
Fighting the State Explosion Problem in Component Protocols
Holub, Viliam ; Plášil, František (vedoucí práce) ; Brada, Přemysl (oponent) ; Reussner, Ralf H. (oponent)
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 (vedoucí práce) ; Brada, Přemysl (oponent) ; Bešta, Miloslav (oponent)
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 (vedoucí práce) ; Brada, Přemysl (oponent) ; Issarny, Valérie (oponent)
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...
|
host ::
RSS.