A New Method for Verification and Evaluation of PLC Software

Basit Öğe Kaydı
dc.contributor.authorOz, Muhammed Ali Nur
dc.contributor.authorKaymakçı, Özgür Turay
dc.date.accessioned2025-01-27T19:34:58Z
dc.date.available2025-01-27T19:34:58Z
dc.date.issued2023
dc.departmentÇanakkale Onsekiz Mart Üniversitesi
dc.description.abstractVarying 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.
dc.identifier.doi10.38088/jise.1120186
dc.identifier.endpage28
dc.identifier.issn2602-4217
dc.identifier.issue1
dc.identifier.startpage13
dc.identifier.trdizinid1182207
dc.identifier.urihttps://doi.org/10.38088/jise.1120186
dc.identifier.urihttps://search.trdizin.gov.tr/tr/yayin/detay/1182207
dc.identifier.urihttps://hdl.handle.net/20.500.12428/16785
dc.identifier.volume7
dc.indekslendigikaynakTR-Dizin
dc.language.isoen
dc.relation.ispartofJournal of Innovative Science and Engineering (JISE)
dc.relation.publicationcategoryMakale - Ulusal Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/openAccess
dc.snmzKA_TRD_20250125
dc.subjectBilgisayar Bilimleri
dc.subjectYazılım Mühendisliği
dc.titleA New Method for Verification and Evaluation of PLC Software
dc.typeArticle

Dosyalar

Koleksiyon

TR-Dizin İndeksli Yayınlar Koleksiyonu