MenShen:Systematically Ensuring The Confidence of Real Time Home Automaton IoT Systems
Introduction Download Case Studies User Studies

SC-3


Rules:


IF Air_Purifier_0001 CO_level==195 THEN ALARM_0002 execute TURN_ON

IF ALARM_0002 execute TURN_ON THEN Air_Purifier_0001 execute ACTIVATE


Policy:


Never reach the state that CO_level is beyond 200.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

©2017 SEG, Nanjing University