|
|
Rozpoznávání a sledování objektů
Fejfar, Petr ; Obdržálek, David (vedoucí práce) ; Bureš, Tomáš (oponent)
Práce se zabývá rozpoznáváním a sledováním objektů pomocí dálkoměrných laserových senzorů. Práce zkoumá řešení podobných problémů jinými autory a analyzuje problém jako takový. Je vybrána aplikace úlohy v prostředí robotické soutěže jako refereční problém, který je následně vyřešen. Je kladen důraz na případný port řešení na ne-PC platformy. Základním kamenem řešení jsou Kalmanovy filtry a identifikace objektů podle jejich pozice a rychlosti. Powered by TCPDF (www.tcpdf.org)
|
|
|
Řídící systém pro autonomního robota
Pilát, Ondřej ; Obdržálek, David (vedoucí práce) ; Bureš, Tomáš (oponent)
Práce popisuje návrh a implementaci řídícího systému pro autonomního robota, který je schopný projet uživatelem definovanými body v neznámém prostředí, bez kolize s překážkami. V práci je uvedena analýza dostupných hardwarových a softwarových řešení, modulární návrh s implementací řídícího systému rozděleného na samostatně použitelné podsystémy (řízení, lokalizace, plánování cesty, jízda robota po hermitovské křivce a nízkoúrovňové ovládání hardwaru robota). Práce také uvádí popis přestavby současné školní robotické platformy. Implementace byla otestována na vzniklé robotické platformě. Jízda robota po hermitovské křivce umožňuje plynulý a v některých případech i rychlejší průjezd definovanými body, než průjezd skládající se z otáčení na místě a přímé jízdy. 1
|
|
|
Dynamic Software Architectures for Resilient Distributed Systems
Keznikl, Jaroslav ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Loreti, Michele (oponent)
Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových vlastností a vlastností prostředí však velmi ztěžuje vývoj softwarových architektur pomocí dnes dostupných softwarových modelů a abstrakcí. Proto se tato dizertační práce snaží přinést: (1) nové abstrakce, které jsou speciálně uzpůsobeny potřebám dynamických softwarových architektur RDS, (2) softwarové modely a procesy, které usnadňují použití těchto abstrakcí během vývoje, a (3) prostředky pro efektivní implementaci, provoz i analýzu softwarových architektur postavených na těchto abstrakcích. Tato práce řeší bod (1) zavedením komponentového modelu DEECo, jenž je založen na konceptu ensemblů komponent. Práce dále přispívá k (2) představením metody Invariant Refinement Method, která zajišťuje spolehlivý formalizovaný vývoj softwarových architektur postavených na DEECo, a uvedením metody ARCAS, která se soustředí na spolehlivou realizaci dynamických spojení komponent, typických pro DEECo. Práce se věnuje (3) prostřednictvím formalizace operační sémantiky komponentového modelu DEECo a projekcí této sémantiky do jazyka Java formou prototypu běhového prostředí - jDEECo. Tato sémantika je dále...
|
|
|
DEECo Cloudlets Exploratory Study
Kinšt, Jakub ; Bureš, Tomáš (vedoucí práce) ; Horký, Vojtěch (oponent)
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 zařízení, které může vést k úspoře omezených zdrojů jako baterie. Součástí řešení je analýza problematiky, identifikace možných problémů a komplikací, které jsou následně vyřešeny návrhem a implementací referenční architektury sloužící k offloadování jednotlivých částí mobilních aplikací a řízené vrstvou založenou na komponentovém modelu DEECo. Implementace ve formě frameworku je demonstrována pomocí dvou aplikací pro platformu Android. Nakonec jsou výkon a užitečnost frameworku otestovány a změřeny porovnáním stejné aplikace ve stavu bez offloadování a s offloadováním. Powered by TCPDF (www.tcpdf.org)
|
|
|
Security and Trust in the DEECo Component Model
Štumpf, Ondřej ; Bureš, Tomáš (vedoucí práce) ; Kruliš, Martin (oponent)
DEECo je příkladem Cyber-Physical Systému (CPS), který se může skládat z potenciálně velkého množství komponent schopných sdílet mezi sebou data. Dosud nebyl jednotlivým komponentám nijak omezen přístup k datům, což jim umožňovalo zneužít citlivé informace vlastněné jinými komponentami. Cílem této práce je analyzovat bezpečnostní hrozby existující v distribuovaných prostředích podobných DEECo a navrhnout bezpečnostní řešení, které by zajišťovalo jak fyzickou bezpečnost dat, tak i řízení přístupu k nim. Zatímco však důvěrnost informací může být důležitá pro některé aplikace, jejich integrita je klíčová téměř pro všechny. V této práci je proto dále navržen model řešící důvěru mezi jednotlivými komponentami, který zabraňuje použití chybných či podvržených dat. Oba návrhy jsou realizovány v systému jDEECo, implementaci DEECo v jazyce Java.
|
|
|
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Pavliš, Filip ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
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ílem práce je výzkum a implementace analýzy, která bude schopna identifikovat zastarávání hodnot, které vzniká z důvodu zpoždění při rozvrhování a komunikaci v systémech reálného času. Analýza bude navržena pro Ensemble-Based Component System (EBCS) sémantiku, která umožňuje formální specifikaci vstupu a zároveň je dostatečně obecná. Hlavním úkolem bude nalézt správný vstupní model analýzy a její možné limity. Úsilí by mělo být vloženo do balancování mezi úrovní abstrakce, kterou poskytneme uživateli, a sílou analýzy jako takové. Hlavním přínosem analýzy bude detekce situací, při nichž jsou data, která jsou zpracovávána v systému, zastaralá a mohou způsobit nevhodné chování jednotlivých komponent.
|
|
|
ProCom middleware
Kunčar, Jiří ; Bureš, Tomáš (vedoucí práce) ; Pop, Tomáš (oponent)
Cílem práce je navhnout a implementovat části midlewaru, který poskytuje nut- nou podporu pro běh ProCom komponent nad real-time operačním systémem FreeRTOS. ProCom je název komponentového modelu pro vestavěné systémy vyvinutý na Mälardalen University. Primární úlohou je nalezení vhodného kompomisu mezi úrovní abstrakce a ohleduplného využívání systémových zdrojů ve vestavěných systémech. Definovaná cílová platforma má mnohé limitující faktory v porovnání s běžným počítačem. K těmto omezením patří zejména omezená paměť, procesor nebo přenosová kapacita komunikačních kanálů a zároveň strikní požadavky na spolehlivost a odezvu systému. Při řešení jsme čelili problému s limitujícími nebo chybějícími technickými prostředky pro odstraňování chyb programu. V práci jsou řešeny problémy s rozdílností operačních systémů bez a s real-time podporou. Zaměřili jsme se na nalezení společné podmnožiny funkcí systému nezbytné pro zajištění adekvátní podpory běhu navržených komponent. Rovněž jsme nalezli a otestovali vhodné knihovny pro různé druhy síťové komunikace zejména TCP/IP, i když jsme si plně vědomi jejich limitů při použití v real-time systémech a analýze jejich chování.
|
|
|
Deployment of SOFA 2 applications for the LeJOS platform
Baquero Forero, Juan Rodrigo ; Hnětynka, Petr (vedoucí práce) ; Bureš, Tomáš (oponent)
Vestavěné systémy jsou v naší společnosti všudypřítomné. Ovládájí vozidla, letadla a lékařské nástroje. Některé z těchto systémů jsou distribuované. Jsou součástí sítě a jejich činnost je koordionvána. Vývoj softwaru pro takovéto systémy může s sebou nést problémy. V této práci navrhneme komponentový systém založený na SOFA 2, určený k zjednodušení vývoje software pro distribuované, vestavěné systémy, kde rozvržení jednotlivých součástí sítě je spravováno výhradně tímto komponentovým systémem. Jako model pro distribuované, vestavěné systémy použijeme Lego Mindstorms. Navrhovaný přístup prezentuje bezvadnou distribuci komponent, nicméně pro plné využití potenciálu komponentového systému musí být v implemntaci zadáný nefunkcionální požadavky jako paměť, velikost programu nebo velikost disku.
|
|
|
RTEMS Support for Lego NXT
Kačmarik, František ; Bureš, Tomáš (vedoucí práce) ; Děcký, Martin (oponent)
RTEMS je voľne šíriteľný operačný systém reálneho času, používaný v mnohých vstavaných zariadeniach zahrňujúci rôzne procesorové architektúry. Lego Mindstorms NXT je programovateľná robotická sada spoločnosti Lego, ktorá môže byť použitá ako výukový nástroj pre výstavbu modelov vstavaných systémov s počítačom riadenými mechanickými časťami. Cieľom diplomovej práce je umožniť vývoj RTEMS aplikácií pre Lego Mindstorms NXT, výsledkom práce je výuková platforma použiteľná v predmete Vestavěné systémy a systémy reálneho času. Práca preto identifikuje vhodný spôsob portovania RTEMS na Lego NXT, poskytuje behové prostredie a uvádza spôsob nahrávania a ladenia RTEMS aplikácií na platforme Lego Mindstorms NXT. Powered by TCPDF (www.tcpdf.org)
|
|
|
Deployment of SOFA-HI applications on the nxtOSEK platform
Kaščák, Kamil ; Bureš, Tomáš (vedoucí práce) ; Pop, Tomáš (oponent)
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 založeného na komponentách. Táto práca rozširuje existujúcu implementáciu o možnosť vývoja a nasadenia SOFA-HI aplikácii na nxtOSEK, ktorý predstavuje jednoduchý operačný systém reálneho času spolu s hardwarovou podporou pre LEGO Mindstorms NXT. Práca taktiež upravuje existujúce nástroje pre vývoj a nasadenie SOFA 2 aplikácii, kde pridáva podporu pre platformu nxtOSEK. Práca ďalej poskytuje komponenty pre umožnenie komunikácie so štandardnými NXT senzormi a poháňacími zariadeniami. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.