Application for Formal Testing of PLC Program
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F22%3APU144629" target="_blank" >RIV/00216305:26220/22:PU144629 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Application for Formal Testing of PLC Program
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings II of the 28th Conference STUDENT EEICT 2022 Selected papers
ISBN
978-80-214-6030-0
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
0-0
Publisher name
Brno University of Technology, Faculty of Electrical Engineering and Communication
Place of publication
Brno
Event location
Brno
Event date
Apr 26, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—