Detail publikace

Application for Formal Testing of PLC Program

SÝKORA, O. ARM, J.

Originální název

Application for Formal Testing of PLC Program

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální 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

Autoři

SÝKORA, O.; ARM, J.

Vydáno

26. 4. 2022

Nakladatel

Brno University of Technology, Faculty of Electrical Engineering and Communication

Místo

Brno

ISBN

978-80-214-6030-0

Kniha

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

Edice

1

Strany od

53

Strany do

56

Strany počet

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"
}

Dokumenty

eeict_xsykor34_finalni.pdf