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.

SubsystemiUML-B state machineSynchronization pattern
ActuatorReactor

Sub1 (B1-controller)start_motor_buttonstart_motor_impulseWeak synchronization
Sub2 (B2-controller)stop_motor_buttonstop_motor_impulseWeak synchronization
Sub3 (B3-controller)start_clutch_buttonstart_clutch_impulseWeak synchronization
Sub4 (B4-controller)stop_clutch_buttonstop_clutch_impulseWeak synchronization
Sub5 (controller-Motor)motor_actuatormotor_sensorStrong synchronization
Sub6 (controller-Door)door_actuatordoor_sensorStrong synchronization
Sub7 (controller-Clutch)clutch_actuatorclutch_sensorStrong synchronization