automatic trigger generation for rule based smart homes
play

Automatic Trigger Generation for Rule-based Smart Homes ACM - PowerPoint PPT Presentation

Jul 27, 2023 •217 likes •850 views

Automatic Trigger Generation for Rule-based Smart Homes ACM SIGPLAN PLAS, Vienna, Austria 10-24-2016 Chandrakana Nandi, Michael D. Ernst UW Seattle, USA 2 3 Common architecture OR 4 How to control your home? 5 How to control your home?

  1. Automatic Trigger Generation for Rule-based Smart Homes ACM SIGPLAN PLAS, Vienna, Austria 10-24-2016 Chandrakana Nandi, Michael D. Ernst UW Seattle, USA

  2. 2

  3. 3

  4. Common architecture OR 4

  5. How to control your home? 5

  6. How to control your home? Automation rules: when I come home then turn lights on 6

  7. How to control your home? Automation rules are easy and useful Ur+ CHI 2014, 2016 Ur+ HUPS 2014 Dey+ Pervasive 2006 7

  8. How to control your home? Writing correct automation rules is hard Huang+ Ubicomp 2015 8

  9. How to control your home? rule “start laundry” when Item laundry _ machine changed mental model actual rule then if (laundry_machine == FULL) { sendCommand(laundry _ machine, “ON”) } end Writing correct automation rules is hard Huang+ Ubicomp 2015 9

  10. Effects of wrong rules ● Likely unexpected behavior ● Security vulnerabilities 10

  11. Overview ● Background on automation rules ● Problem statement ● Solution ● Algorithm and tool development ● Experiments 11

  12. Overview ● Background on automation rules ● Problem statement ● Solution ● Algorithm and tool development ● Experiments 12

  13. Rule Example rule "Away rule" when Item State_Away changed or Item State_Sleeping changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 13

  14. Rule Example rule "Away rule" when Item State_Away changed or Item State_Sleeping changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 14

  15. Rule Example rule "Away rule" when Item State_Away changed trigger block or Item State_Sleeping changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 15

  16. Rule Example rule "Away rule" when trigger item Item State_Away changed trigger block or Item State_Sleeping changed then trigger item if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 16

  17. Rule Example rule "Away rule" when Item State_Away changed or Item State_Sleeping changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { action block postUpdate (State_Sleeping, OFF) } } end 17

  18. State_Away = ON rule "Away rule" when Item State_Away changed or Item State_Sleeping changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } State_Sleeping = ON end 18

  19. Overview ● Background on automation rules ● Problem statement ● Solution ● Algorithm and tool development ● Experiments 19

  20. Possible mistakes in rules 20

  21. Wrong trigger block rule "Away rule" when Item State_Roomheater changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 21

  22. Wrong trigger block rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 22

  23. Wrong trigger block rule "Away rule" when Item trigger_1 changed Item trigger_2 changed Item trigger_n changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 23

  24. Conflicts rule “rule 2” rule “rule 1” when when Item past_midnight changed Item owner_entering_home changed then then if (past_midnight == true) { if (owner_entering_home == true) { sendCommand (hall_light, “OFF”) sendCommand (hall_light, “ON”) } } end end (owner_entering_home == true && past_midnight == true) 24

  25. ● Wrong trigger blocks ● Conflicts 25

  26. ● Wrong trigger blocks ● Conflicts 26

  27. Why is it bad? 27

  28. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end !(State_Away = ON && State_Sleeping = ON) 28

  29. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 29

  30. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 30

  31. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 31

  32. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 32

  33. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 33

  34. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 34

  35. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 35

  36. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 36

  37. rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 37

  38. Both states can be set to true! 38

  39. rule "Visitor notification system rule" when Item State_Sleeping changed then if (State_Sleeping.state == ON) { postUpdate (Notification_System , OFF) } else { postUpdate (Notification_System , ON) } end 39

  40. Example Attack rule "Away rule" rule "Visitor notification system rule" when when Item State_Away changed Item State_Sleeping changed then then if (State_Away.state == ON) { if (State_Sleeping.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (Notification_System , OFF) postUpdate (State_Sleeping, OFF) } else { } postUpdate (Notification_System , ON) } } end end Wrongly deactivates notification system 40

  41. Overview ● Background on automation rules ● Problem statement ● Solution ● Algorithm and tool development ● Experiments 41

  42. Solution rule "Away rule" when Item State_Away changed then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 42

  43. Solution rule "Away rule" when Item State_Away changed or Item State_Sleeping changed // Fix then if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 43

  44. Overview ● Background on automation rules ● Problem statement ● Solution ● Algorithm and tool development ● Experiments 44

  45. TrigGen: automatically infer triggers from actions using static analysis Idea: live items must be triggers 45

  46. Idea: live items must be triggers Items that are read from before being written to, at the beginning of the action block 46

  47. rule "Away rule" when Item State_Away changed then State_Notify = ON if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 47

  48. ● Identify all items in the rule "Away rule" when action block AST Item State_Away changed then ○ potential triggers State_Notify = ON if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 48

  49. ● Identify all items in the rule "Away rule" when action block AST Item State_Away changed then ○ potential triggers State_Notify = ON if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) } } end 49

  50. ● Identify all items in the rule "Away rule" when action block AST Item State_Away changed then ○ potential triggers State_Notify = ON if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) ● eliminate those that are } } not live end ○ redundant triggers ■ State_Notify 50

  51. ● Identify all items in the rule "Away rule" when action block AST Item State_Away changed then ○ potential triggers State_Notify = ON if (State_Away.state == ON) { if (State_Sleeping.state != OFF) { postUpdate (State_Sleeping, OFF) ● eliminate those that are } } not live end ○ redundant triggers ■ State_Notify ● State_Away, State_Sleeping: live 51

