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.

Principal Investigator

Prof. David Rosenblum


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


Funded by the EPSRC under their WINES initiative.

This page was last modified on 18 Oct 2013.