The multi-institutional research project UbiVal will develop techniques for engineering and analysis of context-aware, adaptive, mobile ubiquitous computing systems.  More precisely, the project will concentrate on testing, model checking, instrumentation and simulation tools for ubiquitous systems.  The project will evaluate its technologies and methods on case studies drawn from another WINES project, Cityware, and on systems provided by industrial partners at BT, HP and QinetiQ. A detailed description of the project may be found at the project web site.

Prof. David Rosenblum

• Imperial College London
• University of Birmingham
• British Telecom
• Hewlett-Packard
• QinetiQ

Funded by the EPSRC under their WINES initiative.