Advances, Systems and Applications
Transition | Guard Function |
---|---|
Fail_System_1 | (#Sensors_ON=0)OR(#Microcontroller_ON=0)OR (#Fog_ON=0)OR(#Cloud_ON=0) |
Repair_System_1 | (#Sensors_ON=1)AND(#Microcontroller_ON=1)AND (#Fog_ON=1)AND(#Cloud_ON=1) |
Fail_System_2 | (#Sensors_ON=0)OR(#Microcontroller_ON=0)OR (#Cloud_ON=0) |
Repair_System_2 | (#Sensors_ON=1)AND(#Microcontroller_ON=1)AND (#Cloud_ON=1) |
Fail_System_3 | (#Sensors_ON=0)OR(#Microcontroller_ON=0)OR (#Fog_ON=0) |
Repair_System_3 | (#Sensors_ON=1)AND(#Microcontroller_ON=1)AND (#Fog_ON=1) |