Bc. Tomáš AUSBERGER

Master's thesis

Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací

Model checking technique for development of safety critical applications
Anotácia:
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: Czech
Datum vytvoření / odevzdání či podání práce: 5. 5. 2017
Zverejniť od: 31. 12. 2999

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

  • Vedúci: 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ěd
Vázaný výtisk práce naleznete v Univerzitní knihovně ZČU, více na http://www.knihovna.zcu.cz/kvalifikacni-prace/