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
Abstract:
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.
 

Keywords

Model checking verifikace bezpečnostně kritické systémy formální metody
 
Language used: Czech
Date on which the thesis was submitted / produced: 5. 5. 2017
Accessible from:: 31. 12. 2999

Thesis defence

  • Supervisor: Ing. Pavel Balda, Ph.D.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

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

Full text of thesis

Accessibility: Autor si nepřeje zpřístupnění práce veřejnosti

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou nedostupné.
Other ways of accessing the text
Institution archiving the thesis and making it accessible: 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 Reference to the local database file of the institution