Control System for an Automatic Assembly Line

摘要

Tato diplomová práce se zabývá naprogramováním řídicího systému pro automatizované montážní pracoviště zadních opěradel do osobních aut. V teoretické části je popis stanoviště, PLC, robota, elektrický utahováku a inteligentní kamery Sick. V praktické části jsou popsány vytvořené programy řídicího systému automatizovaného stanoviště. Dále je ještě v praktické části vysvětleno vytvoření modelu stanoviště a následné provedení formální verifikace základních bezpečnostních a funkčních vlastností.