|
|
Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám
Suchánek, Martin ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Spoľahlivosť je dôležitou súčasťou rôznych systémov. Cieľom práce je vytvorenie spoľahlivostných modelov niektorých opravovaných a neopravovaných systémov odolných proti poruchám a následné vyhodnocovanie ich spoľahlivostných ukazateľov. Na vytváranie modelov je využitý nástroj Uppaal spolu s rozšírením SMC, ktoré slúži na verifikáciu. Výsledkom práce je overenie modelov a vyhodnocovanie spoľahlivostných ukazateľov s využitím nástroja Uppaal SMC.
|
|
|
Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Mazánek, Antonín ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Diplomová práce seznamuje s nástrojem Uppaal. Popisuje principy a možnosti modelování a analýzy systémů pomocí tohoto nástroje. Dále se blíže zabývá formáty souborů, které nástroj Uppaal používá. Strukturou souboru XML, sloužící pro uložení vytvořených systémů, formátem XTR, který nástroj používá k ukládání simulačních běhů, a formátem IF, který je nutný k porozumění obsahu souboru ve formátu XTR. V textu je zmíněna i dostupná programová podpora pro práci s těmito formáty. Další částí, kterou se tato diplomová práce zabývá, já návrh uživatelsky přívětivé reprezentace simulačních běhů spolu s návrhem a implementací aplikace, která provádí překlad simulačních běhů nástroje Uppaal do navržené reprezentace. Na konci práce je zmíněno možné pokračování v projektu spolu s hodnocením navržené reprezentace a aplikace pro překlad.
|
|
|
Vliv ESP/ESC na chování vozidla
Weigel, Filip ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá aktivním prvkem bezpečnosti vozidel - ESP. Systém ESP velmi významně pomáhá se stabilizací vozidla při zatáčení. Práce rozebírá modelování, princip fungování brzd, popis podřízených systémů - ABS a ASR, fyzikální jevy a síly, vzorový příklad, rozbor problému, návrh modelu, implementaci modelu a vyhodnocení experimentů s modelem v prostředí UPPAAL. Cílem práce je prokázat, že systém ESP pomáhá stabilizovat vozidlo při zatáčení pomocí simulačního modelu vozidla. Výsledky jsou prezentány v přehledných grafech. Z grafů lze analyzovat chování vozidla s ESP a bez ESP.
|
|
|
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
|
|
|
Systém pro zabezpečení a střežení objektů a prostor
Kuchařík, David ; Kubek, Ján (oponent) ; Strnadel, Josef (vedoucí práce)
Tento projekt se zabývá existujícími možnostmi zabezpečení, jak mechanickou tak elektronickou cestou. Jako objekt pro zabezpečení byl vybrán řadový rodinný dům se zahradou. Byly rozpracovány dva návrhy na zabezpečení a střežení tohoto objektu. Jeden ve formě kamerového systému a druhý v podobě klasického systému EZS. Bylo provedeno zhodnocení a vyzvednutí nejvýznamnější výhody jednotlivých návrhů. Na základě zadaných kritérií byl vybrán systém založený na ústředně a k ní připojených detektorech. Posléze byl vytvořen model vybraného systému, u kterého byla provedena simulace a verifikace požadovaného chování a nástin implementace v jazyce C.
|
|
|
Výpočetní model a analýza systému adaptivních semaforů
Terbr, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Bakalářská práce se věnuje tématu adaptivních křižovatek a studiem jejich vlivu na plynulost provozu a jiné. V práci je obsažen rozbor aktuálně používaných dopravních detektorů, rozbor hlavních problémů klasických křižovatek a možnosti jejich řešení, následně návrh modelu, popis realizace a testování vytvořeného modelu. Výsledný model je vytvořen v softwaru UPPAAL SMC a jedná se o systém navzájem komunikujících časovaných automatů. Testování probíhá porovnáváním výsledků testů klasických semaforů s výsledky adaptivních semaforů.
|
|
|
Výpočetní model a analýza energeticky úsporných budov
Kaleta, Radoslav ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Diplomová práca sa zaoberá analýzou vlastností vonkajšieho a vnútorného prostredia budov, možnosťami vykurovania a chladenia. Dôraz je kladený najmä na energetickú náročnosť a vplyv počasia na vývoj teplôt v budove počas roka. Vytvorený model prostredníctvom nástroja UPPAAL SMC popisuje správanie vykurovania a chladenia počas roka a zisťuje energetickú náročnosť zadanej budovy. Samotný model budovy je možné čiastočne upraviť pomocou vytvoreného uživateľského rozhrania.
|
|
|
Modelování a analýza řízení samočinně parkujícího vozidla
Krucina, Marek ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Tato bakalářská práce se zabývá samočinně parkujícími vozidly a jejich chováním. Popisuje různé stupně automatizace parkování a s tím spojené technologie. Zabývá se kinematickým modelem vozidla a různými způsoby reprezentace pohybu. Shrnuje základní modelovací nástroje a věnuje se především nástroji UPPAAL SMC, ve kterém je následně vytvořen model samočinně parkujícího vozidla a jeho okolí, jehož implementace je v práci popsána. V závěru práce je vytvořený model podroben analýze pomocí metody statistického ověřování modelu a následně je zkoumán vliv hustoty provozu.
|
|
|
Privacy Protection on Mobile Devives
Aron, Lukáš ; Hudec,, Ladislav (oponent) ; Drahanský, Martin (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses privacy protection on mobile devices and presents the method for protecting these data against information leakage. The security is focused on using the mobile device for personal purposes and also for the working environment. The concept of the design solution is implemented in the form of prototype. Model of implementation is verified with the model of required behavior. The thesis also consists of experiments with prototype and verification experiments on defined models.
|
|
|
Analýza rizik spojených se samočinně řízenými vozidly
Weigel, Filip ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
{Cílem práce bylo navrhnout a implementovat systém pro analýzu rizik v samočinně řízených vozidlech. Práce se zaměřila návrh a implementaci systému pro řešení analýzy rizik založené na modelech. Požadavkem na systém byla jeho flexibilita a robustnost. Návrh analýzy rizik byl nejprve předveden v teoretické rovině a poté implementován v modelech systémů ABS a ESP v prostředí UPPAAL. Systém byl dále podroben různým experimentům a testům pro ověření jeho funkcionality. Na implementovaném systému byly vykonané experimenty. Experimenty byly přínosné a systém pro analýzu rizik korektně vyhodnocoval scénáře selhání a adekvátně na vzrůstající riziko reagoval. Výsledky experimentů byly prezentovány na grafech s komentářem daných scénářů selhání.
|
host ::
RSS.