|
|
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
|
|
|
Systém pro monitorování pohybu majetku a osob
Nechanický, Jaromír ; Ježek, Pavel (vedoucí práce) ; Malohlava, Michal (oponent)
V dnešní době je zejména u velkých firem kladen důraz na zabezpečení majetku a monitorování pracovních zvyklostí zaměstnanců. Předmětem této práce je vytvoření modulárního systému umožňujícího sledování pohybu majetku a osob v uzavřeném prostranství (areál firmy, vlakový vagon atd.). Při tvorbě systému byl kladen důraz na rozmanitost použitého hardware. Systém je navržen tak, aby spolupracoval s nejrůznějšími druhy RFID čteček, infračervených závor, kamer a dalších. Součástí systému je PC klientská aplikace umožňující sledování pohybu v "online" režimu a zároveň zobrazovat různé reporty za uplynulá období. Pro využití například v bezpečnostních agenturách byla vytvořena aplikace pro mobilní zařízení s platformou Windows Mobile, umožňující "online" zobrazení polohy všech RFID čipů a jiných událostí.
|
|
| |
|
|
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.
|
|
|
Plánovač tras
Hryzlík, Pavel ; Malohlava, Michal (vedoucí práce) ; Ježek, Pavel (oponent)
Název práce: Plánovač tras Autor: Pavel Hryzlík Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: RNDr. Michal Malohlava, Katedra distribuovaných a spolehlivých systémů Abstrakt: Systémy navigace se stávají nedílnou součástí našeho života. Ve větších městech, pokud je třeba se dopravit z místa A do místa B, je často výhodné využít kombinaci sítě veřejné hromadné dopravy a chůze. Stávající navigační systémy však tuto funkcionalitu plně nepodporují. Proto cílem této práce je navrhnout a implementovat plánovač tras založený na vyhledávací knihovně JRGPS. Výsledná aplikace Route Finder System umožňuje efektivní a uživatelsky přívětivé vyhledávání tras kombinující sítě veřejné hromadné dopravy a chůze. Klíčová slova: plánovač, navigace, trasa, cesta, MHD
|
|
|
Using Stratego/XT for Generation of Software Connectors
Malohlava, Michal ; Bureš, Tomáš (vedoucí práce) ; Ježek, Pavel (oponent)
Softwarové konektory hrají významnou roli v komponentových systémech, kde pomáhají modelovat a realizovat spojení mezi komponentami. Krom toho můžou také rozšiřovat vlastnosti spojení přidíním definované funkcionality (např. logování, monitorování, adaptace). Pro tyto účely je ale nutné konektory generovat v závislosti na podmínkách, které jsou specifikovány vlastními komponentami, prostředím a nebo návrhářem. Tato práce se snaží rozšířit existující generátor konektorů [33] pomocí systému Stratego/XT, který zahrnuje jazyk pro implementaci programových transformací a sadu podpůrných nástrojů. Pomocí tohoto systému realizujeme způsob, kterým lze snadno definovat vlastní implementaci softwarového konektoru a následně vygenerovat zdrojový kód konektoru dle daných požadavků.
|
|
|
Connector generation process enhancement
Raszyk, Jan ; Malohlava, Michal (vedoucí práce) ; Bureš, Tomáš (oponent)
Softwarové konektory poskytují možnost, jak modelovat a realizovat propojení komponent v komponentových systémech. Jednou z výhod konektorů je, že sestavení jejich programového kódu lze provádět automatizovaně - generovováním kódu. Softwarové konektory také reektují různé další extra-funkční požadavky (např. logování, bezpečnosti, adaptaci, měření). Generátor konektorů by proto měl umožňovat snadnou rozšiřitelnost funkčnosti generovaných konektorů. Použitelnost generátorů konektrů také ovlivňuje jeho platformová přenositelnost. Tato práce si klade za cíl vylepšit generování kódu softwarových konektrů v komponentovém systému SOFA. Na základě reálných požadavků tohoto systému rozširuje funkcionalitu exstujícího generátoru konektrů za účelem rozšíření množiny konektorů, jež lze generovat. Rovněž práce řeší platformovou přenositelnost generátoru konektorů založeného na nástroji StrategoXT.
|
|
|
Distribuovaný cron
Záloha, Jan ; Malohlava, Michal (vedoucí práce) ; Poch, Tomáš (oponent)
Administrace většího počtu počítačů, jak v domácích, tak rozsáhlejších sítích, přináší potřebu centralizované správy spouštění periodických úloh. K tomu se běžně používá služba cron, která však typicky neumí běžet distribuovaně na větším množství počítačů. Proto tato práce navrhuje a implementuje službu pro operační systém Windows, která umožňuje periodicky spouštět úlohy podle nastavení jednotlivých uživatelů. Služba funguje jednak lokálně, to znamená podle nastavení lokálních uživatelů, a zároveň volitelně distribuovaně, kdy si klienti automaticky stahují ze serveru nastavení, která specifikují spouštění lokálních úloh. Služba zároveň poskytuje rozhraní pro monitorování své činnosti. Velký důraz je kladen na zabezpečení síťové komunikace a množství nezbytných dat přenášených po síti.
|
|
|
SOFA 2 runtime support for dynamic languages
Keznikl, Jaroslav ; Malohlava, Michal (vedoucí práce) ; Hnětynka, Petr (oponent)
Komponentové systémy umožňují vytvářet rozsáhlé aplikace složené ze znovupoužitelných softwarových komponent. Vývoj těchto komponent je ovšem v mnoha dnešních komponentových systémech složitý, především díky zdlouhavému vývojovému cyklu. Jednou z možností, jak urychlit vývoj komponent, je využít dynamické jazyky umožňující změnit implementaci za běhu bez nutnosti kompilace a restartování. Podpora komponent implementovaných v těchto jazycích by mohla zjednodušit vývoj prototypů komponentových aplikací a rozšířit možnosti komponentových aplikací o další výhody dynamických jazyků (dynamické typování proměnných atd.). Cílem této práce je rozšířit komponentový systém SOFA 2 o podporu pro primitivní komponenty implementované pomocí dynamických jazyků. Toto rozšíření je založeno na mechanismu komponentových aspektů a je implementováno tak, aby co nejméně modifikovalo běhové prostředí SOFA 2. Kromě základní podpory jsou součásti implementace i nástroje pro dynamické změny kódu běžících skriptovaných komponent. Na základě tohoto rozšíření práce vyhodnocuje potenciál kontrolní části systému SOFA 2 (postavené na koncepci mikrokomponent) pro implementaci rozšíření běhového prostředí. A to především takových rozšíření, která integrují nové implementační technologie jako například dynamické jazyky.
|
|
|
Variability of Execution Environments for Component-based Systems
Malohlava, Michal ; Bureš, Tomáš (vedoucí práce) ; Racek, Stanislav (oponent) ; Duchien, Laurence (oponent)
Znovu použitelnost je jedním ze základních pilířů softwarového inženýrství. Tato vlastnost umožňuje vyvíjet systémy nejen rychleji ale také s menším úsilím. Proto tato dizertační práce zkoumá limity znovu použitelnosti v rámci komponentových systémů. Na základě analýzy současných komponentových systémů nachází jejich společné vlastnosti a rozdíly. Dosažené poznatky shrnuje do návrhu meta-komponentového systému - softwarové výrobní linky pro přípravu komponentových systémů na míru specifikovaným požadavkům. Práce se dále soustředí na definici vlastního meta-komponentového systému a rozebírá jeho důležité aspekty, které jsou klíčové pro přípravu nového komponentového systému - (1) konfigurovatelné běhové prostředí a (2) generování kódu. Pro řešení (1) práce přináší modelem řízenou metodu přípravy konfigurovatelného běhového prostředí. V návaznosti na tuto metodu rozebírá generování kódu, definuje a vysvětluje roli interoperability doménově specifických jazyků v tomto procesu. Dále práce rozšiřuje koncept interoperability a definuje rodinu jazyků parametrizovanou obecným programovacím jazykem.
|
host ::
RSS.