Verifikace programů pro PLC
PLC program verification
Typ dokumentu
diplomová prácemaster thesis
Autor
Maslikiewicz Ondřej
Vedoucí práce
Burget Pavel
Oponent práce
Šebek Zdeněk
Studijní obor
Systémy a řízeníStudijní program
Kybernetika a robotikaInstituce přidělující hodnost
katedra řídicí technikyObhájeno
2017-02-09Práva
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.htmlVysokoš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
Metadata
Zobrazit celý záznamAbstrakt
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í. 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.
Kolekce
- Diplomové práce - 13135 [328]