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

MS-2


Rules:


IF Air_Purifier_0002 PM2_5==73 THEN Window_Controller_0001 execute CLOSE

IF Air_Purifier_0002 PM2_5==73 THEN Air_Purifier_0002 execute Activate

IF AC_Cooler_0007 temperature==28 THEN Window_Controller_0001 execute CLOSE

IF AC_Cooler_0007 temperature==28 THEN AC_Cooler_0007 execute Activate

IF Smoke_Detector_0004 smoke_level==20 THEN ALARM_0003 execute TURN_ON

IF Smoke_Detector_0004 smoke_level==20 THEN Ventilator_0006 execute SMOKE_OUT

IF Ventilator_0006 execute SMOKE_OUT THEN Smoke_Detector_0004 execute Level_DOWN

IF Gas_Detector_0005 gas_level==20 THEN ALARM_0003 execute TURN_ON

IF Gas_Detector_0005 gas_level==20 THEN Ventilator_0006 execute GAS_OUT

IF Ventilator_0006 execute GAS_OUT THEN Gas_Detector_0005 execute Level_DOWN

IF Ventilator_0006 execute GAS_OUT THEN Cook_Device_0008 execute CLOSE

IF Ventilator_0006 execute GAS_OUT THEN Cook_Device_0009 execute CLOSE

IF Ventilator_0006 execute GAS_OUT THEN Cook_Device_0010 execute CLOSE

IF Ventilator_0006 execute GAS_OUT THEN Cook_Device_0011 execute CLOSE

IF Ventilator_0006 execute GAS_OUT THEN Cook_Device_0012 execute CLOSE


Policy:


Never reach the state that gas_level is beyond 23.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


©2017 SEG, Nanjing University