Bakalářská práce

Modelování stateflow diagramů pro účely verifikace

Modelling Stateflow Diagrams for Verification Purposes

Pavla Kratochvílová
Anotace

Tato práce popisuje převod Stateflow diagramů do vstupního jazyka model checkeru DiVinE za účelem formální verifikace systémů, jejichž selhání může způsobit škodu na majetku či zdraví. Byl implementován nástroj pro automatický překlad a byl porovnán s ostatními dříve vzniklými nástroji.

Abstract

The thesis presents transformation from Stateflow diagrams into the native input language of DiVinE model checker to make formal verification of safety critical systems possible. The automatic translation tool was implemented and compared with other approaches.

Klíčová slova
Formal verification model checking DiVinE model based development translation Simulink Stateflow
Zadání práce
Cílem práce je popsat, vytvořit a evaluovat aplikaci, která umožní modelovat stateflow diagramy z nástroje Simulink ve formalismu vhodném pro verifikaci metodou ověřování modelu. Součástí práce bude sada příkladů stateflow diagramů, na kterých bude možné transformaci demonstrovat a s rozumnou mírou důvěry vyhodnotit efektivitu celého přístupu.
Administrativní informace
Práce zkontrolována:
7. 1. 2015 12:09, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
407,5 KB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
3. 2. 2015
Práce nebyla obhájena
Studentka v rámci svého studia bakalářskou práci obhájila 19. 6. 2015.

Vedoucí

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

Oponent

RNDr. Nikola Beneš, Ph.D., učo 72525
KPSK FI MU
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 Pavla Kratochvílová FI B-IN MI roy5b/8
Tomíčková, M.
6. 1. 2015
Složky
Soubory
Anotace anglicky annotation_english.txt
Kratochvílová, P.
6. 1. 2015
Anotace česky annotation.txt
Kratochvílová, P.
6. 1. 2015
Klíčová slova keywords.txt
Kratochvílová, P.
6. 1. 2015
Plný text práce thesis.pdf
Kratochvílová, P.
6. 1. 2015
Posudek oponenta kratochvilova.pdf
Beneš, N.
23. 1. 2015
Posudek vedoucího kratochvilova_tqyhuamz.pdf
Barnat, J.
23. 1. 2015
Příloha examples.zip
Kratochvílová, P.
6. 1. 2015
Příloha sf2dve.zip
Kratochvílová, P.
6. 1. 2015

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