Full metadata record
| DC pole | Hodnota | Jazyk |
|---|---|---|
| dc.contributor.advisor | Balda Pavel, Ing. Ph.D. | |
| dc.contributor.author | Ausberger, Tomáš | |
| dc.contributor.referee | Pišl Roman, Ing. | |
| dc.date.accepted | 2017-6-20 | |
| dc.date.accessioned | 2018-01-15T15:02:04Z | - |
| dc.date.available | 2016-10-3 | |
| dc.date.available | 2018-01-15T15:02:04Z | - |
| dc.date.issued | 2017 | |
| dc.date.submitted | 2017-5-5 | |
| dc.identifier | 71970 | |
| dc.identifier.uri | http://hdl.handle.net/11025/27095 | |
| dc.description.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í. | cs |
| dc.format | 55 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | cs | cs |
| dc.publisher | Západočeská univerzita v Plzni | cs |
| dc.rights | Plný text práce je přístupný bez omezení. | cs |
| dc.subject | model checking | cs |
| dc.subject | verifikace | cs |
| dc.subject | bezpečnostně kritické systémy | cs |
| dc.subject | formální metody | cs |
| dc.title | Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací | cs |
| dc.title.alternative | Model checking technique for development of safety critical applications | en |
| dc.type | diplomová práce | cs |
| dc.thesis.degree-name | Ing. | cs |
| dc.thesis.degree-level | Navazující | cs |
| dc.thesis.degree-grantor | Západočeská univerzita v Plzni. Fakulta aplikovaných věd | cs |
| dc.thesis.degree-program | Aplikované vědy a informatika | cs |
| dc.description.result | Obhájeno | cs |
| dc.rights.access | openAccess | en |
| dc.description.abstract-translated | 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. | en |
| dc.subject.translated | model checking | en |
| dc.subject.translated | verification | en |
| dc.subject.translated | safety critical systems | en |
| dc.subject.translated | formal methods | en |
| 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.