|
| |
|
|
Na modelech založený návrh řízení Smart Home
Čada, Roman ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá návrhem, který je založený na modelu, řídicího systému Smart Home a následnou realizací tohoto systému. Cílem je vytvořit model, který slouží jako návrh, a podle tohoto modelu i realizovat systém. K tomu dobře slouží programovací nástroje, které fungují na bázi modelu. V práci je nejprve popsán na modelech založený návrh, modelovací jazyky, které slouží k tvorbě takového návrhu, a technologie, které se ve Smart Home používají. Na základě těchto poznatků je vytvořen model jako návrh pomocí modelovacího jazyku SysML a následně je tento návrh realizován pomocí programů PowerDEVS a Node-RED.
|
|
| |
|
|
Simulační server pro DEVS
Šimara, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem této diplomové práce bylo navrhnout a implementovat simulační server pro DEVS využívající již existujícího systému SmallDEVS. V práci se budeme hlavně zabývat popisem DEVS formalismu, systému SmallDEVS a implementovaného simulačního serveru. Ten poskytuje funkce pro vzdálené vytváření nových DEVS modelů, editování existujících modelů a funkce pro řízení simulace. Navíc server zaznamenává informace o změnách stavu modelu v průběhu simulace, takže je možné zjistit stav modelu v libovolném simulačním čase. To umožňuje následně provádět analýzu těchto dat a získat tak více informací o průběhu simulace, což doposud nebylo možné. V práci je uveden detailní popis komunikačního protokolu popisující komunikaci mezi klientem a serverem. Tento protokol je možné snadno aktualizovat v případě, že do systému SmallDEVS přidáme nějakou novou funkci. K otestování implementovaného simulačního serveru byl vytvořen prototyp klienta, který implementuje tento komunikační protokol a umožňuje uživateli pracovat se systémem SmallDEVS na serveru.
|
|
|
Pokročilý simulátor mikrokontrolérů rodiny MSP430
Kaluža, Jan ; Bidlo, Michal (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Cílem této diplomové práce je seznámení s mikrokontrolery MSP430, návrh simulátoru těchto mikrokontrolerů s možností rozšíření o další periferie a jeho implementace. Po stručném úvodu do problematiky následuje popis mikrokontrolerů rodiny MSP430 včetně jejich interních periferií a formátů pro uložení jejich binárního kódu. Dále práce pokračuje popisem událostně řízené simulace se zaměřením na formalismus DEVS. Na základě předchozích kapitol je pak proveden návrh simulátoru složeného ze simulačního jádra, knihovny simulující mikrokontroler MSP430 a grafického uživatelského rozhraní. Tento návrh je implementován a ověřen oproti reálnému mikrokontroleru. Formou případové studie je popsána tvorba nových rozšiřujících modulů v jazyce Python a C++ a v závěru práce je celý simulátor zhodnocen.
|
|
|
Na modelech založený návrh řízení Smart Home
Čada, Roman ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá návrhem, který je založený na modelu, řídicího systému Smart Home a následnou realizací tohoto systému. Cílem je vytvořit model, který slouží jako návrh, a podle tohoto modelu i realizovat systém. K tomu dobře slouží programovací nástroje, které fungují na bázi modelu. V práci je nejprve popsán na modelech založený návrh, modelovací jazyky, které slouží k tvorbě takového návrhu, a technologie, které se ve Smart Home používají. Na základě těchto poznatků je vytvořen model jako návrh pomocí modelovacího jazyku SysML a následně je tento návrh realizován pomocí programů PowerDEVS a Node-RED.
|
|
|
DEVS Simulator Implementation in C++20
Šurina, Timotej ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
This master's thesis deals with the issue of modeling and simulation of systems based on the DEVS formalism. The result of this work is a library that is inspired by the adevs tool and based on the classical DEVS formalism. The library is implemented in the programming language C++20 and is supplemented by predefined models of components for creation of queueing systems. The library also contains a set of examples for use in teaching. In comparison with the paralel adevs tool it is less effective but it has simpler interface with focus on clarity, which is more important for teaching. The library also simplifies definition of models with the use of modules, intelligent pointers for memory management and the use of mentioned components.
|
|
|
Model robota Trilobot
Štěpán, Miroslav ; Janoušek, Vladimír (oponent) ; Hrubý, Martin (vedoucí práce)
Tato diplomová práce popisuje tvorbu modelu pohybu mobilního robota Trilobot, který je následně implementován do jednoduchého simulačního nástroje. Jsou zde popsány experimenty provedené s tímto robotem, stručně je popsán nástroj SmallDEVS s jehož využitím je model v prostředí Squeak Smalltalku implementován. Motivací této práce je zjednodušení návrhu a testování navigačních algoritmů pro robota Trilobot, který je studentům FIT VUT v Brně k dispozici v robotické laboratoři ÚITS. Tvorbou jednoduchého simulačního nástroje by se tedy dala i částečně snížit závislost na fyzické dostupnosti tohoto robota.
|
|
|
Modelem řízený návrh softwarových systémů
Hanák, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá moderním přístupem při vytváření softwarových systémů, který se nazývá modelem řízený návrh softwarových systémů. Jedná se o metodiku, která odstraňuje řadu kritických problémů, jež se vyskytují při konvenčním návrhu systémů. Hlavní myšlenka tohoto poměrně nového přístupu se zakládá na možnosti automatického, či poloautomatického generování výsledného kódu z konceptuálních modelů.
|
|
| |
host ::
RSS.