1st International Conference on Collaborative Computing: Networking, Applications and Worksharing

Research Article

The plain old television in a smart apartment

  • @INPROCEEDINGS{10.1109/COLCOM.2005.1651229,
        author={Zebin Chen and Stephen Fickas},
        title={The plain old television in a smart apartment},
        proceedings={1st International Conference on Collaborative Computing: Networking, Applications and Worksharing},
        publisher={IEEE},
        proceedings_a={COLLABORATECOM},
        year={2006},
        month={7},
        keywords={Access protocols  Collaboration  Home appliances  Humans  Information science  Isolation technology  Safety  TV  Time factors},
        doi={10.1109/COLCOM.2005.1651229}
    }
    
  • Zebin Chen
    Stephen Fickas
    Year: 2006
    The plain old television in a smart apartment
    COLLABORATECOM
    IEEE
    DOI: 10.1109/COLCOM.2005.1651229
Zebin Chen1,*, Stephen Fickas1,*
  • 1: University of Oregon, Computer and Information Science Department, Eugene, OR 97403
*Contact email: zbchen@cs.uoregon.edu, fickas@cs.uoregon.edu

Abstract

Our GO (www.go-outside.org) project focuses on community access for the cognitively impaired population. In addition to devising new facilities, we are interested in using existing appliances found in an apartment to interact with a user to help with a specific task, e.g., making a trip to the doctor. This requires establishment of collaboration protocols between the appliances (and smart agents) and user to be established. These protocols must enforce certain safety properties, e.g., that the user get timely information to start a task. We will show how we use a light-weight formal modeling toolkit to reason about a protocol's ability to meet safety properties.