Research Article
Modelling the Embedded Control System Using iUML-B Pattern State Machine
Table 1
Subsystems of Press system and its corresponding iUML-B state machines.
| Subsystem | iUML-B state machine | Synchronization pattern | Actuator | Reactor |
| Sub1 (B1-controller) | start_motor_button | start_motor_impulse | Weak synchronization | Sub2 (B2-controller) | stop_motor_button | stop_motor_impulse | Weak synchronization | Sub3 (B3-controller) | start_clutch_button | start_clutch_impulse | Weak synchronization | Sub4 (B4-controller) | stop_clutch_button | stop_clutch_impulse | Weak synchronization | Sub5 (controller-Motor) | motor_actuator | motor_sensor | Strong synchronization | Sub6 (controller-Door) | door_actuator | door_sensor | Strong synchronization | Sub7 (controller-Clutch) | clutch_actuator | clutch_sensor | Strong synchronization |
|
|