![](/images/graphics-bg.png)
Component-Based Formal Modeling of PLC Systems
المؤلفون المشاركون
Wang, Rui
Li, Xiaojuan
Zhang, Jie
Liming, Luo
Guan, Yong
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-04-22
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-493359
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)