Application for formal testing of PLC program
Loading...
Date
2022
Authors
Sýkora, Ondřej
Arm, Jakub
ORCID
Advisor
Referee
Mark
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií
Altmetrics
Abstract
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.
Description
Citation
Proceedings II of the 28st Conference STUDENT EEICT 2022: Selected papers. s. 53-56. ISBN 978-80-214-6030-0
https://conf.feec.vutbr.cz/eeict/index/pages/view/ke_stazeni
https://conf.feec.vutbr.cz/eeict/index/pages/view/ke_stazeni
Document type
Peer-reviewed
Document version
Published version
Date of access to the full text
Language of document
en
Study field
Comittee
Date of acceptance
Defence
Result of defence
Document licence
© Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií