Abstract:Recent advances and industry standards in Internet of Things (IoT) have accelerated the real-world adoption of connected devices. To manage this hybrid system of digital real-time devices and analog environments, the industry has pushed several popular home automation IoT (HA-IoT) frameworks, such as If-This-Then-That (IFTTT), Apple HomeKit, and Google Brillo. Typically, users author device interactions by specifying the triggering sensor event and the triggered device command. In this seemingly simple software system, two dominant factors govern the system confidence properties with respect to the physical world. First, IoT users are largely nonexperts who lack the comprehensive consideration regarding potential impact and joint effect with existing rules. Second, while the increasing complexity of IoT devices enables fine-grained control (e.g., heater temperature) of continuous real-time environments, even two simply connected devices can have a huge state space to explore. In fact, bugs that wrongfully control devices and home appliances can have ramifications on system correctness and even user physical safety. It is crucial to help users to make sure the system they created meets their expectation. In this article we introduce how techniques from hybrid automata can be practically applied to assist nonexpert IoT users in the confidence checking of such hybrid HA-IoT systems. We propose an automated framework for end-to-end programming assistance. We build and check the Linear Hybrid Automata (LHA) model of the system automatically. We also present a quantifier elimination-based method to analyze the counterexample found and synthesize fix suggestions. We implemented a platform, MenShen, based on this framework and proposed techniques. We conducted sets of real HA-IoT case studies with up to 46 devices and 65 rules. Empirical results show that MenShen can find violations and generate rule fix suggestions in only 10 seconds.

Toward a Human Nature Based Automation System with Dynamic Function Allocation Model Supported for Pervasive Systems

Toward a Human Nature Based Automation System with Dynamic Function Allocation Model Supported for Pervasive Systems

Promoting Mutual Adaptation in Haptic Negotiation Using Adaptive Virtual Fixture

How to Keep Balance between Interaction and Automation? Toward User Overall Positive Experience of IoT-Based Smart Home Design

A novel dynamic function allocation method in human-machine systems focusing on trigger mechanism and allocation strategy

Identification of Factors for Dynamic Function Allocation from the Perspective of Human Information Processing

Integrating Controlling and Anthropomorphic Affordances on Smart Product Design

Research on human-computer interaction and user experience of smart home system

Butler, Not Servant: A Human-Centric Smart Home Energy Management System.

A "Distance"-Based Concept Of Automaton For Human-Robot Interaction

Understanding and Designing Automation with Peoples' Wellbeing in Mind

A Generalized Framework for Human-Machine Function Allocation

A Sustainable and User-Behavior-Aware Cyber-Physical System for Home Energy Management

A Task Allocation Approach of Multi-Heterogeneous Robot System for Elderly Care

Study on Human-Computer Interaction Framework of Pervasive Computing

Designing for flexible interaction between humans and automation: delegation interfaces for supervisory control

Design of a new user centric home energy management system

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems

A Context-Aware Workflow System for a Smart Home

Enhancing User Experience with Context-Dependent Tasks in Smart Home

Human - Machine Function Allocation in Manufacturing and Assembly Operations