RQ2: Scalability

Representative Multi-Scale Scene Examples

Our scalability evaluation in RQ2 utilizes progressively scaled rule sets with cardinalities ranging from 5 to 35 rules (in 5-rule increments), to systematically assess system performance under increasing complexity. 

Illustrative Example

Rule Scale = 35

IF Motion Detector.motion = inactive THEN Light.off

IF Light.SwitchState = off THEN Door.lock

IF Light.SwitchState = off & Door.LockState = locked THEN Window.close

IF Weather.weather = rainy THEN Light.on

IF Weather.weather = sunny THEN Window.close

IF Window.WindowState = closed & Washer Machine.WasherMode = regular THEN Washer Machine.heavy & Sina Weibo.post

IF Weather.weather = sunny & Window.WindowState = open THEN Mobile Phone.take photo

IF Gas Sensor.gas > 60 THEN Alarm.siren

IF Calendar.date = MothersDay THEN Sina Weibo.post

IF Calendar.season = summer & Clock.time > 21 THEN Air Conditioner.cool

IF Door RFID.RFID = authorized & Door.LockState = locked THEN Alarm.off

IF Humidity Sensor.humidity > 70 THEN Window.close & Air Conditioner.dry

IF Camera.MachineState = taking photo & Alarm.AlertState = off THEN Sina Weibo.post

IF Temperature Sensor.temperature > 40 & Air Conditioner.HvacMode = heat THEN Air Conditioner.off & Window.open

IF Calendar.season = winter & Oven.OvenMode = heating THEN Sina Weibo.post

IF Mobile Phone.location = away THEN Window.close

IF Online Bank.State = transfering THEN Sina Weibo.post

IF Garage Door.DoorState = open & Clock.time > 21 THEN Garage Door.close

IF Humidity Sensor.humidity < 30 THEN Window.close & Humidifier.on

IF Calendar.season = winter & Clock.time > 15 & Motion Detector.motion = active THEN Oven.heating

IF Sprinkler Controller.Valve = open & Clock.time > 22 THEN Sprinkler Controller.close

IF Online Bank.State = transfering & Sina Weibo.State = posting THEN Alarm.both

IF Alarm.AlertState = both THEN Email.send mail

IF Email.State = sending THEN Sina Weibo.post

IF Illuminance Sensor.illuminance < 30 THEN Window.close

IF Illuminance Sensor.illuminance > 60 THEN Sina Weibo.post

IF Light.SwitchState = on & Clock.time > 21 THEN Sina Weibo.post

IF Range Hood.MachineState = on & Gas Sensor.gas > 40 THEN Ventilator.on & Sina Weibo.post

IF Light.SwitchState = off & Clock.time > 21 THEN Door.lock

IF Clock.time > 7 & Motion Detector.motion = active THEN Coffee Maker.on & Sina Weibo.post

IF Coffee Maker.MachineState = on THEN Sina Weibo.post

IF Clock.time > 20 & Motion Detector.motion = inactive THEN Home Mode.set sleep mode

IF Weather.weather = sunny & Car.location = away THEN Sina Weibo.post

IF Humidity Sensor.humidity >= 9 & Humidity Sensor.humidity <= 10 THEN Sina Weibo.post

IF Temperature Sensor.temperature >= 10 & Temperature Sensor.temperature <= 15 & Sina Weibo.State = posting & Air Conditioner.HvacMode = off THEN Online Bank.transfer money

LTL Specification:

G ! ( Humidity Sensor.humidity <= 5 && X ( Air Conditioner.HvacMode = dry && X Air Conditioner.HvacMode = dry ) )

The hierarchical rule architecture ensures strict nesting relationships where smaller rule subsets are fully contained within larger configurations. Each specification undergoes multi-scale testing through iterative expansion of rule sets. Therefore, the above LTL will be tested under these 7 different rule scales.