Browsing by Advisor "Bureš, Tomáš"
Now showing items 1-20 of 49
-
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
(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
(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
(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
(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) ... -
DEECo Cloudlets Exploratory Study
(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
(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
(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 ... -
Dynamic reconfiguration in SOFA 2 component system
(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
(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
(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
(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
(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
(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
(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
(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
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 18. 6. 2016Souč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. ... -
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
(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
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 15. 12. 2016Při návrhu komplexních cyber-physical systémů je často nemožné dopředu předvídat všechny potencionální situace a připravit odpovídající taktiky pro adaptaci na změny v dynamickém prostředí, což velmi škodí robustnosti a ... -
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 8. 2. 2016Při návrhu komplexních cyber-physical systémů je často nemožné dopředu předvídat všechny potencionální situace a připravit odpovídající taktiky pro adaptaci na změny v dynamickém prostředí, což velmi škodí robustnosti a ... -
Mode Change in Real-time Component Systems
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 5. 9. 2011Cílem práce je zmapovat možnosti dynamické rekonfigurace v real-timových komponentových systémech, především pak formálně popsat podporu operačních módů. Práce obsahuje návrh mechanismu, který zajišťuje rekonfiguraci na ...