Component-Based Formal Modeling of PLC Systems
Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. Good verification model should be faithful and concise. At one hand, the model must be consistent with the system at the other hand, the model must have suitable...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2013/721624 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832547482805993472 |
|---|---|
| author | Rui Wang Yong Guan Luo Liming Xiaojuan Li Jie Zhang |
| author_facet | Rui Wang Yong Guan Luo Liming Xiaojuan Li Jie Zhang |
| author_sort | Rui Wang |
| collection | DOAJ |
| description | Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. Good verification model should be faithful and concise. At one hand, the model must be consistent with the system at the other hand, the model must have suitable scale because of the state explosion problem of verification. This paper proposes a systemic method for the construction of verification model. PLC system architecture and PLC features are modeled as components. This is universal for all PLC applications. We give an automatic translation method for software modeling based on operational semantics. A small example is demonstrated
for our approach. |
| format | Article |
| id | doaj-art-115536324a0546f99127df7d7d1e99cd |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-115536324a0546f99127df7d7d1e99cd2025-02-03T06:44:37ZengWileyJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/721624721624Component-Based Formal Modeling of PLC SystemsRui Wang0Yong Guan1Luo Liming2Xiaojuan Li3Jie Zhang4College of Information Engineering, Capital Normal University, Beijing 100048, ChinaCollege of Information Engineering, Capital Normal University, Beijing 100048, ChinaCollege of Information Engineering, Capital Normal University, Beijing 100048, ChinaCollege of Information Engineering, Capital Normal University, Beijing 100048, ChinaCollege of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, ChinaFunctional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. Good verification model should be faithful and concise. At one hand, the model must be consistent with the system at the other hand, the model must have suitable scale because of the state explosion problem of verification. This paper proposes a systemic method for the construction of verification model. PLC system architecture and PLC features are modeled as components. This is universal for all PLC applications. We give an automatic translation method for software modeling based on operational semantics. A small example is demonstrated for our approach.http://dx.doi.org/10.1155/2013/721624 |
| spellingShingle | Rui Wang Yong Guan Luo Liming Xiaojuan Li Jie Zhang Component-Based Formal Modeling of PLC Systems Journal of Applied Mathematics |
| title | Component-Based Formal Modeling of PLC Systems |
| title_full | Component-Based Formal Modeling of PLC Systems |
| title_fullStr | Component-Based Formal Modeling of PLC Systems |
| title_full_unstemmed | Component-Based Formal Modeling of PLC Systems |
| title_short | Component-Based Formal Modeling of PLC Systems |
| title_sort | component based formal modeling of plc systems |
| url | http://dx.doi.org/10.1155/2013/721624 |
| work_keys_str_mv | AT ruiwang componentbasedformalmodelingofplcsystems AT yongguan componentbasedformalmodelingofplcsystems AT luoliming componentbasedformalmodelingofplcsystems AT xiaojuanli componentbasedformalmodelingofplcsystems AT jiezhang componentbasedformalmodelingofplcsystems |