Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací – Bc. Tomáš AUSBERGER
Bc. Tomáš AUSBERGER
Diplomová práce
Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací
Model checking technique for development of safety critical applications
Anotace:
V této práci je nastíněna problematika bezpečnostně kritických systémů. Dále jsou zde popsány principy metody Model checking a možnosti jejího využití při návrhu modelu bezpečnostně kritických systémů. V poslední části této práce je tato metoda použita na dvou zadaných modelech a je vyhodnocen přínos jejího využití.Abstract:
This thesis outlines the issue of safety-critical systems. Here are also described the principles of the Model Checking method and the possibilities of its use in the design of a model of safety critical systems. In the last part of this work, this method is used on two models and the contribution of its use is evaluated.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 5. 5. 2017
Zveřejnit od: 31. 12. 2999
Obhajoba závěrečné práce
- Vedoucí: Ing. Pavel Balda, Ph.D.
Citační záznam
Jak správně citovat práci
AUSBERGER, Tomáš. Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací. Plzeň, 2017. diplomová práce (Ing.). ZÁPADOČESKÁ UNIVERZITA V PLZNI. Fakulta aplikovaných věd
Plný text práce
Právo: Autor si nepřeje zpřístupnění práce veřejnosti
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou nedostupné.
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: ZÁPADOČESKÁ UNIVERZITA V PLZNI, Fakulta aplikovaných vědVázaný výtisk práce naleznete v Univerzitní knihovně ZČU, více na http://www.knihovna.zcu.cz/kvalifikacni-prace/
ZÁPADOČESKÁ UNIVERZITA V PLZNI
Fakulta aplikovaných vědMagisterský studijní program / obor:
Aplikované vědy a informatika / Kybernetika a řídicí technika
Práce na příbuzné téma
-
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Tomáš AUSBERGER -
Testování zabezpečení v sítích pro bezpečnostně kritické aplikace
Nils WEISS -
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Tomáš AUSBERGER -
Model Checking Software
Petr Ročkai -
Model Checking Software
Petr Ročkai -
Refined Büchi automata for faster model checking
Vojtěch Rujbr -
External Memory LTL Model Checking
Pavel Šimeček -
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Tomáš AUSBERGER