Zpět na vyhledávání

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.
 

Klíčová slova

Model checking verifikace bezpečnostně kritické systémy formální metody
 
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

Citovat tuto práci
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ěd
Vázaný výtisk práce naleznete v Univerzitní knihovně ZČU, více na http://www.knihovna.zcu.cz/kvalifikacni-prace/
https://portal.zcu.cz/stag?urlid=prohlizeni-prace-detail&praceIdno=71970 Odkaz na soubor do lokálního úložiště instituce