Back to Search
Start Over
Modelling the Embedded Control System Using iUML-B Pattern State Machine
- Source :
- Journal of Control Science and Engineering, Vol 2018 (2018)
- Publication Year :
- 2018
- Publisher :
- Hindawi Limited, 2018.
-
Abstract
- 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.
- Subjects :
- Finite-state machine
Article Subject
Computer science
Design pattern
020207 software engineering
02 engineering and technology
lcsh:QA75.5-76.95
Computer Science Applications
System model
Computer engineering
lcsh:TA1-2040
Modeling and Simulation
Control system
Transition system
0202 electrical engineering, electronic engineering, information engineering
020201 artificial intelligence & image processing
Formal development
lcsh:Electronic computers. Computer science
Electrical and Electronic Engineering
lcsh:Engineering (General). Civil engineering (General)
Coding (social sciences)
Reusability
Subjects
Details
- ISSN :
- 16875257 and 16875249
- Volume :
- 2018
- Database :
- OpenAIRE
- Journal :
- Journal of Control Science and Engineering
- Accession number :
- edsair.doi.dedup.....d0f8ba4fc373039ab33fcd9a08088280