An Operating System for the Home

Network devices for the home such as remotely controllable locks, lights, thermostats, cameras, and motion sensors are now readily available and inexpensive. In theory, this enables scenarios like remotely monitoring cameras from a smartphone or customizing climate control based on occupancy patterns. However, in practice today, such smarthome scenarios are limited to expert hobbyists and the rich because of the high overhead of managing and extending current technology. We present HomeOS, a platform that bridges this gap by presenting users and developers with a PC-like abstraction for technology in the home. It presents network devices as peripherals with abstract interfaces, enables cross-device tasks via applications written against these interfaces, and gives users a management interface designed for the home environment. HomeOS already has tens of applications and supports a wide range of devices. It has been running in 12 real homes for 4-8 months, and 42 students have built new applications and added support for additional devices independent of our efforts.

[1]  Henry M. Levy,et al.  Capability-Based Computer Systems , 1984 .

[2]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

[3]  Zheng Wang,et al.  Using latency to evaluate interactive system performance , 1996, OSDI '96.

[4]  R. Sietmann,et al.  UNIVERSAL PLUG AND PLAY , 1999 .

[5]  J. Krumm,et al.  Multi-camera multi-person tracking for EasyLiving , 2000, Proceedings Third IEEE International Workshop on Visual Surveillance.

[6]  Pat Hanrahan,et al.  ICrafter: A Service Framework for Ubiquitous Computing Environments , 2001, UbiComp.

[7]  Armando Fox,et al.  Stanford interactive workspaces: a framework for physical and graphical user interface prototyping , 2002, IEEE Wirel. Commun..

[8]  Arnold M. Lund,et al.  Application domains , 2002 .

[9]  Mark W. Newman,et al.  Using speakeasy for ad hoc peer-to-peer collaboration , 2002, CSCW '02.

[10]  Marti A. Hearst,et al.  Finding the flow in web site search , 2002, CACM.

[11]  Ninghui Li,et al.  DATALOG with Constraints: A Foundation for Trust Management Languages , 2003, PADL.

[12]  Robert W. Lindeman,et al.  HomeOS: Context-Aware Home Connectivity , 2004, International Conference on Wireless Networks.

[13]  Mark W. Newman.  Now We're Cooking: Recipes for End-User Service Composition in the Digital Home , 2006 .

[14]  R. Morris,et al.  Labels and event processes in the asbestos operating system , 2007, SOSP '05.

[15]  Young-Guk Ha,et al.  ubiHome: An Infrastructure for Ubiquitous Home Network Services , 2007, 2007 IEEE International Symposium on Consumer Electronics.

[16]  W. Keith Edwards,et al.  Moving Toward the Middle: The Case Against the End-to-End Argument in Home Networking , 2007, HotNets.

[17]  James M. Rehg,et al.  A Scalable Approach to Activity Recognition based on Object Use , 2007, 2007 IEEE 11th International Conference on Computer Vision.

[18]  Martín Casado,et al.  NOX: towards an operating system for networks , 2008, CCRV.

[19]  Silas Boyd-Wickizer,et al.  Securing Distributed Systems with Information Flow Control , 2008, NSDI.

[20]  W. Keith Edwards,et al.  More than meets the eye: transforming the user experience of home network management , 2008, DIS '08.

[21]  Lujo Bauer,et al.  A user study of policy creation in a flexible access-control system , 2008, CHI.

[22]  Jianqi Yu,et al.  Towards a Home Application Server , 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

[23]  Avik Chaudhuri,et al.  EON: Modeling and Analyzing Access Control Systems with Logic Programs , 2008 .

[24]  Avik Chaudhuri,et al.  EON: modeling and analyzing dynamic access control systems with logic programs , 2008, CCS.

[25]  Lujo Bauer,et al.  Access Control for Home Data Sharing: Attitudes, Needs and Practices , 2010, CHI.

[26]  Kirstie Hawkey,et al.  Revealing hidden context: improving mental models of personal firewall users , 2009, SOUPS.

[27]  Steve Benford,et al.  The ins and outs of home networking: The case for useful and usable domestic networking , 2009, TCHI.

[28]  Stefan Saroiu,et al.  The home needs an operating system (and an app store) , 2010, Hotnets-IX.

[29]  Ratul Mahajan,et al.  Advancing the state of home networking , 2011, CACM.

[30]  Lujo Bauer,et al.  More than skin deep: measuring effects of the underlying model on access-control system usability , 2011, CHI.

[31]  Nilanjan Banerjee,et al.  Automating energy management in green homes , 2011, HomeNets '11.

[32]  Catherine Rosenberg,et al.  Markovian models for home electricity consumption , 2011, GreenNets '11.

[33]  Stefan Saroiu,et al.  Home automation in the wild: challenges and opportunities , 2011, CHI.