Recommend

A rule-based Control and Verification framework in ATLAS Trigger-DAQ 2006 Conference for

A rule-based Control and Verification framework in ATLAS Trigger-DAQ 2006 Conference for

A rule-based Control and Verification framework in ATLAS Trigger-DAQ 2006 Conference for Computing in High Energy and Nuclear Physics 13-17 Feb. 2006 Mumbai, India Presented by Andrei Kazarov CERN-ATD/PNPI Petersburg Presentation contents

892 views • 24 slides
TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions Zhihao Jia , Oded

TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions Zhihao Jia , Oded

TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions Zhihao Jia , Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia, and Alex Aiken Stanford University SOSP19 12/14/19 1 Current Rule-based DNN

894 views • 35 slides
Multidimensional Ontology-Based Personalization Modeling for Automatic Generation of Mashups in

Multidimensional Ontology-Based Personalization Modeling for Automatic Generation of Mashups in

Multidimensional Ontology-Based Personalization Modeling for Automatic Generation of Mashups in Next-Generation Portals Fedor Bakalov University of Jena Birgitta Knig-Ries Andreas Nauerz IBM Research and Development Martin Welsch

263 views • 22 slides
Digitally Augmented Homes: Telehealth for Smart Homes George Demiris PhD, FACMI March 26, 2014

Digitally Augmented Homes: Telehealth for Smart Homes George Demiris PhD, FACMI March 26, 2014

Digitally Augmented Homes: Telehealth for Smart Homes George Demiris PhD, FACMI March 26, 2014 Introduction/ Definitions Examples A Case Study Discussion Smart homes Origins of the concept in the late 1970s and the 1980s:

745 views • 38 slides
Automatic acquisition of Named Entities for Rule-Based Machine Translation Antonio Toral , Andy

Automatic acquisition of Named Entities for Rule-Based Machine Translation Antonio Toral , Andy

Introduction MINELex Methodology Evaluation Conclusions Automatic acquisition of Named Entities for Rule-Based Machine Translation Antonio Toral , Andy Way DCU 2 nd International Workshop on Free/Open-Source Rule-Based Machine Translation

944 views • 69 slides
ZIGBEE SMART HOMES A HACKERS OPEN HOUSE ZIGBEE SMART HOMES TOBIAS ZILLNER ABOUT ME

ZIGBEE SMART HOMES A HACKERS OPEN HOUSE ZIGBEE SMART HOMES TOBIAS ZILLNER ABOUT ME

TOBIAS ZILLNER ZIGBEE SMART HOMES A HACKERS OPEN HOUSE ZIGBEE SMART HOMES TOBIAS ZILLNER ABOUT ME Senior IS Auditor @ Cognosec in Vienna Penetration Testing, Security Audits & Consulting IoT Security Research, Playing with

