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

MS-3


Rules:


IF AC_Cooler_0007 temperature==28 THEN AC_Cooler_0007 execute Activate

IF AC_Cooler_0007 temperature==20 THEN AC_Cooler_0007 execute Pause

IF Rain_Detector_0201 execute Find_Rain THEN Window_Controller_0008 execute CLOSE

IF Outside_Light_Sensor_0203 light==15 THEN Light_0015 execute CLOSE

IF Outside_Temperature_Sensor_0202 temperature==25 THEN Window_Controller_0008 execute CLOSE

IF Human_Detector_0188 execute Human_IN THEN Light_0015 execute OPEN

IF Human_Detector_0188 execute Human_OUT THEN Light_0015 execute CLOSE

IF Human_Detector_0187 execute Human_IN THEN Light_0017 execute OPEN

IF Human_Detector_0187 execute Human_OUT THEN Light_0017 execute CLOSE

IF Human_Detector_0186 execute Human_IN THEN Light_0019 execute OPEN

IF Human_Detector_0186 execute Human_OUT THEN Light_0019 execute CLOSE

IF Human_Detector_0186 execute Human_OUT THEN Water_Heater_1679 execute BEGIN

IF Smoke_Detector_0004 smoke_level==15 THEN Window_Controller_0001 execute OPEN

IF Smoke_Detector_0004 smoke_level==15 THEN ALARM_0003 execute TURN_ON

IF Gas_Detector_0005 gas_level==15 THEN Window_Controller_0001 execute OPEN

IF Gas_Detector_0005 gas_level==15 THEN ALARM_0003 execute TURN_ON

IF Gas_Detector_0005 gas_level==15 THEN Ventilator_0006 execute GAS_OUT

IF Ventilator_0006 execute GAS_OUT THEN Gas_Detector_0005 execute Level_DOWN

IF Air_Purifier_0002 PM2_5==20 THEN Window_Controller_0008 execute CLOSE

IF Air_Purifier_0002 PM2_5==73 THEN Air_Purifier_0002 execute Activate


Policy:


The temperature in room should never be above 29.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


©2017 SEG, Nanjing University