|
|
Detekce anomálií běhu RTOS aplikace
Arm, Jakub ; Jalovecký, Rudolf (oponent) ; Blecha, Petr (oponent) ; Bradáč, Zdeněk (vedoucí práce)
S vyššími požadavky na výpočetní výkon a bezpečnost (resp. funkční bezpečnost) zařízenív průmyslové doméně jsou vestavné systémy spolu s operačními systémy reálného času stálepředmětem výzkumu. Tato práce se zabývá kontrolním subsystémem běhu softwarovéhovybavení založeným na modelu aplikace, který zlepšuje diagnostické pokrytí chyb zejménaanomálií vykonávání RTOS. Po specifikaci architektury tohoto subsystému následujeformální definice modelu a jeho implementace do hardware, resp. FPGA. Práce popisujei další možné směry výzkumu a také přináší nové pohledy na rozebíranou problematiku,např. kombinaci s návrhovými vzory. Nedílnou součástí je i ověření funkčnosti navrhnutéhomodulu pomocí simulace na testovacích scénářích, které vychází ze změřeného záznamuudálostí reálné aplikace. Z výsledků vyplývá, že vyvinutý modul dosahuje řádově nižšíhočasu detekce než standardní watchdog.
|
|
|
Nástroj pro práci s Objektově orientovanými Petriho sítěmi
Neužil, Antonín ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce pojednává o vývoji a použití grafického editoru objektově orientovaných Petriho sítích implementovaných v jazyce PNtalk. Nejprve jsou zde popsány Petriho sítě rozšiřující se s postupem času. Navazuje na ně popis objektově orientovaného paradigma. Dále je zde popsána struktura objektově orientovaných Petriho sítí v implementaci PNtalku. Dále práce uvádí popis návrhu aplikace, kde je uvedena struktura celé aplikace z několika pohledů. Hlavní motivací pro vytvoření tohoto nástroje je snaha zpřístupnit objektově orientované Petriho sítě jejich uživatelům. Aplikace byla implementována ve frameworku JavaFX a celý postup je uveden v následující kapitole spolu s testováním. Výsledek práce je prezentován v příkladech obsažených v poslední kapitole, která obsahuje i podrobný manuál pro ovládání aplikace. Výsledný nástroj ve spolupráci s PNtalk serverem dovoluje uživatelům pohodlnější práci s OOPN a jejich vizuální podobou.
|
|
|
Klient-server aplikace pro modelování a simulaci na bázi DEVS
Brázdil, Martin ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato bakalářská práce se zabývá analýzou, návrhem a implementací aplikace pro modelování a simulaci na bázi DEVS. Jedná se o klient-server aplikaci, přičemž klient je implementován jako samonosná aplikace v jazyku Java. Server se zakládá na jazyku Smalltalk (přesněji Squeak) a vychází z existující aplikace SmallDEVS. V práci je čtenář obeznámen se základy systémů s diskrétními událostmi (DEVS) a Petriho sítí pro modelování a simulaci. Práce se rovněž věnuje návrhu uživatelsky přívětivého grafického rozhraní pro klientskou část, respektive editor.
|
|
|
Analýza rizik v managementu projektů
Paulenda, Ján ; Šuška, Boris (oponent) ; Kreslíková, Jitka (vedoucí práce)
Diplomová práce se zabývá problematikou managementu rizik s důrazem na etapu analýzy rizik. V rámci managementu rizik jsou popsané všechny důležité etapy, pojmy a techniky. V kontextě analýzy rizik je představeno několik používaných metod, přičemž je kladen důraz hlavně na Markovovu analýzu a analýzu pomocí Petriho sítí. Po důkladné analýze problematiky byl navržen a implementován systém pro podporu managementu rizik, přičemž byla zvolena právě Markovova analýza.
|
|
|
Interpret vysokoúrovňových Petriho sítí v Pythonu
Grigorev, Danil ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce je zaměřená na implementací interpretu vysokoúrovňových Petriho sítí v jayzce Python za použítí knihovny SNAKES. Je schopná provadění a pokročilé vizualizace navyřených sítí, které jsou popsané v jayzce Python. Vysledný simulator odpovidá zasadům distribuo- vaného systému, a podporuje provádí v realném čase. Konečný užívatel bude mít příležitost vyzkoušet intuitivní API pro vytvoření a spouštění vysokoúrovňových Petriho sítí.
|
|
|
Vizualizace Petriho sítí na Power Panelu
Krechler, Michal ; Malounek, Petr (oponent) ; Chomát, Luděk (vedoucí práce)
KRECHLER, M. Vizualizace Petriho sítí na Power Panelu. Brno: Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií, 2009. 75 s. Vedoucí bakalářské práce Ing. Luděk Chomát. V práci se řeší problematika Petriho síti pro simulaci technoologických procesů. Dále se zaměřuje na použití funkcí Automation Studia 3.0 při dynamickém zobrazování Petriho sítě na Power Panelu. Součástí je vytvoření několika vzorových Petriho sítí pro řízení modelů.
|
|
|
Garbage collector objektů jazyka PNtalk
Mišák, Ján ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá návrhem a implementací garbage collectoru pro virtuální stroj jazyka PNtalk. Jsou v ní popsány a zhodnoceny jednotlivé přístupy a konkrétní algoritmy pro automatickou správu paměti a detailne popsáno jejich využití v praktické implementaci pro vitruálne stroje PNtalku, které jsou implementovány v Smalltalku a C++. Práce uvádí čtyři rodiny algoritmů, a to rodiny mark-sweep, mark-compact, kopírovací algoritmy a počítání referencí. Nejprve jsou popsány sekvenční verze algoritmů, které zastavují běh hlavního programu (mutátoru), pak jsou uvedeny jejich paralelní a nakonec konkurentní verze, které běh mutátoru nezastavují. Práce též uvádí generační model garbage collectingu.Výsledkem práce je vypracování generačního garbage collectoru pro jazyk PNtalk, vypracování testů a na jejich zakladě odměření optimálních parametrů.
|
|
|
Kvalitní vizualizace Petriho sítí pro publikační účely
Bednář, Drahoslav ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce řeší problém grafické vizualizace Petriho sítí v textových publikacích. Cílem práce je vytvoření nástroje, který usnadní generování obrázků Petriho sítí a zároveň zajistí estetičtější grafický výstup, než dokáží existující postupy a nástroje. Byl použit simplexový algoritmus pro automatické rozložení uzlů sítě. Program má grafické rozhraní i textový režim a dokáže spolupracovat se známými mástroji pro práci s Petriho sítěmi, které text také zmiňuje. Program je schopný načíst soubor ve formátu pnml a vyprodukovat použitelný obrázek ve formátech png, pdf a svg.
|
|
|
Research in Fingerprint Damage Simulations
Kanich, Ondřej ; Matyáš, Václav (oponent) ; Champod, Christophe (oponent) ; Drahanský, Martin (vedoucí práce)
The goal of this research is to develop methods for fingerprint damage simulations. In the first part of this thesis the emphasis is placed on a summary of the current knowledge of synthetic fingerprint generation and the damage to these fingerprints. Moreover, general information about fingerprints, fingerprint recognition, and phenomena that damage fingerprints including skin diseases are stated herein. This thesis contains the design and implementation of the SyFDaS application for generation and modular damaging of fingerprints. The next part is a description of methods for damage by swipe mode, narrow sensor, damaged sensor, pressure and moisture, skin distortion, warts, atopic eczema, and psoriasis. Several other types of damage, including fingerprint spoofs, are analysed. Overall, there are 43 basic damages which were visually verified. Due to damage combinations, there are 1,171 types of damage and 348,300 fingerprint images generated, which were evaluated by four different quality measurement methods.
|
|
|
Detekce anomálií běhu RTOS aplikace
Arm, Jakub ; Jalovecký, Rudolf (oponent) ; Blecha, Petr (oponent) ; Bradáč, Zdeněk (vedoucí práce)
S vyššími požadavky na výpočetní výkon a bezpečnost (resp. funkční bezpečnost) zařízenív průmyslové doméně jsou vestavné systémy spolu s operačními systémy reálného času stálepředmětem výzkumu. Tato práce se zabývá kontrolním subsystémem běhu softwarovéhovybavení založeným na modelu aplikace, který zlepšuje diagnostické pokrytí chyb zejménaanomálií vykonávání RTOS. Po specifikaci architektury tohoto subsystému následujeformální definice modelu a jeho implementace do hardware, resp. FPGA. Práce popisujei další možné směry výzkumu a také přináší nové pohledy na rozebíranou problematiku,např. kombinaci s návrhovými vzory. Nedílnou součástí je i ověření funkčnosti navrhnutéhomodulu pomocí simulace na testovacích scénářích, které vychází ze změřeného záznamuudálostí reálné aplikace. Z výsledků vyplývá, že vyvinutý modul dosahuje řádově nižšíhočasu detekce než standardní watchdog.
|
host ::
RSS.