Zpět na vyhledávání

Bc. Pavla Kratochvílová

Bakalářská práce

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

Modelling Stateflow Diagrams for Verification Purposes
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řevod 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 transformation tool was implemented and compared with other approaches.
 

Keywords

Formal verification model checking DiVinE model based development transformation Simulink Stateflow
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 5. 2015
Identifikátor: https://is.muni.cz/th/r1zte/

Obhajoba závěrečné práce

  • Obhajoba proběhla 19. 6. 2015
  • Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
  • Oponent: RNDr. Nikola Beneš, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika

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

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