|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (vedoucí práce)
Simulink Block Library for LEGO NXT Abstrakt Dominik Škoda July 30, 2014 Cílem této práce je vytvořit podporu platformy LEGO NXT ve vývojářském prostředí Simulink. Takováto podpora cílové platformy již existuje, ale má několik nevýhod. Především je určena výhradně pro operační systémy Windows a její implementace je uzavřená, tudíž se nedá rozšířit ani přizpůsobit. Důraz, v tomto projektu, je kladen především na podporu operačních systémů založených na Linuxu a na otevřenosti celého řešení umožňující rozšíření a přizpůsobení pro- jektu. Modelem řízený vývoj systémů pro platformu LEGO NXT za pomoci tohoto projektu zahrnuje testování modelu pomocí simulace a generování kódu v prostředí Simulinku s využitím jeho standardních nástrojů a nasazování hotových programů na cílová zařízení. Systémy vygenerované s pomocí tohoto projektu se řadí mezi systémy reálného času.
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (vedoucí práce)
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. V současné době existuje jen referenční implementace, která je napsaná v Javě a proto nemůže být použita pro vestavěné systémy. Jako součást této práce bylo navrženo mapování DEECo do C++ a zabudovaný framework CDEECo++ používající FreeRTOS pro plánování a synchronizaci. Ukázková aplikace, navržená pro STM32F4, demonstruje použitelnost frameworku. Tato práce obsahuje popis mapování DEECo do jazyka C++, zdrojové kódy frameworku CDEECo++, dokumentaci a ukázkovou aplikaci včetně základních měření jejích real-time vlastností. Powered by TCPDF (www.tcpdf.org)
|
|
|
Component-based engineering of Smart Cyber-Physical systems
Kit, Michal ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Carlson, Jan (oponent)
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním chováním celého systému (emergent behaviors), jež by jinak nebyly možné. Komponenty, ze kterých se jednotlivý SCPS skládá, jsou velmi často rozdílné co do účelu, chování i dostupných zdrojů. Tyto charakteristiky SCPS komponent (zejména kombinace jejich různorodosti a kooperace) přispívají k celkové odolnosti (resilience) takovýchto systémů, stejně jako k jejich souvislému fungování (availability) - což jsou klíčové vlastnosti, jejichž maximální splnění je očekáváno od moderních distribuovaných systémů. Jelikož jsou SCPS poměrně nový koncept, není pro ně podpora ve formě nástrojů pro návrh a vývoj, které by umožnily systematický inženýrský proces jejich tvorby. Cílem této práce je poskytnout metody, které se soustředí na fáze vývoje, verifikace a nasazení v rámci takového procesu. Zejména si práce klade za cíl poskytnout následující: (i) vhodné abstrakce pro modelování SCPS; (ii) běhové prostředí pro jejich nasazení a operaci; (iii) simulační nástroj umožňující verifikaci na systémové úrovni. Tyto prvky dohromady jsou dodány coby součásti frameworku DEECo, který je postaven na bázi...
|
|
|
Application Server NG
Píchová, Marie ; Ježek, Pavel (vedoucí práce) ; Bureš, Tomáš (oponent)
Titul: Application Server NG Autor: Marie Píchová Katedra: Katedra distribuovaných a spolehlivých systém· Vedoucí: Mgr. Pavel Ježek, Ph.D. Abstrakt: Tato práce se zabýva propietárním řešením aplikačního serveru, který umožňuje vykonávání podnikových proces·. Existující rešení takovéhoto serveru je analyzováno, kde hlavním zaměřením analýzy byla jednoduchost vytváření nových proces·. Z této analýzy pak vychází návrh nového řešení, jehož implementace tvoří zásadní část této práce. Během implementace byli použity technologie jako: Microsoft .NET, WCF, Oracle, ODP.NET, PostgreSQL, Npgsql a PostSharp. Klíčová slova: Aplikační server, programovací praktiky, asychnronní pro- gramování, aspektové programování, distribuované transakce, .NET, WCF, Oracle, PostgreSQL.
|
|
|
Punch Press Simulator
Královec, Jiří ; Bureš, Tomáš (vedoucí práce) ; Obdržálek, David (oponent)
Tato práce se zabývá návrhem a realizací výukové podpory pro předměty zabývající se systémy reálného času. Záměrem práce je vytvoření platformy, prostřednictvím které budou mít studenti možnost seznámit se s jednotlivými aspekty tvorby software specifickými pro systémy reálného času. Realizovaná platforma sestává ze tří částí -- řadiče, řízeného stroje a jeho vizualizace. Stroj reprezentuje konkrétní průmyslový stroj, v tomto případě se jedná o punch press. Řadič umožňuje řízení stroje a vizualizace zobrazuje uživateli jeho aktuální stav. V rámci praktické výuky mají studenti možnost vytvářet programy pro řadič, který daný stroj řídí, vizualizace pak průběžně poskytuje vizuální informaci o stavu stroje a o případném chybném řízení. Platforma je realizovaná jako hardware-in-the-loop simulace, to znamená, že procesor a zařízení řadiče jsou skutečné hardwarové komponenty, ale daný průmyslový stroj je pouze softwarová simulace. Zvolené řešení, kdy reálný průmyslový stroj je nahrazen jeho simulací, má nízké jak pořizovací náklady, tak náklady na provoz a zároveň eliminuje možnost poškození drahého zařízení v případě chybného řídícího programu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Privacy issues of the Internet of Things
Mašek, Martin ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
V dnešní době jsme čím dál tím více obklopeni senzory a zařízeními. Navíc je zde rostoucí tendence připojovat senzory a zařízení k internetu. Takovouto síť nazýváme internetem věcí. Cena za výpočetní výkon klesá, a tím pádem je možno levně sbírat a analyzovat data. Proto jsme schopni získat vhled do různých domén. To může být problémem v komerční sféře, neboť nechceme prozradit proprietární know- how nebo data. Osobní data jsou další nemalý problém, neboť je možno analyzovat chování lidí či získat jejich citlivé informace jako zdraví či návyky v oblasti utrácení. Diplomová práce se zabývá zmíněnými problémy. Powered by TCPDF (www.tcpdf.org)
|
|
|
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
Huječek, Adam ; Bureš, Tomáš (vedoucí práce) ; Arcaini, Paolo (oponent)
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 spolehlivosti těchto systémů. Ze situací mimo očekávanou "obálku adaptability" mohou povstat všemožné problémy, od poruchy jedné komponenty až po selhání celého systému. Samoadaptační přístupy jsou typicky omezeny na volbu taktiky z pevně dané množiny taktik. Meta-adaptační strategie posouvají hranice adaptability vlastní systému vytvářením nových taktik za běhu. Tato práce rozvíjí a implementuje vybrané meta-adaptace pro IRM-SA v jDEECo a vyhodnocuje jejich účinnost na experimentálním scénáři založeném na případové studii o koordinaci hasičů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
Simulink Block Library for LEGO NXT Abstrakt Dominik Škoda July 30, 2014 Cílem této práce je vytvořit podporu platformy LEGO NXT ve vývojářském prostředí Simulink. Takováto podpora cílové platformy již existuje, ale má několik nevýhod. Především je určena výhradně pro operační systémy Windows a její implementace je uzavřená, tudíž se nedá rozšířit ani přizpůsobit. Důraz, v tomto projektu, je kladen především na podporu operačních systémů založených na Linuxu a na otevřenosti celého řešení umožňující rozšíření a přizpůsobení pro- jektu. Modelem řízený vývoj systémů pro platformu LEGO NXT za pomoci tohoto projektu zahrnuje testování modelu pomocí simulace a generování kódu v prostředí Simulinku s využitím jeho standardních nástrojů a nasazování hotových programů na cílová zařízení. Systémy vygenerované s pomocí tohoto projektu se řadí mezi systémy reálného času.
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (vedoucí práce) ; Bednárek, David (oponent)
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. V současné době existuje jen referenční implementace, která je napsaná v Javě a proto nemůže být použita pro vestavěné systémy. Jako součást této práce bylo navrženo mapování DEECo do C++ a zabudovaný framework CDEECo++ používající FreeRTOS pro plánování a synchronizaci. Ukázková aplikace, navržená pro STM32F4, demonstruje použitelnost frameworku. Tato práce obsahuje popis mapování DEECo do jazyka C++, zdrojové kódy frameworku CDEECo++, dokumentaci a ukázkovou aplikaci včetně základních měření jejích real-time vlastností. Powered by TCPDF (www.tcpdf.org)
|
|
|
DEECo Component Model Framework on Android Mobile Platform
Sipták, Daniel ; Bureš, Tomáš (vedoucí práce) ; Gemrot, Jakub (oponent)
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 jDEECo implementace DEECo komponentového modelu, která je portována na platformu Android. Návrh řešení synchronizace společného stavu je navržen a implementován za pomoci JGroups knihovny. Prezentovány jsou možná řešení a implementace vytvořeného produktu. Ako poslední je ukázána demo aplikace, na které je vidět použití funkcí vytvořeného frameworku.
|
host ::
RSS.