• Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems 

      Pavliš, Filip (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 15. 6. 2015
      Ná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 

      Ježek, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 5. 9. 2011
      SOFA 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 

      Marek, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 6. 9. 2018
      Aim 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 

      Kit, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 27. 4. 2016
      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) ...
    • DEECo Cloudlets Exploratory Study 

      Kinšt, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 15. 6. 2015
      Tato 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 

      Sipták, Daniel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 8. 9. 2014
      Prezentová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 

      Kaščák, Kamil (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 9. 9. 2013
      SOFA-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 

      Babka, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 30. 5. 2011
      SOFA2 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 

      Keznikl, Jaroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 17. 9. 2014
      Resilient 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 

      Štěpán, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 25. 5. 2009
      Tato 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 ...
    • GPS tracks data processing and visualization 

      Dobroucký, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 3. 9. 2012
      Velké 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 

      Hermann, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 5. 9. 2011
      Na 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 

      David, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 7. 9. 2009
      Tato 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 

      Matěna, Vladimír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 8. 9. 2014
      Souč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 

      Matěna, Vladimír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 18. 6. 2016
      Souč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 

      Matěna, Vladimír (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 14. 9. 2018
      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ů ...
    • Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems 

      Huječek, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 15. 12. 2016
      Př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 

      Huječek, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 8. 2. 2016
      Př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 

      Outlý, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 5. 9. 2011
      Cí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 ...
    • Modeling deployment and allocation in the Progress IDE 

      Šenkeřík, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 25. 5. 2009
      Tato práce zkoumá modelování deploymentu v rámci projektu Progress, rozsáhlé výzkumné vize, která aplikuje softwarové komponenty ve snaze snížit komplexitu embedded systémů a usnadnit jejich vývoj. V první fázi deployment ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: dspace (at) is.cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV