|
|
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.
|
|
|
Interpret Petriho sítí pro řídicí systémy s procesorem Atmel
Minář, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační a úložní kapacity, tak i výkonu. A tedy značně ovlinila návrh a implentaci samotného interpretu. Ten je hlavní náplní této práce a bude tedy detailně popsán z obou zmíněných pohledů. Protože při všech krocích byl kladen důraz na možnost verifikace a simulace samotného interpretu, byl pro implementaci použit jazyk smalltalk na platformě squeak. Ten nám umožnil testovat interpret na PC a následně jej přeložit pro cílovou architekturu v nezměněné podobě. Motivace k tomuto řešení a podrobný popis převodu jsou rovněž předmětem této práce.
|
|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Webový prohlížeč pro Squeak Smalltalk
Šlemr, Martin ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá popisem webového prohlížeče Scamper v prostředí Squeak Smalltalk, jeho dosavadního vývoje, nového návrhu a implementace, která respektuje CSS box model a vizuální formátovací model včetně tabulek. Také objasňuje pojmy související s prohlížeči obecně a technologií kolem Internetu jako protokol HTTP a struktura pro popis dokumentů MIME. Další částí je popis systému Squeak Smalltalk a jeho grafického prostředí Morphic.
|
host ::
RSS.