Název: Application for formal testing of PLC program
Autoři: Sýkora, Ondřej ; Arm, Jakub
Typ dokumentu: Příspěvky z konference
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií
Abstrakt: The paper deals with developing application for testing of selected errors contained in Siemens TIA Portal V16 PLC Project. The application is being developed for the company ICE Industrial Services. The application should find bugs that programmers or PLC code generators make, but TIA Portal cannot detect them defaultly. In this moment, application is able to open or find opened TIA Portal project and load its important parts to my structure – ProjectBlocks structure. Application can also find some errors described in Chapter 2.
Klíčová slova: C#, TIA Portal, TIA Portal Openness, Windows form application
Zdrojový dokument: Proceedings II of the 28st Conference STUDENT EEICT 2022: Selected papers, ISBN 978-80-214-6030-0

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/208601

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-511870


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Konferenční materiály > Příspěvky z konference