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

SC-4


Rules:


IF GPS_1537 distance==30 THEN ALARM_8675 execute TURN_OFF

IF GPS_1537 distance==28 THEN Door_5743 execute OPEN


Policy:


Never reach the state that Door_5743 is open while ALARM_8675 is still checking.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

©2017 SEG, Nanjing University