Advances, Systems and Applications
Table 2 Guard functions of performance model
Transition | Guard function |
|---|---|
ET1 | #Sensor_up>0 |
ET2 | #Cloud_up>0 |
ET3 | #Cloud_up>0 |
ET4 | #Fog_up>0 |
IT1 | (#scenario=1)AND(#Microcontroller_ON>0)AND(#Fog_ON>0) |
IT2 | (#scenario=2)AND(#Microcontroller_ON>0) |
IT3 | (#scenario=3)AND(#Microcontroller_ON>0) |