The plain old television in a smart apartment

Zebin Chen; Stephen Fickas

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

Research Article

The plain old television in a smart apartment

Cite: BibTeX Plain Text

@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 Chen¹^,*, Stephen Fickas¹^,*

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.

Keywords: Access protocols Collaboration Home appliances Humans Information science Isolation technology Safety TV Time factors

Published: 2006-07-24
Publisher: IEEE
Modified: 2011-11-05

: http://dx.doi.org/10.1109/COLCOM.2005.1651229