|
|
Dynamic reconfiguration in SOFA 2 component system
Babka, David ; Bureš, Tomáš (vedoucí práce) ; Pop, Tomáš (oponent)
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. Součástí tohoto systému jsou koncepty, které popisují návrh možných dynamických rekonfigurací architektury, které jsou nezbytné pro běh jakékoliv reálné složitější aplikace. Tyto koncepty jsou výjimečné hlavně tím, že návrh jednotlivých dynamických rekonfigurací je vytvářen už v době návrhu architektury aplikace a tedy se jimi běh aplikace musí řídit. Tyto dynamické rekonfigurace spočívají ve vytváření/ničení dynamických komponent a vytváření/ničení propojení mezi jednotlivými komponentami, díky čemuž se aplikace mohou lépe adaptovat nově vzniklým situacím. Cílem této teze je ověřit návrh těchto konceptů pomocí implementace prototypu pro SOFA2 a ověřit jejich korektnost a použitelnost na testovacích aplikacích.
|
|
|
Platformě nezávislý middleware pro distribuované zpracování paralelizovatelných úloh
Bořkovec, Kryštof ; Hnětynka, Petr (vedoucí práce) ; Bureš, Tomáš (oponent)
Práce prezentuje middleware realizující paralelní zpracování úloh zapsaných v jazyce Java na více počítačích najednou. Software po spuštění na více strojích vytvoří takzvaný cloud, který umožňuje rozdělit danou úlohu na více částí a ty vykonat nezávisle na různých uzlech. Prezentovaný systém automaticky distribuuje zadání podúloh mezi počítači a zajišťuje následné shromáždění jejich výsledků. Text nejprve podává stručný úvod do problematiky distribuovaných výpočtů a diskusi možných přístupů. Hlavní část práce potom popisuje softwarovou architekturu a topologii systému, ukazuje jeho funkčnost na dvou vzorových příkladech a krátce ho srovnává se dvěma jinými projekty.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
SOFAnet 2 DIPLOMOVÁ PRÁCE Michal Papež Katedra distribuovaných a spolehlivých systémů, 2011 Abstrakt: Cílem SOFAnet 2 jakožto síťového prostředí komponentového systému SOFA 2 je jednoduchá a rozumná výměna komponent mezi jednotlivými uzly. Sou- časné požadavky uživatelů SOFA 2 na distribuci software jsou analyzovány a disku- továny. Protože koncepty SOFA 2 nejsou navrženy pro účely distribuce, byly zave- deny nové koncepty pro aplikace a komponenty. Tyto nové koncepty jsou mapovány na koncepty SOFA 2 a studovány na formálním množinovém modelu. Pomocí to- hoto modelu jsou definovány operace pro distribuci, instalaci a odstranění aplikací i komponent. Jsou také navržena pravidla, podle kterých je možné vyčistit repoz- itář SOFA 2 od nepotřebných částí software. Koncept SOFAnetu 2 je ověřen na prototypové implementaci. 1
|
|
|
Kolaborativní vektorový editor
Šimonovský, Martin ; Kofroň, Jan (vedoucí práce) ; Bureš, Tomáš (oponent)
V předložené práci popisuji multiplatformní kolaborativní vektorový editor GChat, zaměřený na tvorbu diagramů. GChat je zástupcem kategorie realtimeových (synchronních) systémů, které dovolují uživatelům spolupracovat na stejném dokumentu ve stejný čas a zároveň ihned vidět veškeré změny provedené ostatními uživateli. Program využívá pro komunikaci protokol Jabber a je založen na konceptu replikace sdíleného dokumentu. V práci jsou mimo jiné popsány metody zajištění konzistence replikovaných dokumentů i zachování editačního záměru uživatelů. Práce se dále zabývá řešením distribuovaných operací undo a redo, včetně jejich relativně inovativní selektivní varianty. Součástí je rovněž shrnutí současného stavu v této rozvíjející se problematice, a to jak z hlediska softwaru, tak algoritmů.
|
|
|
The Progress run-time architecture
Pop, Tomáš ; Bureš, Tomáš (vedoucí práce) ; Děcký, Martin (oponent)
Práce je součástí rozsáhlejšího výzkumného záměru s názvem Progress, který usiluje o poskytnutí metod pro vývoj komponentových realtime systémů pro embedded zařízení. Jednou z nových myšlenek Progressu je sdružování komponent do větších celků nazvaných virtuální zařízení. Důvodem k tomuto sdružování je dosažení vyšší efektivity a také možnost vyšší míry abstrakce hardware cílových výpočetních jednotek. Tato práce začíná zkoumání implementace struktur komponentového modelu, který je součástí Progressu. Cílem práce je otevřít nutné otázky týkající se implementace vnitřní struktury virtuálních zařízení, implementace běhového prostředí a mechanismů nutných k běhu virtuálních zařízení na fyzickéem zařízení. Součástí práce je i ukázková implementace běhového prostředí pokrývající lokální komunikaci a komunikaci prostřednictvím Ethernetu, implementaci podpory pro událostmi řízené a periodické úlohy a systémy s více spolupracujícími zařízeními.
|
|
|
Support for enterprise applications in SOFA 2
Blénessy, Tibor ; Bureš, Tomáš (vedoucí práce) ; Hnětynka, Petr (oponent)
Název práce: Support for Enterprise Applications in SOFA 2 Autor: Tibor Blénessy Katedra: Katedra distribuovaných a spolehlivých systém`u Vedoucí diplomové práce: RNDr. Tomáš Bureš, Ph.D. Abstrakt: Na zefektívnenie vývoja a na zvýšenie interoperability enterprise systé- mov sa vyvinuly štandardy definijúce rôzne aspekty týchto systémov. Pre systémy postavené na platforme Java sú tieto štandardy združené pod Java Enterprise Edition. Komponentový systém SOFA 2 ponúka dobrý základ na vývoj rozsiah- lych komponentovo orientovaných systémov. Cieľom tejto práce je navr- hnúť a experimentálne overiť možnosť integrácie existujúcich štandardov pre enterprise aplikácie v SOFA 2. Navrhnuté riešenie rozširuje možnosti SOFA 2 o tvorbu komponent pre webové rozhranie na základe Java Servlet API a o komponenty na ukla- danie dát do relačných databázových systémov pomocou štandardu Java Persistence API. Ďalej navrhnuté riešenie integruje kľúčové technológie z platformy Java Enterprise Edition, čo uľahčí budúcu integráciu ďalších štandardov. Klíčová slova: enterprise aplikace, komponentový systém, SOFA 2, Java EE
|
|
|
Distribution for Open Modeling Interface and Environment
Čurn, Jan ; Tůma, Petr (vedoucí práce) ; Bureš, Tomáš (oponent)
OpenMI je standard pro propojování simulačních modelů vody a životního prostředí. Standard a v současnosti dostupný podpůrný software ovšem podporuje pouze simulace běžící na jednom počítači, v jednom vlákně. Cílem práce bylo vytvoření systému schopného propojovat OpenMI modely běžící na různých počítačích pomocí síťového podsystému. Systém se skládá z uzlových serverů, které poskytují přístup k modelům registrovaným klienty. Klienti zpřístupňují své lokální modely serverům a také umožňují stávajícímu OpenMI softwaru transparentně přistupovat ke vzdáleným modelům registrovaným jinými uživateli.
|
|
|
Evaluace jazyků pro tvorbu chování inteligentních virtuálních agentů
Vykouk, Ondřej ; Gemrot, Jakub (vedoucí práce) ; Bureš, Tomáš (oponent)
Formalismů specializovaných na programování inteligentních virtuálních agentů (IVA) existuje několik desítek. Chybí ovšem evaluace, která by designérovi nového agenta poskytla základní přehled jejich použitelnosti v reálných aplikacích. Cílem práce byla evaluace vybraných formalismů s cílem identifikovat jejich nedostatky a navržení jejich vylepšení. Tato vylepšení by umožnila designérovi přesnější kontrolu chování IVA. Evaluace formalismů byla provedena na základě navržených reálných scénářů a jejich implementace v jednotlivých formalismech s využitím platformy Pogamut 3. Jedním z použitých formalismů je Jason (interpret jazyka AgentSpeak), který byl v rámci této práce s uvedenou platformou propojen. Během implementace scénářů byly identifikovány některé problémy tvorby chování inteligentních virtuálních agentů. Pro tyto problémy bylo navrženo řešení formou prototypu mechanismu výběru akcí (MVA) a základní metodologie tvorby chování pro nově navržený MVA. Výsledky této práce by se mohly stát výchozím bodem pro pokročilejší mechanismus výběru akcí, který umožní přesnější kontrolu chování inteligentních virtuálních agentů. Powered by TCPDF (www.tcpdf.org)
|
|
|
An extensible attribute framework for ProCom
Štěpán, Petr ; Bureš, Tomáš (vedoucí práce) ; Malohlava, Michal (oponent)
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 asociované v prubehu vývoje systému s entitami ProComu. Na základe analýzy procesu vývoje, jak jej predvídá Progress, jsou identifikovány požadavky na atributy entit ProComu a jsou analyzovány ruzné zpusoby jejich realizace. Vybrané rešení prináší vysoce strukturované, vícehodnotové a rozširitelné atributy. Práce dále obsahuje návrh a prototypovou implementaci atributového frameworku, který realizuje navržené koncepty a dokazuje tak jejich životaschopnost. Framework pokrývá potreby všech, kterí v prubehu vývoje systému pracují s atributy: nabízí rozširitelné, modulární GUI pro zobrazování a úpravu potenciálne velmi komplexních informací uchovávaných v atributech, rozhraní pro prístup k atributum z jiných programových modulu a dobre definované mechanismy rozširování množiny atributu o nové atributy, jejich typy a prostredky pro manipulaci s jejich hodnotami. Framework je integrován do Progress IDE, hlavního nástroje, který podporuje vývoj aplikací podle Progressu.
|
|
|
C-language code generator for SOFA 2
Ježek, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
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 a modeluje propojení mezi jednotlivými komponentami pomocí softwarových konektorů. Ty umožňují transparentní rozdistribuování vyvíjené aplikace mezi více počítačů. Implementace konektorů může být automaticky generována, SOFA 2 je primárně vyvíjena pro jazyk Java, proto obsahuje generátor Javovských konektorů. Cílem této magisterské práce je navrhnout generátor kódu pro jazyk C a zaintegrovat tento generátor do stávající struktury generátoru konektorů v systému SOFA 2. Automatické generování konektorů v jazyce C by mělo umožnit transparentní propojení komponent implementovaných v jazyce C. Navržený generátor C kódu je založený na konceptu transformace šablon, kde je vstupní šablona, která obsahuje kombinaci cílového C kódu a speciálně vyvinutého skriptovacího jazyka, převedena na čistý C kód. Pro vyhodnocení šablon je použito strategické přepisování abstraktních syntaktických stromů poskytnuté frameworkem Stratego/XT.
|
host ::
RSS.