Modelling the Embedded Control System Using iUML-B Pattern State Machine
Joint Authors
Peng, Han
Du, Chenglie
Rao, Lei
Liu, Zhouzhou
Source
Journal of Control Science and Engineering
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-06-12
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Electronic engineering
Information Technology and Computer Science
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1182862