601 views • 56 slides
A Multiagent System Approach to Schedule Devices in Smart Homes William Yeoh Enrico Pontelli

A Multiagent System Approach to Schedule Devices in Smart Homes William Yeoh Enrico Pontelli

A Multiagent System Approach to Schedule Devices in Smart Homes William Yeoh Enrico Pontelli Ferdinando Fioretto New Mexico State University University of Michigan May, 2017 Home Automation 1 Network of smart homes 2 Smart Homes and SHDS

432 views • 27 slides
Duet Making Localization Work for Smart Homes Shichao Yue Presenting on behalf of Deepak

Duet Making Localization Work for Smart Homes Shichao Yue Presenting on behalf of Deepak

Duet Making Localization Work for Smart Homes Shichao Yue Presenting on behalf of Deepak Vasisht, Anubhav Jain, Chen-Yu Hsu, Zachary Kabelac, Dina Katabi The Smart Home Dream Pr Problem State atement Smart homes need continuous tracking of

858 views • 36 slides
Instruction-Level Steganography for Covert Trigger-Based Malware Dennis Andriesse and Herbert Bos

Instruction-Level Steganography for Covert Trigger-Based Malware Dennis Andriesse and Herbert Bos

Instruction-Level Steganography for Covert Trigger-Based Malware Dennis Andriesse and Herbert Bos VU University Amsterdam DIMVA 2014 Introduction Trigger-Based Malware Trigger-based malware (TBM) remains dormant until a specific trigger E.g.

586 views • 14 slides
Ontology-based automatic generation of computerized cognitive exercises Giorgio Leonardi a,c ,

Ontology-based automatic generation of computerized cognitive exercises Giorgio Leonardi a,c ,

Oral presentation at MIE2011 Ontology-based automatic generation of computerized cognitive exercises Giorgio Leonardi a,c , Silvia Panzarasa b and Silvana Quaglini a Laboratory for Biomedical a Dept. Computer Eng. & Systems Science,

595 views • 23 slides
10 Years After: Automatic Software Generation and Improvement Through Search Based Techniques

10 Years After: Automatic Software Generation and Improvement Through Search Based Techniques

10 Years After: Automatic Software Generation and Improvement Through Search Based Techniques Dr. Andrea Arcuri Westerdals Oslo ACT University of Luxembourg arcand@westerdals.no While in my first year of PhD in 2006-2007 Working on SBST

214 views • 19 slides
SMART SOLAR FOR SMART HOMES En route to a ne En route to a new, w, smar smarter energ ter

SMART SOLAR FOR SMART HOMES En route to a ne En route to a new, w, smar smarter energ ter

SMART SOLAR FOR SMART HOMES En route to a ne En route to a new, w, smar smarter energ ter energy world y world Homes Homes and and buildings buildings repr epresent esent 30% 30% of of total total ener energy gy consumption

400 views • 19 slides
Rule Based Systems and Networks for Knowledge Discovery in Big Data Alexander Gegov, David

Rule Based Systems and Networks for Knowledge Discovery in Big Data Alexander Gegov, David

Rule Based Systems and Networks for Knowledge Discovery in Big Data Alexander Gegov, David Sanders University of Portsmouth, UK Contents 1. Introduction 2. Theoretical Preliminaries 3. Rule Generation 4. Rule Simplification 5. Rule

533 views • 35 slides
Automatic Stress Effects Computation Based On A Layout Generation Tool For Analog IC Stephanie

Automatic Stress Effects Computation Based On A Layout Generation Tool For Analog IC Stephanie

2010 IEEE International Behavioral Modeling and Simulation Conference Modeling for Physical Design Session Automatic Stress Effects Computation Based On A Layout Generation Tool For Analog IC Stephanie YOUSSEF Damien DUPUIS Ramy ISKANDER Marie

688 views • 23 slides
ProtoDUNE Trigger Proposal Jonathon Sensenig Josh Klein, Nuno Barros, David Rivera 0 Trigger

ProtoDUNE Trigger Proposal Jonathon Sensenig Josh Klein, Nuno Barros, David Rivera 0 Trigger

ProtoDUNE Trigger Proposal Jonathon Sensenig Josh Klein, Nuno Barros, David Rivera 0 Trigger Generation and Distribution Triggers come primarily from 3 sub-systems SubSystem Triggers Trigger Beam Instrumentation (BI) Monitor CRT

