Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Systematically ensuring the confidence of real-time home automation IoT systems
Bu L., Xiong W., Liang C., Han S., Zhang D., Lin S., Li X. ACM Transactions on Cyber-Physical Systems2 (3):1-23,2018.Type:Article
Date Reviewed: Oct 13 2020

The quick expansion of computing technology in many areas leads to different new paradigms; among them is the paradigm of cyber-physical systems (CPS) with commonly acquired sensor data that can be processed in real time. One of the manifestations of this paradigm is the omnipresence and the development of the Internet of Things (IoT) in home automation (HA-IoT) services, which industry also supports via simple, intuitive event-triggered rules called if-this-then-that (IFTTT) rules. They are so common that thousands of users shared more than 340,000 rules in the format of “if A, then B,” where A is a sensor triggering event and B is a device command. However, it should also be noted that the rules can be very simple, but the final user of an IFTTT-style HA-IoT system need not necessarily be aware of their behavior over time. The paper shows “an end-to-end programming assistance system to automate the modeling, checking, and fixing of HA-IoT systems” via “hybrid automata model checking of real-time HA-IoT system[s]”; counterexample-guided fix suggestions; and “system implementation and real case evaluation.”

The authors support their proposal using two important reasons: (i) “lack of automatic HA-IoT confidence verification,” and (ii) “lack of debugging feedback for nonexpert IoT users.” Following a simple mathematical background in section 2, the authors propose an architecture framework in section 3. It consists of three parts: (1) linear hybrid automata (LHA) automatic modeling, (2) reachability analysis of the LHA model, and (3) counterexample-guided fix suggestion synthesis. Each proposed part is described in sections 4 and 5. Finally, the supporting system, called MenShen, is proposed. Its work and important features are described in section 6, together with the results of some experiments.

The result is an interesting solution that allows for automated end-to-end programming. It may be especially helpful for nonexpert IoT users in modeling and managing HA-IoT systems.

Reviewer:  Dominik Strzalka Review #: CR147081 (2102-0041)
Bookmark and Share
  Featured Reviewer  
 
Real-Time Systems And Embedded Systems (D.4.7 ... )
 
 
Formal Methods (D.2.4 ... )
 
 
Model Checking (D.2.4 ... )
 
 
Real-Time And Embedded Systems (C.3 ... )
 
 
General (C.0 )
 
Would you recommend this review?
yes
no
Other reviews under "Real-Time Systems And Embedded Systems": Date
Real-time software techniques
Heath W., Van Nostrand Reinhold Co., New York, NY, 1991. Type: Book (9780442003050)
Aug 1 1991
Developing safety systems
Pyle I., Prentice-Hall, Inc., Upper Saddle River, NJ, 1991. Type: Book (9780132042987)
Jul 1 1992
Real-time systems with transputers
Zedan H.  Real-time systems with transputers,York, UK,Sep 18-20, 1990,1990. Type: Whole Proceedings
Apr 1 1992
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy