Bakalářská práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Modelování systémů s reálným časem a pravděpodobností

Modeling systems with real-time and probability aspects

Eva Tesařová
Anotace

Práce se zaměřuje na formalismy, které umožňují zachytit kombinaci pravděpodobnostních, nedeterministických a časových vlastností systémů. U každého formalismu jsou stručně popsány způsoby specifikace požadavků a techniky používané pro ověřování modelu. Dále je navrženo rozšíření pravděpodobnostních časových automatů, které je porovnáno s nerozšířenou verzí, a je nastíněn způsob, jakým by mohla probíhat verifikace.

Abstract

The work focuses on formalisms that allow capturing a combination of probabilistic, nondeterministic and timed properties of systems. For each formalism there are briefly described the ways of specification of requirements and techniques used for model checking. Also the extension of probabilistic timed automata is proposed, which is compared with the unextended version and further there is outlined the way in which verification could take place.

Klíčová slova
Markovovy modely časový automat pravděpodobnostní časový automat časové a pravděpodobnostní temporální logiky ověřování modelu
Zadání práce
Cílem bakalářské práce je zpracovat přehled modelovacích formalismů pro účely modelování systémů kombinujících aspekty reálného času a pravděpodobnosti. Součastí přehledu bude demonstrace modelování jednotlivými formalismy na vhodných příkladech, a vzájemné porovnání formalismů vzhledem k možnostem verifikace. V práci bude dále navrženo jedno možné rozšíření vybraného formalismu, které bude řádně formálně zadefinováno a které bude porovnáno s jeho nerozšířenou verzí.
Administrativní informace
Práce zkontrolována:
20. 5. 2014 11:09, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
814,6 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
20. 6. 2014
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

prof. RNDr. Ivana Černá, CSc., učo 1419
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Eva Tesařová FI B-AP BcAP n3xt4/6
Drštková, E.
20. 3. 2014
Složky
Soubory
Anotace anglicky annotation_english.txt
Tesařová, E.
19. 5. 2014
Anotace česky annotation.txt
Tesařová, E.
19. 5. 2014
Klíčová slova keywords.txt
Tesařová, E.
19. 5. 2014
Plný text práce bakalarka.pdf
Tesařová, E.
19. 5. 2014
posudek oponenta posTesarova.pdf
Černá, I.
30. 5. 2014
Posudek vedoucího tesarova.pdf
Barnat, J.
28. 5. 2014

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.