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
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.
Copyright © 2005–2025 IEEE
