Publication result detail

Application for Formal Testing of PLC Program

SÝKORA, O.; ARM, J.

Original Title

Application for Formal Testing of PLC Program

English Title

Application for Formal Testing of PLC Program

Type

Paper in proceedings (conference paper)

Original 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.

English 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.

Keywords

C#, TIA Portal, TIA Portal Openness, Windows form application

Key words in English

C#, TIA Portal, TIA Portal Openness, Windows form application

Authors

SÝKORA, O.; ARM, J.

RIV year

2022

Released

26.04.2022

Publisher

Brno University of Technology, Faculty of Electrical Engineering and Communication

Location

Brno

ISBN

978-80-214-6030-0

Book

Proceedings II of the 28th Conference STUDENT EEICT 2022 Selected papers

Edition

1

Pages from

53

Pages to

56

Pages count

4

URL

https://www.eeict.cz/eeict_download/archiv/sborniky/EEICT_2022_sbornik_2_v3.pdf

BibTex

@inproceedings{BUT178039,
  author="Ondřej {Sýkora} and Jakub {Arm}",
  title="Application for Formal Testing of PLC Program",
  booktitle="Proceedings II of the 28th Conference STUDENT EEICT 2022 Selected papers",
  year="2022",
  series="1",
  pages="53--56",
  publisher="Brno University of Technology, Faculty of Electrical Engineering and Communication",
  address="Brno",
  isbn="978-80-214-6030-0",
  url="https://www.eeict.cz/eeict_download/archiv/sborniky/EEICT_2022_sbornik_2_v3.pdf"
}

Documents

eeict_xsykor34_finalni