![](/images/graphics-bg.png)
Modelling the Embedded Control System Using iUML-B Pattern State Machine
المؤلفون المشاركون
Peng, Han
Du, Chenglie
Rao, Lei
Liu, Zhouzhou
المصدر
Journal of Control Science and Engineering
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-06-12
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
هندسة كهربائية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Developing the formal model based on the Event-B design pattern is an excellent method to improve the development efficiency of the embedded control system and improve the reusability of the formal model.
However, the instantiation of the Event-B design pattern requires the manual writing of a large number of model codes, which brings a great deal of learning cost and coding burden to the engineering staff.
In this paper, we propose a modelling approach for formal development of control systems based on the application of iUML-B state machine patterns to model the four synchronization patterns of the typical control system.
Then, we use the instantiation of iUML-B pattern state machine to establish a typical multilevel control system's Event-B model.
The simulation results show that the event trace of the model obtained using our method is the same as that of the corresponding model obtained using the traditional Event-B design pattern.
Compared with the traditional Event-B design pattern method, our method can greatly reduce the manual coding burden in the modelling process.
The system model expressed using the iUML-B pattern state machine can be easily mapped to the labelled transition system so as to verify the behavioural properties of the model.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Peng, Han& Du, Chenglie& Rao, Lei& Liu, Zhouzhou. 2018. Modelling the Embedded Control System Using iUML-B Pattern State Machine. Journal of Control Science and Engineering،Vol. 2018, no. 2018, pp.1-12.
https://search.emarefa.net/detail/BIM-1182862
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Peng, Han…[et al.]. Modelling the Embedded Control System Using iUML-B Pattern State Machine. Journal of Control Science and Engineering No. 2018 (2018), pp.1-12.
https://search.emarefa.net/detail/BIM-1182862
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Peng, Han& Du, Chenglie& Rao, Lei& Liu, Zhouzhou. Modelling the Embedded Control System Using iUML-B Pattern State Machine. Journal of Control Science and Engineering. 2018. Vol. 2018, no. 2018, pp.1-12.
https://search.emarefa.net/detail/BIM-1182862
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1182862
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)