Bakalářská práce

Verifikace hybridních systémů

Verification of Hybrid Systems

Bc. Mária Svoreňová
Anotace

Hlavnou úlohou práce je popísať a porovnať nástroje pre verifikáciu hybridných systémov. V prvej kapitole sa čitateľ oboznámi s touto štruktúrou. Nasleduje prehľad 8 dostupných nástrojov, najmä ich vstupných formalizmov a stručný popis ich algoritmov. Tieto sú potom porovnané čo sa týka softwarových požiadaviek a charakteristík, ale aj sily a expresivity vstupného jazyka. Spustiteľné programy sú tiež …více

Abstract

The main task of this thesis is to describe and compare existing tools for hybrid systems verification. In first chapter reader is introduced with this structure. It is followed by description of 8 tools, especially their input formalisms and algorithm nature. Software requests, characteristics and input language strength are then compared in tables, executable tools are compared on several common …více

Klíčová slova
Hybridný automat hybrid automata hybridný systém hybrid system verifikácia verification verifikačný nástroj verification tool dosažiteľnosť reachability bezpečnosť safety syntéza ovládača controller synthesis HyTech PHAVer Checkmate d/dt HSolver MultiParametric Toolbox MATISSE KeYmaera
Zadání práce
Cílem bakalářské práce je zpracovat přehled existujících softwarových nástrojů pro verifikaci hybridních systémů. Práce by se měla zaměřit zejména na rozdíly jednotlivých vstupních formalizmů a zhodnotit jejich výhody a nevýhody. Součástí přehledu by měl být nástin kompletního verifikačního procesu vybraného nebo vybraných verifikačních nástrojů. Na základě zpracovaného přehledu by práce měla navrhnout koncept, kterým by bylo možné rozšířit standardní enumerativní přístup k verifikaci lineárních vlastností systémů metodou ověřování modelu (LTL Model Checking).
Administrativní informace
Práce zkontrolována:
13. 1. 2010 11:53, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
296,1 KB / soubor PDF
Jazyk práce
slovenština slovenština
Termín obhajoby
1. 2. 2010
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
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 Mária Svoreňová FI B-IN MI ltve6/7
Svoreňová, M.
3. 1. 2010
Složky
Soubory
Anotace anglicky annotation_english.txt
Svoreňová, M.
3. 1. 2010
Anotace česky annotation.txt
Svoreňová, M.
3. 1. 2010
Klíčová slova keywords.txt
Svoreňová, M.
3. 1. 2010
Posudek_oponenta.pdf posudek_oponenta.pdf
Černá, I.
20. 1. 2010
Verifikacia_hybridnych_systemov.pdf
Svoreňová, M.
3. 1. 2010
Vstupne_a_vystupne_subory.zip
Svoreňová, M.
3. 1. 2010

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