| Název: | Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací |
| Další názvy: | Model checking technique for development of safety critical applications |
| Autoři: | Ausberger, Tomáš |
| Vedoucí práce/školitel: | Balda Pavel, Ing. Ph.D. |
| Oponent: | Pišl Roman, Ing. |
| Datum vydání: | 2017 |
| Nakladatel: | Západočeská univerzita v Plzni |
| Typ dokumentu: | diplomová práce |
| URI: | http://hdl.handle.net/11025/27095 |
| Klíčová slova: | model checking;verifikace;bezpečnostně kritické systémy;formální metody |
| Klíčová slova v dalším jazyce: | model checking;verification;safety critical systems;formal methods |
| Abstrakt: | 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í. |
| Abstrakt v dalším jazyce: | 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. |
| Práva: | Plný text práce je přístupný bez omezení. |
| Vyskytuje se v kolekcích: | Diplomové práce / Theses (KKY) |
Soubory připojené k záznamu:
| Soubor | Popis | Velikost | Formát | |
|---|---|---|---|---|
| prace.pdf | Plný text práce | 827,52 kB | Adobe PDF | Zobrazit/otevřít |
| ausberger-v.pdf | Posudek vedoucího práce | 433,71 kB | Adobe PDF | Zobrazit/otevřít |
| ausberger-o.pdf | Posudek oponenta práce | 302,58 kB | Adobe PDF | Zobrazit/otevřít |
| ausberger-p.pdf | Průběh obhajoby práce | 168,82 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/27095Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.