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

Quantitative Probabilistic Verification in Distributed Environment

Bc. Jiří Appl, učo 207620
Anotace

The goal of this thesis is to contribute to the practical probabilistic verification by implementing a reliable, distributed model checking tool for quantitative analysis. We focus on systems modeled by Markov decision processes which combine the best of both nondeterministic and probabilistic models. The checked properties are expressed with use of linear temporal logic. The tool is able to determine …více

Abstract

The goal of this thesis is to contribute to the practical probabilistic verification by implementing a reliable, distributed model checking tool for quantitative analysis. We focus on systems modeled by Markov decision processes which combine the best of both nondeterministic and probabilistic models. The checked properties are expressed with use of linear temporal logic. The tool is able to determine …více

Klíčová slova
Probabilistic Verification Model Checking Linear Temporal Logic Parallel and Distributed Environment Distributed Memory DiVinE Verification Framework Strongly Connected Components Accepting End Components
Zadání práce
The goal of the thesis is to examine existing algorithms for quantitative analysis of temporal properties of probabilistic systems and to design their realization on parallel platforms with both shared and distributed memory. Suggested algorithms are to be implemented within the verification framework DiVinE version 2.x and evaluated on a sample set of models. The thesis will also contain an experimental study of the behavior of implemented algorithms on available parallel platforms.
Administrativní informace
Práce zkontrolována:
1. 6. 2011 09:45, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
553 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
30. 6. 2011
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

Literatura

  • BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
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 Jiří Appl FI N-IN PDS, učo 207620 hrhwt/7
Appl, J.
30. 5. 2011
Složky
Soubory
Anotace anglicky annotation_english.txt
Appl, J.
30. 5. 2011
Anotace česky annotation.txt
Appl, J.
30. 5. 2011
cd.zip
Appl, J.
30. 5. 2011
Klíčová slova keywords.txt
Appl, J.
30. 5. 2011
Posudek oponenta posAppl.pdf
Černá, I.
16. 6. 2011
thesis.pdf
Appl, J.
30. 5. 2011

  • 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.