314 views • 8 slides
Automatic Exhibition Generation Based on Semantic Cultural Content Eetu M akel a, Tuukka

Automatic Exhibition Generation Based on Semantic Cultural Content Eetu M akel a, Tuukka

Automatic Exhibition Generation Based on Semantic Cultural Content Eetu M akel a, Tuukka Ruotsalo, and Eero Hyv onen Semantic Computing Research Group (SeCo), Helsinki University of Technology (TKK) and University of Helsinki

166 views • 3 slides
RISMA: A Rule-based Interval State Machine Algorithm for Performance Analysis, Alerts Generation,

RISMA: A Rule-based Interval State Machine Algorithm for Performance Analysis, Alerts Generation,

RISMA: A Rule-based Interval State Machine Algorithm for Performance Analysis, Alerts Generation, and Monitoring Real-Time Data Processing S. Laban 1 and A.I. El-Desouky 2 Science and Technology 2013 Conference Vienna, Austria. 1 Processing

727 views • 28 slides
Automatic Code Generation from Stateflow Models Andres Toom IB Krates O / Institute of

Automatic Code Generation from Stateflow Models Andres Toom IB Krates O / Institute of

Automatic Code Generation from Stateflow Models Andres Toom IB Krates O / Institute of Cybernetics at TUT Based on the Masters Thesis 05.2007 Supervisors: Tnu Nks, Tarmo Uustalu TUT Department of Computer Control and the Gene-Auto

643 views • 42 slides
A Multiagent System Approach to Schedule Devices in Smart Homes William Yeoh Enrico Pontelli

A Multiagent System Approach to Schedule Devices in Smart Homes William Yeoh Enrico Pontelli

A Multiagent System Approach to Schedule Devices in Smart Homes William Yeoh Enrico Pontelli Ferdinando Fioretto New University State University University of Michigan Feb, 2017 Home Automation Fig.1 Fig.2 1 Network of smart homes Fig.3

450 views • 29 slides
Smart Proactive Homes Live independently at home for longer ProActivated will turn your own

Smart Proactive Homes Live independently at home for longer ProActivated will turn your own

Smart Proactive Homes Live independently at home for longer ProActivated will turn your own home in a smart home. Combining new and innovative technology with our smart software allows your home to deliver support in your daily life.

428 views • 20 slides
Smart Homes powered by Eclipse Kai Kreuzer, Deutsche Telekom AG Jochen Hiller, Deutsche Telekom

Smart Homes powered by Eclipse Kai Kreuzer, Deutsche Telekom AG Jochen Hiller, Deutsche Telekom

Smart Homes powered by Eclipse Kai Kreuzer, Deutsche Telekom AG Jochen Hiller, Deutsche Telekom AG INTRANET OF THINGS Solutions based on ESH Eclipse SmartHome OSGi Container JVM OS Discovery Triggers s g Actions n i d Connectivity

646 views • 31 slides
Automatic Test Generation for Autonomous Vehicular Systems Cumhur Erkan Tuncali, Theodore P.

Automatic Test Generation for Autonomous Vehicular Systems Cumhur Erkan Tuncali, Theodore P.

Dagstuhl 2016: Robustness in CPS 1 Automatic Test Generation for Autonomous Vehicular Systems Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos Based on work to be presented: International Conference on Intelligent Transportation

576 views • 16 slides
First Homes CLT Bench Marking Study Why First Homes 2.0? Began as Starter homes for working

First Homes CLT Bench Marking Study Why First Homes 2.0? Began as Starter homes for working

First Homes CLT Bench Marking Study Why First Homes 2.0? Began as Starter homes for working families. 80% Area Median Income Current AMI $61,302 80% = $48,962 or $23.54 per hour Framework for CLT Affordable house based on

866 views • 11 slides
Trigger and DAQ at LHC Trigger and DAQ at LHC C.Schwick Contents Contents INTRODUCTION The

Trigger and DAQ at LHC Trigger and DAQ at LHC C.Schwick Contents Contents INTRODUCTION The

Trigger and DAQ at LHC Trigger and DAQ at LHC C.Schwick Contents Contents INTRODUCTION The context: LHC & experiments PART1: Trigger at LHC Requirements & Concepts Muon and Calorimeter triggers (CMS and ATLAS) Specific solutions

972 views • 66 slides

More recommend