Component-Based Formal Modeling of PLC Systems
Joint Authors
Wang, Rui
Li, Xiaojuan
Zhang, Jie
Liming, Luo
Guan, Yong
Source
Journal of Applied Mathematics
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-9, 9 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-04-22
Country of Publication
Egypt
No. of Pages
9
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Wang, Rui& Guan, Yong& Liming, Luo& Li, Xiaojuan& Zhang, Jie. 2013. Component-Based Formal Modeling of PLC Systems. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-9.
https://search.emarefa.net/detail/BIM-493359
Modern Language Association (MLA)
Wang, Rui…[et al.]. Component-Based Formal Modeling of PLC Systems. Journal of Applied Mathematics No. 2013 (2013), pp.1-9.
https://search.emarefa.net/detail/BIM-493359
American Medical Association (AMA)
Wang, Rui& Guan, Yong& Liming, Luo& Li, Xiaojuan& Zhang, Jie. Component-Based Formal Modeling of PLC Systems. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-9.
https://search.emarefa.net/detail/BIM-493359
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-493359