A New Method for Verification and Evaluation of PLC Software
Varying market demands and changes in production standards require production systems to be effortlessly modifiable and quickly operational. On the other hand, designing, developing, and testing the control system of a new production system prove costly and time-consuming. Therefore, most engineers...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Bursa Technical University
2023-06-01
|
| Series: | Journal of Innovative Science and Engineering |
| Subjects: | |
| Online Access: | http://jise.btu.edu.tr/tr/pub/issue/76470/1120186 |
| _version_ | 1797794938443792384 |
|---|---|
| author | Muhammed Ali Nur ÖZ Özgür Turay KAYMAKÇI |
| author_facet | Muhammed Ali Nur ÖZ Özgür Turay KAYMAKÇI |
| author_sort | Muhammed Ali Nur ÖZ |
| collection | DOAJ |
| description | Varying market demands and changes in production standards require production systems to be effortlessly modifiable and quickly operational. On the other hand, designing, developing, and testing the control system of a new production system prove costly and time-consuming. Therefore, most engineers write code intuitively and apply basic and insufficient tests. Moreover, most of the code developed for industrial control systems is still written manually using the ladder programming language. At the same time, almost all code development platforms support users with only manual test interfaces. This causes the testing process to be very long and laborious. In addition, not all possible input and output combinations of the code can be tested most of the time. This is a serious handicap, especially for safety-related systems. This study aims to develop a reusable and quickly implementable method that will accurately translate RTC program and the behavior of RTC in a modular Petri net model. Through this translated model, the system and safety requirements written in the Computation Tree Logic can be verified. An advantage of this method is that it does not require a plant model which makes it reusable for new plants and provides a quick verification method for code written intuitively. A case study is given to demonstrate the correctness of our method. |
| first_indexed | 2024-03-13T03:10:18Z |
| format | Article |
| id | doaj.art-df97c4a3af1c4a5e92024c4eb4423ecb |
| institution | Directory Open Access Journal |
| issn | 2602-4217 |
| language | English |
| last_indexed | 2024-03-13T03:10:18Z |
| publishDate | 2023-06-01 |
| publisher | Bursa Technical University |
| record_format | Article |
| series | Journal of Innovative Science and Engineering |
| spelling | doaj.art-df97c4a3af1c4a5e92024c4eb4423ecb2023-06-26T15:40:50ZengBursa Technical UniversityJournal of Innovative Science and Engineering2602-42172023-06-0171132810.38088/jise.1120186A New Method for Verification and Evaluation of PLC SoftwareMuhammed Ali Nur ÖZ0https://orcid.org/0000-0002-4347-3583Özgür Turay KAYMAKÇI 1https://orcid.org/0000-0001-7553-6887Yıldız Technical UniversityCanakkale Onsekiz Mart UniversityVarying market demands and changes in production standards require production systems to be effortlessly modifiable and quickly operational. On the other hand, designing, developing, and testing the control system of a new production system prove costly and time-consuming. Therefore, most engineers write code intuitively and apply basic and insufficient tests. Moreover, most of the code developed for industrial control systems is still written manually using the ladder programming language. At the same time, almost all code development platforms support users with only manual test interfaces. This causes the testing process to be very long and laborious. In addition, not all possible input and output combinations of the code can be tested most of the time. This is a serious handicap, especially for safety-related systems. This study aims to develop a reusable and quickly implementable method that will accurately translate RTC program and the behavior of RTC in a modular Petri net model. Through this translated model, the system and safety requirements written in the Computation Tree Logic can be verified. An advantage of this method is that it does not require a plant model which makes it reusable for new plants and provides a quick verification method for code written intuitively. A case study is given to demonstrate the correctness of our method.http://jise.btu.edu.tr/tr/pub/issue/76470/1120186industrial automationprogrammable logic controller (plc)code verificationsafety |
| spellingShingle | Muhammed Ali Nur ÖZ Özgür Turay KAYMAKÇI A New Method for Verification and Evaluation of PLC Software Journal of Innovative Science and Engineering industrial automation programmable logic controller (plc) code verification safety |
| title | A New Method for Verification and Evaluation of PLC Software |
| title_full | A New Method for Verification and Evaluation of PLC Software |
| title_fullStr | A New Method for Verification and Evaluation of PLC Software |
| title_full_unstemmed | A New Method for Verification and Evaluation of PLC Software |
| title_short | A New Method for Verification and Evaluation of PLC Software |
| title_sort | new method for verification and evaluation of plc software |
| topic | industrial automation programmable logic controller (plc) code verification safety |
| url | http://jise.btu.edu.tr/tr/pub/issue/76470/1120186 |
| work_keys_str_mv | AT muhammedalinuroz anewmethodforverificationandevaluationofplcsoftware AT ozgurturaykaymakci anewmethodforverificationandevaluationofplcsoftware AT muhammedalinuroz newmethodforverificationandevaluationofplcsoftware AT ozgurturaykaymakci newmethodforverificationandevaluationofplcsoftware |