Modelování stateflow diagramů pro účely verifikace – Bc. Pavla Kratochvílová
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.
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.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Matematická informatika
Práce na příbuzné téma
-
Development of GT-Power Model of a Gasoline Engine with Low Pressure EGR Suitable for Model-Based Predictive Control of an Air Path
Jakub Jaroš -
Development of a scoring model based on fuzzy rules for Syrian Microfinance sector
Osama Darwish -
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
Himanshu Kumar Haran -
Craig's Interpolant in Model Checking Algorithms
Viktória Vozárová -
Symbolic Model Checking via Program Transformations
Henrich Lauko -
Formal Verification of Component Interaction in Component-Based Systems
Nikola Beneš