Toggle Main Menu Toggle Search

ePrints

Analysing and modelling context in mobile systems to support design

Lookup NU author(s): Professor Michael Harrison

Downloads


Abstract

Mobility of ubiquitous systems offers the possibility of using the current context to infer information that might otherwise require user input. This can either make user interfaces more intuitive or cause subtle and confusing mode changes. We discuss one approach to the analysis of such systems that will allow the designer to predict potential pitfalls before the design is fielded. Whereas the current predominant approach to understanding mobile systems is to build and explore experimental prototypes, our exploration highlights the possibility that early models of an interactive system might be used to predict problems with embedding in context before costly mistakes have been made. Model checking is used to perform exhaustive analysis of statechart models of two alternative interfaces to a sewage plant control system.


Publication metadata

Author(s): Loer K, Harrison MD

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 25

Print publication date: 01/11/2004

Source Publication Date: November 2004

Report Number: 876

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/876.pdf


Share