Application for Formal Testing of PLC Program
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Application for Formal Testing of PLC Program
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Application for Formal Testing of PLC Program
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20205 - Automation and control systems
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2022
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings II of the 28th Conference STUDENT EEICT 2022 Selected papers
ISBN
978-80-214-6030-0
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
0-0
Název nakladatele
Brno University of Technology, Faculty of Electrical Engineering and Communication
Místo vydání
Brno
Místo konání akce
Brno
Datum konání akce
26. 4. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—