Model Checking of Control-User Systems – Mgr. Pavlína Moravcová Vařeková
Mgr. Pavlína Moravcová Vařeková
Disertační práce
Model Checking of Control-User Systems
Model Checking of Control-User Systems
Anotace:
Řada reálných softwarových systémů (tzv. kontroler-uživatel systémů) je složena ze stabilní části (kontroler) a libovolného počtu dynamických komponent stejného typu (uživatel). Modely těchto systémů jsou parametrizovány počtem komponent uživatelů a tudíž stavové prostory těchto modelů mají potenciálně nekonečně mnoho stavů. Tradiční techniky na ověřování modelu (model checking) proto mohou být použity …víceAbstract:
Many real software systems, so called control-user systems, are composed of a stable part (control component) and a number of dynamic components of the same type (user components). Models of these systems are parametrised by the number of user components and thus have infinite size of state space. Traditional model checking techniques can be used to verify only specific instances of the systems. This …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 10. 2. 2009
Identifikátor:
https://is.muni.cz/th/sntlw/
Obhajoba závěrečné práce
- Obhajoba proběhla 25. 5. 2009
- Vedoucí: prof. RNDr. Ivana Černá, CSc.
- Oponent: dr. Markus Lumpe, Mgr. Jiří Adámek, 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 informatikyDoktorský studijní program / obor:
Informatika (čtyřleté) / Informatika
Práce na příbuzné téma
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Formal Verification of Component Interaction in Component-Based Systems
Nikola Beneš -
Formal Verification of Finite-State Stochastic Systems
Vojtěch Forejt -
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
Himanshu Kumar Haran