Verifikace programů pro PLC
PLC program verification
dc.contributor.advisor | Burget Pavel | |
dc.contributor.author | Maslikiewicz Ondřej | |
dc.date.accessioned | 2017-02-16T13:52:37Z | |
dc.date.available | 2017-02-16T13:52:37Z | |
dc.date.issued | 2017-01-19 | |
dc.identifier | KOS-587865075805 | |
dc.identifier.uri | http://hdl.handle.net/10467/67332 | |
dc.description.abstract | Tato práce se zabývá analýzou a kontrolou PLC programu. Její soucástí je nástroj pro automatické generování binárních rozhodovacích diagramu a stavových automatu pro promenné, které jsou použity v PLC programu. Hlavním cílem práce je prevést program napsaný v Ladder Diagramu prímo do BDD a stavového automatu. Kontrola programu je provedena prevedením do UPPAAL a následnou verifikací. | cze |
dc.description.abstract | This thesis is about analyzing and verification of PLC program. There is also an instrument for automatical generating of binar decision diagram and for state machines for variables which are used in PLC program. Main result of thesis is translation of program in Ladder Diagram into BDD and state machine. Verification of the program is made by translation of state machine into UPPAAL. | eng |
dc.language.iso | CZE | |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | PLC (Programovatelný logický kontrolér), PLC program, Binární rozhodovací diagram,Stavový automat, Verifikace, Analýza | cze |
dc.subject | PLC (Programmable Logic Controller), PLC program, Binary Decision Diagram, Statemachine, Verification, Analysis | eng |
dc.title | Verifikace programů pro PLC | cze |
dc.title | PLC program verification | eng |
dc.type | diplomová práce | cze |
dc.type | master thesis | eng |
dc.date.accepted | 2017-02-09 | |
dc.contributor.referee | Šebek Zdeněk | |
theses.degree.discipline | Systémy a řízení | cze |
theses.degree.grantor | katedra řídicí techniky | cze |
theses.degree.programme | Kybernetika a robotika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Diplomové práce - 13135 [328]