Dp 606 cz
Skočit na navigaci
Skočit na vyhledávání
Verifikace programů pro PLC
Autor: Ondřej Maslikiewicz
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í.
- Maslikiewicz Ondřej, mailto:masliond@fel.cvut.cz