School of Computer Science

Software verification for ubiquitous computing

Date(s)
Tuesday 30th November 2010 (14:00-15:00)
Contact
Dr Brian Logan
Description

Speaker: Professor Marta Kwiatkowska, University of Oxford

Abstract:

Ubiquitous computing systems are now widespread in e.g. intelligent buildings, environmental monitoring, healthcare monitoring and automotive software. Also called 'everyware' by Adam Greenfield, they continuously interact with the environment through sensors and actuators. In view of the characteristic environmental uncertainty and resource limitations, quantitative techniques are needed to reason about their behaviour. This talk will focus on how software verification technology, specifically model checkers for languages such as C/NesC typically used to program 'everyware' controllers, can be extended to provide automated analysis for pertinent aspects of ubiquitous computing systems: context, communication failure, resource constraints and performance.

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire