skip to main content
10.1145/2737095.2737115acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

SIFT: building an internet of safe things

Published: 13 April 2015 Publication History

Abstract

As the number of connected devices explodes, the use scenarios of these devices and data have multiplied. Many of these scenarios, e.g., home automation, require tools beyond data visualizations, to express user intents and to ensure interactions do not cause undesired effects in the physical world. We present SIFT, a safety-centric programming platform for connected devices in IoT environments. First, to simplify programming, users express high-level intents in declarative IoT apps. The system then decides which sensor data and operations should be combined to satisfy the user requirements. Second, to ensure safety and compliance, the system verifies whether conflicts or policy violations can occur within or between apps. Through an office deployment, user studies, and trace analysis using a large-scale dataset from a commercial IoT app authoring platform, we demonstrate the power of SIFT and highlight how it leads to more robust and reliable IoT apps.

References

[1]
AllJoyn. https://www.alljoyn.org/.
[2]
ConcepNet 5. http://conceptnet5.media.mit.edu/.
[3]
Home Automation Systems. HomeSeer. http://www.homeseer.com/.
[4]
IFTTT - Put the Internet to Work for You. http://ifttt.com.
[5]
SmartThings. http://www.smartthings.com/.
[6]
Thread. http://threadgroup.org/.
[7]
Wemo. http://www.belkin.com/us/Products/home-automation/c/wemo-home-automation/.
[8]
C. Barrett, A. Stump, and C. Tinelli. The SMT-LIB Standard: Version 2.0. Technical report, Department of Computer Science, The University of Iowa, 2010. http://www.SMT-LIB.org.
[9]
T. A. Henzinger. The Theory of Hybrid Automata. In Proc. of the 11th Symposium on Logic in Computer Science (LICS), pp 278--292. IEEE, 1996.
[10]
D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating Tests from Counterexamples. In Proceedings of (ICSE), pp 326--335. ACM, 2004.
[11]
L. Bu, et al. Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. In ACM SIGBED Review 8 (2), pp 7--10. 2011.
[12]
C. M. Bishop. Pattern Recognition and Machine Learning (Information Science and Statistics). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006.
[13]
A. Boulis, C.-C. Han, and M. B. Srivastava. Design and implementation of a framework for efficient and programmable sensor networks. In MobiSys, pp 187--200. ACM, 2003.
[14]
A. Brush, B. Lee, R. Mahajan, S. Agarwal, S. Saroiu, and C. Dixon. Home automation in the wild: challenges and opportunities. In ACM CHI, pp 2115--2124. ACM, 2011.
[15]
C.-J. M. Liang et al. Caiipa: Automated Large-scale Mobile App Testing through Contextual Fuzzing. In Mobicom, pp 519--530. ACM, 2014.
[16]
D. Chu, L. Popa, A. Tavakoli, J. M. Hellerstein, P. Levis, S. Shenker, and I. Stoica. The design and implementation of a declarative sensor network system. In SenSys, pp 175--188. ACM, 2007.
[17]
CNET. Car hacking code released at Defcon. http://www.cnet.com/news/car-hacking-code-released-at-defcon/, 2013.
[18]
CNN. Why it's so easy to hack your home. http://www.cnn.com/2013/08/14/opinion/schneier-hacking-baby-monitor/, 2013.
[19]
L. de Moura and N. Bjørner. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, pp 337--340. Springer Berlin Heidelberg, 2008.
[20]
A. K. Dey, T. Sohn, S. Streng, and J. Kodama. iCAP: Interactive prototyping of context-aware applications. In Pervasive Computing, pp 254--271. Springer, 2006.
[21]
C. Dixon, R. Mahajan, S. Agarwal, A. B. Brush, B. Lee, S. Saroiu, and P. Bahl. An operating system for the home. In NSDI, pp 337--352, 2012.
[22]
Gartner. Internet of Things Installed Base Will Grow to 26 Billion Units By 2020. http://www.gartner.com/newsroom/id/2636073.
[23]
HP. Internet of Things Security: State of the Union, 2014. http://www.hp.com/go/fortifyresearch/iot.
[24]
S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. Tinydb: an acquisitional query processing system for sensor networks. ACM Transactions on database systems (TODS), 30(1): 122--173, 2005.
[25]
T. L. M. Kasteren, G. Englebienne, B. J. A. Krøse. Human Activity Recognition from Wireless Sensor Network Data: Benchmark and Software. In Activity Recognition in Pervasive Intelligent Environments, Vol. 4 (2011), 165--186.
[26]
P. J. Marrón, A. Lachenmann, D. Minder, J. Hahner, R. Sauter, and K. Rothermel. Tinycubus: a flexible and adaptive framework sensor networks. In EWSN, pp 278--289. IEEE, 2005.
[27]
C. M. Medaglia and A. Serbanati. An overview of privacy and security issues in the internet of things. In The Internet of Things, pp 389--395. Springer, 2010.
[28]
S. Munir and J. A. Stankovic. DepSys: Dependency Aware integration of Cyber-Physical Systems for Smart Homes. In ICCPS. ACM, 2014.
[29]
M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, pp 267--280, Berkeley, CA, USA, 2008. USENIX Association.
[30]
M. W. Newman, A. Elliott, and T. F. Smith. Providing an integrated user experience of networked media, devices, and services through end-user composition. In Pervasive Computing, pp 213--227. Springer, 2008.
[31]
J. F. Pane, C. Ratanamahatana, B. A. Myers, et al. Studying the language and structure in non-programmers' solutions to programming problems. International Journal of Human-Computer Studies, 54(2): 237--264, 2001.
[32]
SICStus. SICStus Prolog. Technical report, 2014. https://sicstus.sics.se/.
[33]
N. Tillmann and J. de Halleux. Pex - White Box Test Generation for .NET. In Proceedings of Tests and Proofs (TAP'08). Springer Verlag, 2008.
[34]
B. Ur, E. McManus, M. P. Y. Ho, and M. L. Littman. Practical Trigger-Action Programming in the Smart Home. In CHI. ACM, 2014.
[35]
P. A. Vicaire, Z. Xie, E. Hoque, and J. A. Stankovic. Physicalnet: A generic framework for managing and programming across pervasive computing networks. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pp 269--278. IEEE, 2010.
[36]
Z. Wang, S. Elbaum, and D. S. Rosenblum. Automated generation of context-aware tests. In ICSE, pp 406--415. IEEE, 2007.
[37]
K. Whitehouse, F. Zhao, and J. Liu. Semantic Streams: A Framework for Composable Semantic interpretation of Sensor Data. In EWSN. Springer, 2006.
[38]
Y. Yu, L. J. Rittle, V. Bhandari, and J. B. LeBrun. Supporting concurrent applications in wireless sensor networks. In SenSys, pp 139--152. ACM, 2006.
[39]
ISO. ISO 26262 -- Road vehicles - Functional safety. http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=68383, 2011.

Cited By

View all
  • (2024)Safety Assurance in IoT-Based Smart HomesEdge Computing Architecture - Architecture and Applications for Smart Cities10.5772/intechopen.1005492Online publication date: 2-Jul-2024
  • (2024)iConPAL: LLM-guided Policy Authoring Assistant for Configuring IoT Defenses2024 IEEE Secure Development Conference (SecDev)10.1109/SecDev61143.2024.00014(76-92)Online publication date: 7-Oct-2024
  • (2024)TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action ProgrammingIEEE Internet of Things Journal10.1109/JIOT.2024.337455611:12(21411-21426)Online publication date: 15-Jun-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
IPSN '15: Proceedings of the 14th International Conference on Information Processing in Sensor Networks
April 2015
430 pages
ISBN:9781450334754
DOI:10.1145/2737095
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2015

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

IPSN '15
Sponsor:

Acceptance Rates

Overall Acceptance Rate 143 of 593 submissions, 24%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)50
  • Downloads (Last 6 weeks)7
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Safety Assurance in IoT-Based Smart HomesEdge Computing Architecture - Architecture and Applications for Smart Cities10.5772/intechopen.1005492Online publication date: 2-Jul-2024
  • (2024)iConPAL: LLM-guided Policy Authoring Assistant for Configuring IoT Defenses2024 IEEE Secure Development Conference (SecDev)10.1109/SecDev61143.2024.00014(76-92)Online publication date: 7-Oct-2024
  • (2024)TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action ProgrammingIEEE Internet of Things Journal10.1109/JIOT.2024.337455611:12(21411-21426)Online publication date: 15-Jun-2024
  • (2024)Ontology-Based Classification and Detection of the Smart Home Automation Rules ConflictsIEEE Access10.1109/ACCESS.2024.341563212(85072-85088)Online publication date: 2024
  • (2024)Smart Homes App Vulnerabilities, Threats, and Solutions: A Systematic Literature ReviewJournal of Network and Systems Management10.1007/s10922-024-09803-132:2Online publication date: 29-Feb-2024
  • (2023)Detecting and handling IoT interaction threats in multi-platform multi-control-channel smart homesProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620325(1559-1576)Online publication date: 9-Aug-2023
  • (2023)Security Checking of Trigger-Action-Programming Smart Home IntegrationsProceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3597926.3598084(639-651)Online publication date: 12-Jul-2023
  • (2023)A User-Centric Evaluation of Smart Home Resolution Approaches for Conflicts Between RoutinesProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/35819977:1(1-35)Online publication date: 28-Mar-2023
  • (2023)Detecting Smart Home Automation Application Interferences with Domain KnowledgeProceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE56229.2023.00070(1086-1097)Online publication date: 11-Nov-2023
  • (2023)Automated Analyses of IOT Event Monitoring SystemsComputer Aided Verification10.1007/978-3-031-37706-8_2(27-39)Online publication date: 17-Jul-2023
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media