Browsing by Advisor "Bureš, Tomáš"
Now showing items 1-20 of 52
-
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 15. 6. 2015Návrh distribuovaných vestavěných systémů je často netriviální proces. Jedna z potřeb je zaručení korektního chování systému. To vyžaduje ověřit, že informace propagované skrze systém jsou spolehlivé tedy především aktuální. ... -
C-language code generator for SOFA 2
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 5. 9. 2011SOFA 2 je komponentový systém založený na hierarchickém komponentovém modelu. K návrhu aplikace slouží jazyk ADL, chování komponent je popsáno behaviorálními protokoly, dále systém umožňuje dynamickou rekonfiguraci komponet ... -
Chytrý termostat pro platformu STM32
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 6. 9. 2018Aim of this thesis is to develop a home thermoregulation system. There is an embed- ded device from the STM32 platform that measures actual temperature and regulates the heating based on user's preferences. This device ... -
Component-based engineering of Smart Cyber-Physical systems
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 27. 4. 2016Smart 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) ... -
Components for visualization of correlations for IVIS framework
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Date of defense: 7. 7. 2020As 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 ... -
DEECo Cloudlets Exploratory Study
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 15. 6. 2015Tato práce prozkoumává možnosti využití nedávno představených komponentových modelů založených na ensemblech (zastoupených modelem DEECo) jako řídící vrstvu v cloudletovém prostředí pro offloadování výpočtů mobilního ... -
DEECo Component Model Framework on Android Mobile Platform
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 8. 9. 2014Prezentována diplomová práce se věnuje tvorbě podpory DEECo komponentního modelu na platformě Android. Vytvorění distribuovaného systému schopného používat DEECo framework nad více zařízeními. Pro tento účel je využita ... -
Deployment of SOFA-HI applications on the nxtOSEK platform
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 9. 9. 2013SOFA-HI je rozšírenie komponentového systému SOFA 2, ktorý je vyvíjaný pod záštitou katedry distribuovaných a spoľahlivých systémov. Cieľom SOFA-HI je podpora pre vývoj a nasadenie aplikácii za použitia princípov vývoja ... -
Domain-specific language and tooling for modeling video-processing pipelines in FITOPTIVIS project
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Date of defense: 1. 7. 2020There 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 ... -
Dynamic reconfiguration in SOFA 2 component system
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 30. 5. 2011SOFA2 je komponentový systém založený na vytváření a uchovávání komponent v distribuovaném prostředí. Tento systém podporuje komponentovou hierarchii, což znamená, že lze několik komponent sloučit do jedné komponenty. ... -
Dynamic Software Architectures for Resilient Distributed Systems
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 17. 9. 2014Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment ... -
An extensible attribute framework for ProCom
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 25. 5. 2009Tato práce se zabývá konceptem atributu v ProComu, komponentovém modelu vyvíjeném v rámci výzkumu centra The Progress Centre for Predictable Embedded Software Systems. Atributy jsou informace ruzných typu a úrovní abstrakce ... -
Framework and DSL for Ensemble-Based Access Control
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 5. 9. 2019Access 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 ... -
GPS tracks data processing and visualization
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 3. 9. 2012Velké rozšíření GPS zařízení schopných zaznamenávat a ukládat trasu pohybu vytváří obrovské množství dat obsahujících široké spektrum informací, které je možné využít k mnoha různým účelům. Typické využití je vykreslení ... -
IDE-supported development of component-based applications
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 5. 9. 2011Na rozdíl od komerčních komponentových systémů nemají ty akademické dostatečnou podporu v integrovaných vývojových prostředích. Tato práce analyzuje vývoj komponentově založených aplikací na komponentovém sys- tému SOFA 2 ... -
Identifying runtime components of the running SOFA 2 application
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 7. 9. 2009Tato práce se zabývá návrhem dekompozice komponentového běhového prostředí SOFA 2. První část je věnovaná popisu logických částí prostředí a jejich vzájemných vazeb. Jsou zde popsány úlohy podpůrných programových celků ... -
Implementation of the DEECo component framework for embedded systems
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 8. 9. 2014Současný vývoj distribuovaných a decentralizovaných cyber-fyzikálních systémů vedl ke vzniku modelu DEECo. Protože mnohá použití DEECo jsou vestavěné aplikace je zajímavé zvážit jeho použití DEECo na vestavěném hardware. ... -
Implementation of the DEECo component framework for embedded systems
Defence status: RECOGNIZED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 18. 6. 2016Recent 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. ... -
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 14. 9. 2018Smart 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ů ... -
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
Defence status: RECOGNIZED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 15. 12. 2016When 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 ...