DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Jaeseo | - |
dc.contributor.author | Kim, Sangki | - |
dc.contributor.author | Bae, Kyungmin | - |
dc.date.accessioned | 2023-02-27T04:40:33Z | - |
dc.date.available | 2023-02-27T04:40:33Z | - |
dc.date.created | 2023-02-27 | - |
dc.date.issued | 2022-12-07 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/115762 | - |
dc.description.abstract | A programmable logic controller (PLC) is widely used in industrial control systems, and Structured text (ST) is an imperative language to develop PLC programs. Because of its safety-critical nature, formally analyzing PLC programs is important, and a rewriting-based formal semantics of ST has been proposed for this purpose. This paper presents a bounded model checking technique for PLC ST programs based on the rewriting-based semantics. We apply rewriting modulo SMT to symbolically analyze LTL properties of ST programs with respect to sequences of (possibly infinite) inputs and outputs. We have demonstrated the effectiveness of our approach using a traffic light case study. | - |
dc.language | English | - |
dc.publisher | Association for Computing Machinery, Inc | - |
dc.relation.isPartOf | 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on | - |
dc.relation.isPartOf | FTSCS 2022 - Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, co-located with SPLASH 2022 | - |
dc.title | Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on, pp.56 - 67 | - |
dc.citation.conferenceDate | 2022-12-07 | - |
dc.citation.conferencePlace | NZ | - |
dc.citation.endPage | 67 | - |
dc.citation.startPage | 56 | - |
dc.citation.title | 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, co-located with the ACM SIGPLAN Conference on | - |
dc.contributor.affiliatedAuthor | Lee, Jaeseo | - |
dc.contributor.affiliatedAuthor | Kim, Sangki | - |
dc.contributor.affiliatedAuthor | Bae, Kyungmin | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.