Browse by author
Lookup NU author(s): Professor Michael HarrisonORCiD
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.
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
